HN Explorer

rdc12

↗ HN profile [ 89.6 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Little rust starter: Lifetimes made easy (dev.to)
    1 points 0
  2. Verifying bubble sort in Whiley (whiley.org)
    2 points 0
  3. Olivier Blanchard’s tenure at the IMF (washingtonpost.com)
    2 points 0
  4. Assertions Are Pessimistic, Assumptions Are Optimistic (2014) (blog.regehr.org)
    12 points 4
  5. UB Canaries (Undefined Behaviour) (blog.regehr.org)
    4 points 0