My first fifteen compilers (2019)
🏗️Compiler Design
Flag this post
From Lossy to Lossless Reasoning
🌳Tree-sitter
Flag this post
Rust Hobby OS projects worth exploring
💻Programming
Flag this post
Fungus: The Befunge CPU(2015)
🔌RISC-V
Flag this post
Linux/WASM
💿OS
Flag this post
Vibecoding my way to a crit on GitHub
💻Programming
Flag this post
Async/Await is finally back in Zig
💻Programming
Flag this post
Opportunistically Parallel Lambda Calculus
🌳Tree-sitter
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
🔌RISC-V
Flag this post
Handbook of Satisfiability (2021)
🔬PLT
Flag this post
Roadmap for Improving the Type Checker
💻Programming
Flag this post
Linux Kernel Ported to WebAssembly
⚙WebAssembly
Flag this post
Loading...Loading more...