skysight-inc/HackerNews huggingface dataset:
100% OT - but the wooden cable grips on the DIY Embroidery Machine tutorial really appeal to me!

https://user-images.githubusercontent.com/44113605/47873925-...
This is pretty light on substance, essentially it and the post it points to says: it’s not a free license and there are better alternatives.

The post it links to saying they don’t want people to use free commercial software seems odd, I’m not sure I get it. The author thinks people won’t buy his software because WinRAR’s trial doesn’t expire?
Mail servers still have restriction on attachment size. RAR is the most convenient way in this situation.
Curiously, could Starlink be the failsafe the world would use in such a scenario? As far as I am aware, Starlink is currently being used to provide connectivity to remote mobile / cellular towers in some countries.
Insanely impressive. If this was available as an extension, I could see us using it in production asap.
Poverty is literally defined as a lack of (low level of) income. You don't ever have poor people who have above-poverty income. That would be like having short people who have above-average height.
Here, we are targeting full functional specification, which is hard. So there is a lot of ghost code to support the proof (the loop invariants, assertions and ghost entities). That's what's driving the verification time up. I don't find this enormous at all, given the guarantees provided.

Most code in SPARK is proved to a much more modest level, where the proof is much easier, and that's where you get scaling.

And yes, we're using the best available provers for the task under the hood (currently Alt-Ergo, CVC4, Z3 and COLIBRI), and on some of the checks in that proof of the light runtime, a call to a single prover on a single check may take minutes.
RAR is still the only format that has PAR2 (?) recovery records trivially available. So it's still the best for long-term archiving.
Tell that people living in ukraine at the moment. They certainly think the same way.
> It is majority Russian because Stalin deported the vast majority of Crimean Tatars because many of their men fought against USSR in WW2.

IMHO, you are talking about Crimean Goths. They are speaking German dialect, so they were used by Germans as translators. Ukrainians, Crimean Tatars, Greeks, Italians, are killed or deported just because their land was promised to soviet officers.

Anyway, number of Crimean Goths participated with Germans (140) is minuscule in comparison to Russian Liberation Army (ROA) AKA Vlasov Army (3 millions). By your logic, all Russians must be punished for ROA crimes. BTW, they wear ROA flag even today.
What would you offer? Retract NATO to just US+UK?

Baltic states are undefendable, even compared to Ukraine. If Ukraine is down, Poland is as indefendable as Ukraine. Then we are back to Cold War state where Germany is barely defendable.
Yeah, I feel like you could just rephrase Jim Jefferie's classic comment on gun control[0] and replace this entire blog post with "fuck off, I like Rust".

[0]https://youtu.be/0rR9IaXH1M0?t=107
> it's probably not binding for reverse engineering based on the open source unrar.

I think the "secret sauce" is the compression-specific code that allows it to reach the high compression ratio which is one of the selling points of the format. Reverse-engineering the decompression code will allow you to create valid RAR files but may not give you any clues as to how to reach the high compression ratio of the original compressor.
That doesn't make any sense at all. You need to do some thinking.
Is not just "slightly better" in some cases. An obvious one is repeated files. If RAR encounters a file ten times, it will compress once and store it and nine pointers. lzma and zstd guis i've tested will store ten compressed copies. It happens all the time in backups.
There are no sides for some. Swiss media is portraing all involved parts as crazy war lords. There is no Russia is bad, NATO is just saving the day narrative here.
The flow of money seems to be one major battleground in this war.

The biggest sanctions so far are disallowing to exchange funds with some russian banks. And the "nuclear option" is to disallow Russia from using the SWIFT system.

What are the chances that this conflict will completely change how trading is done between countries?

Could the USA, Europe, South Korea etc simply "nullify" all Russian holdings of their currency? I guess it is just some numbers on computers the respective countries have control over?
Anyone remember .zoo? Those were the days...
Hope you don’t enjoy tetris…
Someone tweeted about how people on a Rust subreddit were being mean about trans people, and other people said they were bad, and QED...?
What if the parent comment mentioned this instead:

Also WinRAR is a closed source Russian software.
Looks just like Powershell.
powerpacker or bust, baby
I just checked, the eMule homepage is still online: https://www.emule-project.com/
I agree that leaking memory usually gets its own category, rather than being shoveled under the "memory safety". That said, I'll play a bit of devil's advocate:

You can still have use-after-free bugs in a GCed language. A trivial example is calling methods on a closed/disposed/??? socket, file, or other handle. They don't result in the arbitrary memory corruption I'd typically consider a "real" memory safety issue, but they do result in bugs. In some cases, debug allocators and tools like address sanitizer can even surface such mistakes more quickly than similar code in a GCed languages. (Of course, in other cases, mistakes with non-GC memory cause bugs that are an absolute nightmare to repro and debug.)

More troubling is native interop, which I'd assume something like Synergy will definitely need to do plenty of to capture/forward keyboard/mouse input, bypassing the traditional window focus reliant input stack that the language may pre-provide safe bindings for. Failure to pin, or unpinning too early during an asyncronous operation, can cause your GC-allocated memory to shift around during GC compaction when native code was expecting it to remain in one place. The GC can also potentially outright reap GC-allocated objects that native code was using. I remember reading of nasty heisenbugs from Ruby C extensions forgetting to use RB_GC_GUARD to ensure VALUEs remain on the stack, where the GC can find them, when scanning for GC roots that keep objects alive - as an example.

Well, you can write similar bugs in non-GCed languages, but GCed languages aren't immune from these concerns. I've even bluescreened fairly modern Windows, with C# code, by sufficiently misusing SlimDX!

EDIT: links to the aforementioned reading:

http://timetobleed.com/the-broken-promises-of-mrireeyarv/

https://news.ycombinator.com/item?id=2730286
im sorry, but you cant dismiss the rest of his valid points purely because he got 1 out of many incorrect. I detect a hint of bias might be present on your side from your username also...
> The basic constraint is that if you want to prove something based on purely logical statements, you need to express the problem precisely enough for pure logic, that is without any wiggle room open to vauge human interpretation, and the notions you use have precise meaning. If not, your problem can't be solved by pure logic, but only by more wishy washy handwavy arguments, from which you can't derive any insights with logical certainty.

I think when you say "pure", you actually mean "formal" or "symbolic" or "mathematical". Many believe that there is much more to logic than a mere formalism – although that itself is a major point of contention in the philosophy of logic.

> You might be able to derive philosophical or empirical meaning from an interpretation of some non-precise statement, but you shouldn't hope that such an interpretation is a valid mathematical theorem.

Berry's paradox may not be a mathematical paradox – but that doesn't show it is not a paradox. And, even if it is not a mathematical paradox, it nonetheless made a valuable contribution to mathematics, by inspiring the construction of formal analogues, some of which turned out not to be paradoxical (but nonetheless interesting). However, I don't think it necessarily follows, that just because those formal analogues turned out not to be actual paradoxes, that its natural language version cannot be a real paradox. And, some argue there are formal analogues which are genuine paradoxes – see for example https://ojs.victoria.ac.nz/ajl/article/download/4972/4634/73...
It is incredible how easy it is for Russia to spread their misinformation about their invasion on Ukraine without any bans or blockades, I have been reporting multiple times accounts that were clearly created by trolls to spread FUD and none of them "was breaking community standards".

On the other hand perfectly factual posts are regularly deleted from groups that track situation on Ukraine and do this in a honest way without pro-soviet bias, e.g the posts from Polish Obrona Pro (Defence Pro) Facebook group are deleted randomly, users are threaten to be banned without any explanation, except "blah, blah community standards".

From what I see all those "algorithms" and "AI" and "moderators" that are supposed to filter out spam are very easy to game by the party with sufficient resources.
Eeh, you could say the same about the US. Please just have an objective view of these, and not taking sides when it doesn't really concern your individual self
I tried Peazip for Linux but it didn't quite work for me. I remember it as kinda buggy, and anyhow, it works like a Gui wrapper that uses external console binaries to perform actual compression/decompression tasks rather than having the routines built-in.

Regarding zstd: I would love to use it cross-platform, but zstd for Windows is still kinda exotic, and yes, it misses proper Gui applications. Now, if Winrar would support zstd... :P :P
I usually just pipe jq output to less, but this is way nicer, thank you!
"As of May 2019, more than 65% of blood deliveries in Rwanda outside of the capital city Kigali use Zipline drones." https://en.wikipedia.org/wiki/Zipline_(drone_delivery)#Rwand... Tanzania is not listed in the wikipedia article but very nice to see the project is still ongoing.
Obviously the well known habit of JVM applications to leak memory. /s

(Although being fair, I've met some Java libs that leak memory (looking at you, Couchbase), usually via poor usage of byte buffers. But Rust doesn't let you use unsafe code constructs, so it'll be fine. I guess I need another /s now.)
> But it wasn't a NATO intervention

Please tell me how I should take your comment seriously. Every reliable source in the world agrees on defining it a "NATO intervention". This is not even debatable and it is exactly the kind of behaviour that would get one instantly labeled as a "Russian propagandist" if one were to make similar (non-sensical) claims regarding Russia actions (and in this case rightly so).
The most practical avenue of support is to provide tools and techniques for maintaining the ability for resistance groups to communicate autonomously once normal channels fall under the control of the invaders.

However, that is functionally equivalent to equipping a protracted, bloody insurgency, and it’s far from obvious that that would be a good outcome for anyone.
Yeah, I don't know why this is never mentioned in comparisons. This is nice to have feature. I wouldn't care at all about speed for long term archiving, because it's one time occurrence, but I would care whether archive format has extra safety feature against bit rot.
I haven't came accross a single rar file for years. Last was when I was a teenager in the mid/late 90's downloading pirated games/app.
But that's the point. Why was it only Rust and Go when memory safety is a big deal and also can the author please show me on the doll where the bad Java hurt him?
How to wire a 4-way switch
learn how to wire a 4-way switch
> when in this specific situation violence is maybe not bad.

I'm pretty sure Russia would say the same thing if you ask them about their situation. That's the problem once you bring in subjectivity.

That being said, tolerating the account for a few more days would've probably been a better play.

EDIT: Just to be very clear, I'm not condoning Russian aggression in any way. My point is that not funding a war is an acceptable choice, since it's very easy to be wrong and a sure way to bring human suffering.
I remember Putin expressing his extreme displeasure at NATO's intervention in Libya precisely because the implicit threat was "you're next, Putin". It was mostly ignored by the west but it was clear how furious he was at America and Hillary specifically.

I dont see any reason why NATO working to destabilize Libya that passes muster that doesnt apply equally well to Russia. The idea that it was acting defensively is a farce. A conservative assessment is that Libya is a model for what they are aiming for in Russia in the long term.

Ukraine is the victim and Russia is the aggressor but the west essentially gave a stick to a child and encouraged it to poke the bear before running away and hiding behind a rock.

We could have prevented this.
If their policy is to not allow funding for military stuff, I don't really see the issue?
Microsoft ASF/WMA also has a similar limitation, where it disallows writing an open source implementation if you use the official format specification.

Luckily it is too mostly irrelevant nowadays.
I don't think so. Russia has been cutting undersea cables for some time now, perfecting the techique. Search for 'russian yacht Ragnar' for example.
Seems like __version__.py is missing after a recent commit.
What we should have learned is that social media is as good as your neighbor's gossip.
If anyone wants to support Ukraine defense directly, please use:

https://ukraine.ua/news/support-the-armed-forces-of-ukraine/ or https://ukraine.ua/news/donate-to-the-nbu-fund/

this is a bit of a hassle, as UA government agencies can accept donations only through wire transfers, but that's just a few clicks in the banking app anyway.
Then call it weboob.

I am already out --> []
We use this at my workplace. It provides a really nice API. We've used Axios for years, like most people, but switched to Ky since it's Fetch-based.
Such poor thinking. Really disturbing when you think about the idea of democracy and requirements for informed public etc.
Somebody just hacked a TV station in Vladivostok, and put a documentary about Putin's golden toilet on loop
What community are you talking about - Patreon?

In general, social networks should not be in the business of filtering fake news.
It is a real pity because the same amount of money applied effectively instead of looted would have made Bulgaria the Switzerland of the East by now. I've visited your country and love it there - and love the people - but the road to go is a long one.
Hi, I am one of the engineers working on MindNode. We don’t register MindNode as the owner of “md”, but as an app that can open and save to this file type. If we don’t do this we are unable to import and export Markdown files. You can change the default app anytime in Finder by using “Get Info (cmd+i)” and choose an app in the “Open with:” section of the Info window. If you need further assistance, please contact us via "Send us an Email" on https://www.mindnode.com/support
That's debatable, 7zip UI is servicable.
CISA: Zabbix servers under attack with recently disclosed vulnerability
Direct link to Patreon's statement: https://blog.patreon.com/on-the-removal-of-come-back-alive
Common people have a lot of power: if they unite.

See Solidarnosc in Poland for a great example.
As I have said: the clicks switches do not have the issues. If you want a Matias keyboard that is the way to go.
Well, I am sure Caritas Internationalis is there helping.

https://www.caritas.org/where-caritas-work/europe/ukraine/

(I have just made a donation).
To be fair so is AIMP.
> propping up Marxist militias in Latin America

Could you expand on that a bit? I'm genuinely curious.
I would stay away from the quiet click switches (like thenergo pro). There seems to be some kind of greasing issue.

If you want a Matias keyboard, the clicks switches are not affected by the erroneous behaviour.
From the winrar download page you can download the binaries directly without agreeing to any license, which means its clauses wouldn't apply.

It's already been established in the courts that merely using a piece of software does not imply acceptance of licensing terms; the parties must actively agree to it. That's why so many companies push in-your-face agreements that you must actively click "I agree" to.
Both threads are discussing compiler speedups.
Why is everything a `div`?
i found this explanation to be easier to grasp `truth alone does not exist or is not valuable without the steps to deduction to that truth (contrary to what mathematician traditionally believed`.
it was stupid to keep them there completely defenseless against the ships.

either give them equipment needed to fight or pull them back where the soldiers can actually make a difference.

entirely pointless loss of soldiers.
PR for a ticket to master. Reviewed by team. Merged to master. Builds, is automatically deployed to a kubernetes cluster.
> The license is the strongest argument to not use RAR.

Why? Most of the daily tools that keep business world running are closed source. Excel. Or Photoshop. Or Windows/MacOS itself. But RAR license and not being open source is now pushing it too far? Really?
Oh wow, ARJ, and of course, ARC. Now I want to dial up to a BBS with my fancy 14.4K modem and download WADs via ZMODEM.
That's not a given. And dragging out the fight gives other forces a chance, too.
Is there any notable 13/14 stuff worth mentioning?
One twitter comment mentions the account has been active for several years. Call me paranoid, but it's too big of a coincidence that it was closed exactly today.
> Please forgive those of us who where tricked into it, too young to vote etc.

Then you blame the voters of America when their government started an illegal war based on falsehoods.
There is an important but subtle difference between violence and force, and people use both terms as if they were the same. They are not.

Violence is exaggerated force.

You can kill a man and not be exerting violence (like in self-defence).
Yes, but this quote leaves out the distinction they made. The GP goes on to note the difference caused by who the people in the region support. In real life, as far as I can tell, most people in that region ended up supporting independence or later accession to the US, which seems slightly more similar to the more complex Ukraine situation in the GP comment than Mexico simply wanting Texas back.
I'm sorry it didn't add anything to you, and your statement "Historic context is not relevant to the discussion about an invasion" suggests that we might not have much to gain from each other as our points of view are too far apart.

Nonetheless, I'll try again to not leave you empty handed... What I'm saying is that "right" and "wrong" have little to do with the situation. I suggest you read Wikipedia on Realpolitik: https://en.wikipedia.org/wiki/Realpolitik
"It is a violation of our policies, and so we have removed the page."

What a shit fucking response.

Following a policy that you arbitrarily created yourself is not a reasonable justification for anything.
> sanctions implemented by the EU and the US, and they are a joke, since EU continues to import gas from Russia

Arguably, gas is of military value, so maybe it's more advantageous to allow Russia to have the money and have the gas than the other way around. Depends on if the money goes towards other armaments - but I'm sure Russia has plenty of those in any case.

That said, why wouldn't Russia stop selling? Hmmm.

> ex-president of the United States openly praising the Russian president on the media

> US TV networks openly doing the treasonous job of promoting Russian views in the US

Can you clarify, I feel there might be a dubious definition of 'praising' and 'promoting' at play here.
Russian visitors of my foss project (https://www.filestash.app/) now see the message of peace address to them by president Zelenskyy: https://www.youtube.com/watch?v=Fwzb_JX7u04
I'm not an expert, but sounds to me that Germany halting the nord stream pipeline, influenced Putin to go over the already under russian controlled area. I ask myself if removing Russia from SWIFT wouldn't make Putin just keep rolling over until the German border. In another hand, from the strategic point of view, Europe should have one more economical pressure option in case Russia doesn't stop in Kiew, and the SWIFT is this last option before War.
Maybe you should give it some more time to see adverse affect
> Microsoft ASF/WMA also has a similar limitation,

Doesn't mean it would in court.
pg_upgrade will take care of that. And you can still run upgrade from 8.4 to 14 using the --link mode which means no data will be copied - only the system catalogs need to be re-created.
> C++ was discussed as having too many undesirable characteristics.

I tend to agree, as a C++ developer. There are many core issues in the language that haven't been resolved and that are unacceptable for kernel code.

My personal pet peeve: C++ is unable to reallocate a new[] region. This makes basically all structures (vector, hashmap, trees...) unusable for large data handling.
WHO: Guidelines for Iodine Prophylaxis following Nuclear Accidents (1999) [pdf]
Open source tool to edit local/server files in browser (online)
So you're the one who kept the company running!
It seems to be still fairly widely used in Germany in non-programming environments(game mods etc.).
>I'm often confused by this as well, it's always been fairly obvious to me that other animals are sentient just like us (why wouldn't they be, their physiology is similar, they're descended from common ancestors).

Exactly, I'm not sure how anyone who's spent any time around animals could come to a different conclusion. I definitely think people who aren't willing to do the slaughtering themselves have no business eating meat too for that matter. My first ever job was on a meat and fish counter and the amount of people who couldn't stomach seeing a fish get gutted or a steak cut off a sirloin joint because 'it looks too much like an animal' was really shocking. I'm a meat-eater myself, but to deny the inherent violence in a carnivorous diet as those people do is just objectively incorrect in my opinion.
Yeah if you are a dictator having a civil war and you actively committing war crimes against your own people then you can fear nato might be compelled to intervene.

Russia claims its a democratic country with highest standards of freedoms, why would they feel threatened?

> "an immediate ceasefire in Libya, including an end to the current attacks against civilians"

Anyone claiming NATO was an aggressor akin to what Russia is doing now is a fool.
AP cancels sale of migrant boat NFT amid backlash
Thanks for this article, it makes very good points. In particular, about the UX of GPG, i've found Sequoia to be a very good alternative: https://sequoia-pgp.org/
Key word: propaganda.

While statelessness in the Baltic countries is a very controversial issue, I don't believe it'sas bad as people are making it out to be.

The absolute vast majority of those people don't care about the situation: they can work, they can travel through the EU and other countries, and they can play the victim card.

As a good example, Nils Ušakovs was the mayor of Riga, and his parents were stateless (and hi mother probably still is [1]). So its not like statelessness affects people other than the actual person (and the degree to which it affects them is very debatable).

[1] https://voxeurop.eu/en/a-russian-in-charge-in-riga/