HN Explorer

ftyghome

↗ HN profile [ 654 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. When Kernel Programmers Lie to the Verifier: A Tale of Faulty Optimizations (blog.igns.top)
    2 points 1