Blog Archive
Other
- June 2025 - The Movie Project
- November 2023 - Thoughts off-the-shelf software, individualism, and creating a custom 3D animation tool
- August 2023 - AI will destroy human society, and we can't stop it
- August 2023 - Optimal Troubleshooting Strategy
- June 2023 - Rea: a theorem prover written in C++ (Part 3: The type system)
- June 2023 - Rea: a theorem prover written in C++ (Part 2: Lexing and Parsing)
- June 2023 - Rea: a theorem prover written in C++ (Part 1: Problem Statement & Motivation)
- September 2022 - Debug builds are slow, so let's make them even slower
- September 2022 - Bitmap mermoy: How to store complexity in data structures
- August 2022 - Programming isn't math
- August 2022 - Learning experience with Handmade Hero