HN Explorer

dovin

↗ HN profile [ 54.3 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Cheap code means formal verification is reasonable now (antfly.io)
    7 points 1