Diogenesian

6 ms·

1. 121.▲
   by Diogenesian 3mo ago

   That's not what I mean. I am talking about quirks and bugs that really are pretty subtle, and which really might turn up in e.g. a verified systems programming context: https://github.com/James-Hanson/junk-theorems
2. 122.▲
   by Diogenesian 3mo ago

   These proof checkers all have bugs, every single one, and since AI is still 100% incapable of understanding simple mathematics we should assume agents are likely to cheat by exploiting a kernel bug. So a human really does have to be able to
3. 123.▲
   by Diogenesian 3mo ago

   I think part of it is the perception that real environmental and public health damage is being done for totally trivial and indefensible causes. A data center is not like an airplane parts manufacturer, which has lots of ugly pollution but
4. 124.▲
   by Diogenesian 3mo ago

   "Oops, I really should have checked GNU's policy on LLM code generation before submitting an LLM-generated patch. That was a stupid mistake: not only was my patch rejected, I publicly announced myself as a thoughtless blunderer wh