dbdr

8 ms·

1.
by dbdr 9d ago
> Levent having received tips that information about our progress had been passed to OpenAI That seems like a valid reason to contact OpenAI.
2.
by dbdr 9d ago
From Buckmaster's text: The route to the Clay problem through a smooth force, options c and d in Fefferman’s statement of the problem, is the route Luis and Diego opened and the one Levent and I had quietly chosen to
3.
by dbdr 9d ago
> Invest in formal verification, fuzzing and property testing, and memory-safe languages. LLMs are good at writing Lean and fuzz tests. I don't care whether you use Go or Rust but for the love of god please don't use C or C++ f
4.
by dbdr 9d ago
Moats are supposed to be obstacles for your competitors, not your consumers.
5.
by dbdr 12d ago
Putin is under an arrest warrant from the International Criminal Court for war crimes. Rapes and killings are widely documented as part of the war he started. I don't think the parent comment was overstating the crimes in question in i
6.
by dbdr 12d ago
Visit of the underground vault in Paris, narrated by Stefan Zweig: https://www.youtube.com/watch?v=txyKenOq5Pw
7.
by dbdr 12d ago
Is compriate a typo, a neologism? I could not find a definition.
8.
by dbdr 13d ago
I'm not convinced the reason is technical. Yes, the total Ethereum chain state is not tiny (a few TB I think). But if you're only interesting in ENS domains, you don't need to store all of Ethereum, you can just receive new b
9.
by dbdr 14d ago
Why?
10.
by dbdr 15d ago
I you emit the methane, you have one molecule of CH₄ for 10 years, then one molecule of CO₂ for x years. If you burn the methane, you have one molecule of CO₂ for x years. Burning seems strictly better. (If you use the heat of the burning t
11.
by dbdr 15d ago
To add nuance, that article does say one of the two versions does reduce text quality (and the other is worse at detectability): > SynthID-Text can be configured to be non-distortionary (preserving text quality) or distortionary (impro
12.
by dbdr 15d ago
On android, you can use Firefox with ublock origin plugin. Works great, blocks youtube ads too.
13.
by dbdr 16d ago
> and how about plumbers (and the like) who need a vehicle to carry what they need to work? This is literally addressed by the comment you are replying to: "What about the delivery people who need to bring this into the city?"
14.
by dbdr 17d ago
This tracks with an old convention in languages like Pascal, which uses begin / end keywords for all blocks, where people would add "end (* if *)" as a comment to make it more explicit which block is being closed.
15.
by dbdr 19d ago
An event encouraging people to vote in an election or a peaceful demonstration against a proposed legislation are "actions designed to invoke political change". I don't think any of those are commonly understood to be terrori
16.
by dbdr 20d ago
Nix offers the best of both worlds on this aspect: each program can depend on the exact version of a library it needs and several versions can coexist on the disk, but if two programs depend on the exact same version, it is stored only once
17.
by dbdr 23d ago
The problem now is that it's the producer that decides what the packaging is, but it's the consumer (or the state) who pays for the collection and recycling. By making the producer pay for it, you give them an incentive to make it
18.
by dbdr 26d ago
There's a class of americans that didn't benefit from that world order. However, they elected someone who pretended he was going to help them, and actually is making it even worse for them and better for those who were already ben
19.
by dbdr 26d ago
Please be aware people reading don't know which country you are from, so using "our" is ambiguous. You could just as well have been Canadian, and it took extra deciphering to guess you're apparently from the US.
20.
by dbdr 26d ago
Of course, because Russia spends 7+% of its GDP on its military, and Italy 1.6%. It does say something about the relative capacity though. Russia probably cannot sustain this level of spending forever, and European countries could (continue
21.
by dbdr 26d ago
Oh, if peak RAM usage is higher, in which scenario do you find that's a significant gain? Maybe I misunderstood, what I got from the blog post is that there will be indexing on save (vs on each keystroke with RA). That would be often e
22.
by dbdr 26d ago
Thanks! Nvim is definitely a good match for the "I care about RAM usage" crowd, I suppose zed as well, compared to vscode.
23.
by dbdr 26d ago
Super cool! In the comparison table, you indicate indexing times. Could you also measure memory usage, since that's the stated goal of the project?
24.
by dbdr 1mo ago
This shows hardware won't be yours unless the software running on it is open source. Asking a company to modify its closed source software might work occasionally, but it's a band-aid and a never-ending battle.
25.
by dbdr 1mo ago
On the left Panel, change Configuration: Default to Wildfires and press the green arrow. You can then select various fire-related layers.
26.
by dbdr 1mo ago
The Guardian is part of the Guardian Media Group, owned by the Scott Trust Limited. The trust was created in 1936 to "secure the financial and editorial independence of The Guardian in perpetuity and to safeguard the journalistic freed
27.
by dbdr 1mo ago
> But its so plentiful and demand is so high for beef and soy that we keep doing this Just to add that about three-quarters of soybeans are used as livestock feed (poultry, pigs, cattle, ...). So really, it's almost all demand for m
28.
by dbdr 2mo ago
> Noted for next time. Is that just something it says, or will that actually affect how it will behave next time?
29.
by dbdr 2mo ago
That course was posted just yesterday, in case you are interested in the discussion about it: https://news.ycombinator.com/item?id=49022038
30.
by dbdr 2mo ago
In an ideal world, that would be true, but the actual world is very far from that. As an extreme example, AI is very useful to automate scamming people.

More ›