HN Explorer

monad_june

↗ HN profile [ 23.9 ms ] full profile
Karma
20
Created
June 26, 2021 (5y ago)
Submissions
0
  1. Blogging about Midori (2015) (joeduffyblog.com)
    2 points 0
  2. A unified theory of garbage collection (2004) (dl.acm.org)
    2 points 0
  3. CompCert: Formally Verified C Compiler (2019) (cs.cornell.edu)
    1 points 0
  4. Highway – Efficient and performance-portable SIMD (github.com)
    31 points 6
  5. Reading bits in far too many ways (part 1) (2018) (fgiesen.wordpress.com)
    1 points 0