Hacker News new | ask | show | jobs
user: ftyghome
created: 2025-12-21
karma: 4

submissions:

0 points | 0 comments
When Kernel Programmers Lie to the Verifier: A Tale of Faulty Optimizations
2 points | 1 comments