AriFordsham
- Karma
- 52
- Created
- 10 months ago
Recent Submissions
- 1. ▲ Why Writing Correct Software Is Hard (pron.github.io)
- 2. ▲ What is static analysis, really? (danielefilaretti.com)
- 3. ▲ A Haskell processor running on an FPGA (bathtub-01.github.io)
- 4. ▲ God Help Us, Let's Try to Learn About Mechanistic Interpretability Techniques (astralcodexten.com)
- 5. ▲ Rust is more permissive than C, but C has better concurrency support (arifordsham.com)