From Lossy to Lossless Reasoning
🔬PLT
Flag this post
What are you doing this weekend?
💻Programming
Flag this post
How I Use Every Claude Code Feature
🧰Developer Ergonomics
Flag this post
My first fifteen compilers (2019)
🏗️Compiler Design
Flag this post
Smaller Surfaces
🔓Open Source
Flag this post
Our newest model: Chandra (OCR)
🔤Text Algorithms
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
🏗️Compiler Design
Flag this post
Fungus: The Befunge CPU(2015)
🔌RISC-V
Flag this post
Speedrunning an RL Environment
🔬PLT
Flag this post
Roadmap for Improving the Type Checker
💻Programming
Flag this post
Handbook of Satisfiability (2021)
🔬PLT
Flag this post
Loading...Loading more...