22 points | by Funes- 4 hours ago ago
5 comments
This post assumed that the author of the "runs" commit was not acting maliciously. Has that been established? It's not mentioned in this article.
Also: writing this stuff in C just begs for bugs.
LLM agents are cheap and good enough that you can write in eg Lean or whatever. Or at least write it in Rust.
The bug has been up since before the LLM shift.
I get the feeling that the bugs found in this instance can be more directly attributed to the author having zero experience operating a microcontroller
Hanlon’s razor.
This post assumed that the author of the "runs" commit was not acting maliciously. Has that been established? It's not mentioned in this article.
Also: writing this stuff in C just begs for bugs.
LLM agents are cheap and good enough that you can write in eg Lean or whatever. Or at least write it in Rust.
The bug has been up since before the LLM shift.
I get the feeling that the bugs found in this instance can be more directly attributed to the author having zero experience operating a microcontroller
Hanlon’s razor.