brohee

7 ms·

1.
Agents Build Chess Engines from Scratch in Rust, C++, Rocq, LaTeX, Brainfuck(blog.mathieuacher.com)
1 points by brohee 6d ago|1 comments
2.
by brohee 6d ago
Title edited for length from "Coding Agents Build Chess Engines From Scratch in Rust, C++, COBOL, Rocq, LaTeX, Brainfuck, and More" He also has dedicated entries on two very special case, the engine running within pdflatex https:
3.
by brohee 7d ago
The discussion on the cost of the attack needs an addendum. The lattice sieving part would be free for an an attacker with a big enough botnet or enough cloud computing stolen credentials. Maybe it could even be practical to run it on brows
4.
by brohee 7d ago
Not all attackers pay for compute. With enough stolen compute, breaking RSA-1024 is free and not that slow...
5.
by brohee 9d ago
Yeah I really wonder what makes them think they are legally insulated from the actions of the agents they ran... The crimes were relatively benign but Grok going the Silkroad way would be on brand...
6.
by brohee 12d ago
Efficiency is not that that important in an era of negative price electricity. Synfuel made just from air and electricity is doable (both water and carbon dioxyde can be extracted from the atmosphere). And with 10% of what's spend on I
7.
by brohee 22d ago
I've fairly good control over not running my car out of the road, yet I have airbags...
8.
by brohee 23d ago
A backdoor in physics would be interesting indeed, but not as likely as a rogue agent in a TSMC fab...
9.
by brohee 23d ago
Security-partition switches that carefully reset all shared micro-architectural state, while making switch times completely deterministic, and in particular, independent of previous execution history. I'm afraid it means clearing all
10.
by brohee 23d ago
I don't think you can ignore memory access. The whole "hyperthreading considered harmful" was because of shared cache between contexts. That's why I think a proof is in reach without cache, much harder with one...
11.
by brohee 23d ago
I'm not so sure. It's pretty hard to know how many cycles a register load instruction will take if there is a cache, or worse a cache hierarchy. That's why I think it will be a lot easier to have a proof on simple cache less
12.
by brohee 23d ago
This has its own issues. Big bad actors can now split their activities between more smaller companies to avoid some regulation. I've seen it happening.
13.
by brohee 23d ago
To add to that, the only way I see proof of absence of timing channels is by proving both the software and the hardware design side by side, and then the proof would hold only for a specific core. Something that would look both at the code
14.
by brohee 23d ago
The assumptions the proof makes are pretty clearly listed: https://sel4.systems/Verification/assumptions.html The one covering side channels is pretty honest: Information side-channels: this assumption applies to the
15.
by brohee 28d ago
I suspect a lot of software does not behave well at negative altitude. I heard of an ECU having trouble on one of the rare negative altitude roads.
16.
by brohee 1mo ago
SCEP was (and still is) a very deployed protocol yet took 20 years for the draft to be published...
17.
by brohee 1mo ago
Writing multiple pages for a few hundred actual bytes also thrashes the OS cache...
18.
by brohee 1mo ago
Ah, the Ulrich Drepper school of dealing with reported issues. Time for esystemd ;)
19.
by brohee 1mo ago
Now let's see if European users get their GDPR article 33 notification of the breach...
20.
by brohee 2mo ago
The most astonishing thing is that she still holds the PhD whose thesis was the basis of the book. A stain on Oxford reputation.
21.
by brohee 3mo ago
Since data is now the plural of anecdote... Frenchman here. Someone I knew fell from his bike without appropriate gear and ended up in the burn ward. His wife was very into the fire tamer thing and sent him a few practitioners... He took th
22.
by brohee 3mo ago
In the most nuclear country, France, power plants can't rise the river temperature by too much legally and yes it is an issue in summer with less water flowing.
23.
by brohee 3mo ago
I know in which DC you are hosted and will cut your electricity off.
24.
by brohee 3mo ago
Celestial Navigation is also doable even in daylight nowadays, e.g. https://sodern.com/en/ranges/astradia
25.
by brohee 4mo ago
Because you'd need to trash the old GPUs in order to make room for new GPUs. Right now new GPUs get online mostly in new DCs. TSMC fab capacity is much more limiting than DC building and it will likely keep being the case. It's mu
26.
by brohee 5mo ago
Europe has passenger trains that work. What would be a short flight in the US, e.g. London to Paris is done more my train through the chunnel than flying unless you got a connecting flight.
27.
by brohee 5mo ago
It's quite possible other carriers would have gone around the worst and that the economy airline saved fuel.
28.
by brohee 5mo ago
Step 2, put the needle on a gantry (I suspect you'd need more like 5D CNC to enter the pore with the right angle) and seek and destroy hairs... As it is it saves money but not time nor skill...
29.
by brohee 5mo ago
That's one of the reasons I can walk in the main office of my registrar within an hour. It's clearly not available to everyone but it's especially important that if you can't do that you can at least conveniently sue you
30.
by brohee 5mo ago
In the end "proofs" that are not machine checked will be left unread unless submitted by someone very respected in the field...

More ›