Blogs

My thoughts, experiments, ideas and tutorials

• Branchless Programming
• Proof of e^(pi*i) = -1
• Either Monad in Rust
• Fast intercore IPC - Part 1
• A Scheme Interpreter in Haskell
• Lets Prove Leftpad in Lean
• Why not OOP?
• Writing a microkernel in Rust - Part 1