Hacker News
Show HN: Green tests are not proof – verifier for C/C++ and firmware fixes(unfix.dev)
14 points by u-pump 2 days ago | 1 comments
[–] Neywiny 4 hours ago
I still can't imagine hooking up an LLM to real hardware because of exactly this.