dbdr

> The commit message just said it reverted a change from another commit because there was "no benefit". From the patch itself, it is not at all evident that this is a fix for a critical security bug.

If the commit message says it fixes a security bug, then bad actors immediately know there's a possible exploit there. So maybe it's intentional? (not familiar with the policy for this)

Stopping the action is not the only reason to quit a job you deeply disapprove of. There's a related anecdote in the book Man's Search for Meaning by Viktor Frankl. From my memory: a man working for the US embassy in Japan was unhappy and doing psychotherapy. The therapist was trying to see if his issues with his boss had something to do with his relationship to authority, digging into his relationship to his father, etc. Turns out, he was just in deep disagreement with the policies he had to enforce, and quitting solved the issue.

Quitting a job you think is harmful (or even maybe meaningless) can be good for yourself, in addition to the morality question.

If that's the right approach, then it would be useful to make that library public as a crate, because writing such hardened code is generally useful. Possibly as a step before inclusion in the rust stdlib itself.

The GPL prevents you from reading the licensed code before writing related non-GPL code? Which section of the GPL says that?

I didn't downvote, but I feel the last two points show a lack of nuance. It's saying "Rust doesn't prevent 100% of the bugs, like all other programming languages", while failing to acknowledge that if a programming language prevents entire classes of bugs, it's a very significant improvement.

It also means that in English:

> Digital:

> [...]

> 6) of or relating to the fingers or toes. Ex: digital dexterity

When you are reading a book, you certainly need to use your attention. However, you stay in a given topic/world for a sustained amount of time. This feels very different and much less tiring than scrolling on your phone jumping from topic to topic. Especially social media feeds that have been optimized to keep using it as long as possible (dopamine hits and all).

Newspapers are probably an intermediate between those two, to various degrees depending on the specific newspaper (trash vs deeper analysis).

That's great if it works. But it's way harder to produce a formal proof. So my expectation is that this will fail for most difficult problems, even when the non-formal proof is correct.

Even if they take the same number of ticks, shouldn't xor fundamentally needing less work also mean it can be performed while drawing less power/heating less, which is just as much an improvement in the long run?

*user-mode code.

Your city/rural distinction is insightful. I think it can be taken into account relatively easily. Name explicitly the cities/locations were the requirement would apply. Possibly based on some objective criteria like population density.

And in 1956 of course.

> not doing the proper reviews, but once again, this is not remotely unique to AI code; this is what 99% of companies are already doing.

But is the scale similar, or will AI coding make the problem significantly worse?

On a similar note, François Hollande had the right first name but the wrong last name!

> obviously no one’s running any compiled Lean code in any kind of production hot path

Ignorant question: why not? Is there an unacceptable performance penalty? And what's the recommended way in that case to make use of proven Lean code in production that keeps the same guarantees?

Indeed, and there we reached the end of the chain.

> A country where no one is stigmatized for loving someone differently than the majority.

-- Peter Magyar victory speech, April 12, 2026

That's directly in opposition to Orban's views and homophobic laws.

"Russians go home" was one of the main chants at opposition rallies. In 2026 like in 1989.

It would be the Cathedral if it made a 5 year plan to build the perfect solution (even more so if from quasi-scratch). But the EU is also known to offer (sometimes small scale) grants in specific domains. That's much more compatible with the Bazaar.

> Someone in power doesn’t get to choose - the board of directors do

Since the board of directors can decide to replace the CEO, it's not the CEO who holds the (ultimate) power, it's the board of directors.

Sure, but if you constrain to fixed output length, you will definitely have collisions (Pigeon Hole Principle). There's no way around that.

> the fundamental physical paradoxes and incoherence of free will

Are those even true? They sure are in classical, Newtonian physics, but are they in modern, e.g. quantum physics? Not saying that one proves free will, but is there an actual hard impossibility?

At least in some cases, it's actually using Linux and open document format, e.g. https://en.wikipedia.org/wiki/GendBuntu

Good on France for doing that work.

More countries and/or EU involvement could bring economies of scale: apart from translation, a lot of work on fixing bugs and adding features to the relevant open source projects can be done once and benefit all. So either get the same results faster, more cheaply per country, or both. Sure, that adds some bureaucracy and coordination cost too, but should be worth it overall.

Also GendBuntu, a custom version of Ubuntu used by 100 000 stations (almost all) of the national gendarmerie.

https://en.wikipedia.org/wiki/GendBuntu

Amazing to see a webpage "Updated Dec 1998" still up, running and displaying correctly.

They might have an effect in the development of an office suite, possibly of a desktop environment or one specialized Linux distribution. Nobody will be forced to use those specific ones if they don't like them. There are plenty of options in the Linux world.

That sounds like a reversal of the burden of the proof to me. David Oks is claiming in his blog that "funerals keep Africa poor". The job of showing whether it is widespread and generally true in Africa belongs to David Oks, not to Madradavid.

"Corruption" is all but meaningless. It happens in every society and the only people that get prosecuted for them seem to be people outside the elite. /s

I don't think holding such views is helpful.

Besides, a few people have been prosecuted for war crimes while being on the winning side (or by their own side), some examples:

William Calley (US), convicted for his role in the 1968 My Lai massacre, in which American troops killed hundreds of unarmed South Vietnamese civilians.

Donald Payne (UK), for abuse and death of an Iraqi detainee.

Charles Graner (US), sentenced to 10 years in prison for the abuse of detainees at Abu Ghraib prison.

However, we can agree those are very few and far between, compared to all crimes committed. But it's more useful to condemn them and advocate for more accountability than to claim it's useless anyways and normalize calls for more crimes.

> “bomb them, they’re all regime supporters”

Even those regime supporters are civilians. This is literally advocating for a war crime.