Blog

My thoughts, experiments, ideas and tutorials

• A Scheme Interpreter in Haskell
• Proof of e^(pi*i) = -1
• Fast intercore IPC - Part 1
• Why not OOP?
• Branchless Programming
• Either Monad in Rust
• Writing a microkernel in Rust - Part 1
• Lets Prove Leftpad in Lean
• Cache Invalidation Makes Your Code Fast: Building a 21.9 GiB/s SPSC Queue