ftyghome Karma 4 Created 2 months ago Recent Submissions 1. ▲ When Kernel Programmers Lie to the Verifier: A Tale of Faulty Optimizations (blog.igns.top) 2 points · 2 months ago · 1 comment All submissions on HN · View profile on HN