Hacker News new | ask | show | jobs
A Decade Verifying LLVM, or How to Retrofit Soundness in Industrial Software (youtube.com)
2 points by obl 1316 days ago