HN Explorer

AriFordsham

↗ HN profile [ 20.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Why Writing Correct Software Is Hard (pron.github.io)
    2 points 160
  2. What is static analysis, really? (danielefilaretti.com)
    1 points 0
  3. A Haskell processor running on an FPGA (bathtub-01.github.io)
    1 points 1
  4. God Help Us, Let's Try to Learn About Mechanistic Interpretability Techniques (astralcodexten.com)
    1 points 1
  5. Rust is more permissive than C, but C has better concurrency support (arifordsham.com)
    3 points 0