dbdr

6 ms·

61.
by dbdr 5mo ago
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 unh
62.
by dbdr 5mo ago
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.
63.
by dbdr 5mo ago
The GPL prevents you from reading the licensed code before writing related non-GPL code? Which section of the GPL says that?
64.
by dbdr 5mo ago
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
65.
by dbdr 5mo ago
It also means that in English: > Digital: > [...] > 6) of or relating to the fingers or toes. Ex: digital dexterity
66.
by dbdr 5mo ago
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 to
67.
by dbdr 5mo ago
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.
68.
by dbdr 6mo ago
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?
69.
by dbdr 6mo ago
*user-mode code.
70.
by dbdr 6mo ago
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 de
71.
by dbdr 6mo ago
And in 1956 of course.
72.
by dbdr 6mo ago
> 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?
73.
by dbdr 6mo ago
On a similar note, François Hollande had the right first name but the wrong last name!
74.
by dbdr 6mo ago
> 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
75.
by dbdr 6mo ago
Indeed, and there we reached the end of the chain.
76.
by dbdr 6mo ago
> 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.
77.
by dbdr 6mo ago
"Russians go home" was one of the main chants at opposition rallies. In 2026 like in 1989.
78.
by dbdr 6mo ago
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 wi
79.
by dbdr 6mo ago
> 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.
80.
by dbdr 6mo ago
Sure, but if you constrain to fixed output length, you will definitely have collisions (Pigeon Hole Principle). There's no way around that.
81.
by dbdr 6mo ago
> 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 act
82.
by dbdr 6mo ago
At least in some cases, it's actually using Linux and open document format, e.g. https://en.wikipedia.org/wiki/GendBuntu
83.
by dbdr 6mo ago
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
84.
by dbdr 6mo ago
Also GendBuntu, a custom version of Ubuntu used by 100 000 stations (almost all) of the national gendarmerie. https://en.wikipedia.org/wiki/GendBuntu
85.
by dbdr 6mo ago
Amazing to see a webpage "Updated Dec 1998" still up, running and displaying correctly.
86.
by dbdr 6mo ago
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 opt
87.
by dbdr 6mo ago
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 t
88.
by dbdr 6mo ago
"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
89.
by dbdr 6mo ago
> “bomb them, they’re all regime supporters” Even those regime supporters are civilians. This is literally advocating for a war crime.
90.
by dbdr 6mo ago
False dichotomy. You can be against the current Iranian regime and against intentionally bombing civilians at the same time.

More ›