Re:Show HN: Green tests are not proof – verifier for C/C++ a...
by Neywiny on Saturday November 07, 2026 @08:59PM
(#50409846)
I still can't imagine hooking up an LLM to real hardware because of exactly this.
[ Parent
| on HN ]
There are no comments on this comment yet.