Blog

My thoughts, experiments, ideas and tutorials

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