Posts

• Book Review: On the Calculation of Volume May 20, 2026
• A Field Guide to Bugs April 19, 2026
• Book Review: What We Can Know April 2, 2026
• Book Review: There Is No Antimemetics Division March 22, 2026
• Book Review: Piranesi March 9, 2026
• Optimal Caverna Gameplay via Formal Methods February 21, 2026
• Can Opus 4.6 do Category Theory in Lean? February 16, 2026
• Book Review: When We Cease to Understand the World February 8, 2026
• Hypothetical Divine Signatures January 14, 2026
• Typechecker Zoo August 15, 2025
• The Stochastic Code Monkey Theorem August 12, 2025
• It Would Be Good if the AI Bubble Burst July 18, 2025
• Only Solution to the Attention Economy is to Opt Out July 15, 2025
• Fast Tensor Canonicalization in Rust June 29, 2025
• Fine-tuning With Tool Calling June 23, 2025
• Program Synthesis: The λ in the Machine June 22, 2025
• What is AI market actually worth? June 17, 2025
• Book Review: Tomorrow, and Tomorrow, and Tomorrow June 14, 2025
• The Future of Maths May Be Deeply Weird June 11, 2025
• Does the Star Trek Computer Run on COBOL? June 5, 2025
• Interfacing MCP with Combinatorial, Convex, and SMT Solvers June 2, 2025
• Remote MCP Servers May 26, 2025
• Adventures in Symbolic Algebra with Model Context Protocol May 18, 2025
• Using CUDA Deep Neural Network (cuDNN) in Python May 15, 2025
• The Kardashev-Marx Scale May 5, 2025
• AI Slopocalypse 2027 May 2, 2025
• Attention Wasn't All We Needed April 29, 2025
• MLIR Part 8 - GPU Compilation with MLIR April 19, 2025
• MLIR Part 7 - Transformers April 11, 2025
• MLIR Part 6 - Specializing Python with E-graphs March 17, 2025
• MLIR Part 5 - Neural Networks March 15, 2025
• MLIR Part 4 - Linear Algebra in MLIR March 14, 2025
• MLIR Part 3 - Affine Dialect and OpenMP March 13, 2025
• MLIR Part 2 - Memory in MLIR March 12, 2025
• MLIR Part 1 - Introduction to MLIR March 10, 2025
• MLIR Part 0 - Installing MLIR March 7, 2025
• SGLang on AMD MI300X March 4, 2025
• How to Make a Universe February 16, 2025
• The FlashAttention CUDA Kernel Line by Line February 11, 2025
• Training with GRPOTrainer February 7, 2025
• Enterprise Software in 2025 January 15, 2025
• The Post-literate Economy January 9, 2025
• Sci-fi Hidden Gems December 21, 2024
• The Sybaritic Economy December 10, 2024
• Process Reward Models December 1, 2024
• Introduction to Fine-tuning Large Language Models November 25, 2024
• Hymba : Mamba × Transformers November 20, 2024
• Setting up a Nvidia GH200 for Development November 20, 2024
• Dependent Types in 200 Lines of Python November 18, 2024
• Setting up PyTorch for OCaml November 17, 2024
• New Rank 29 Elliptic Curve November 14, 2024
• Tiny GraphRAG (Part 2) November 12, 2024
• Tiny GraphRAG (Part 1) November 4, 2024
• The Limitations of RAG November 2, 2024
• AGI Discourse as Kayfabe September 14, 2024
• Monte Carlo Tree Search September 4, 2024
• Types of Types: Common → Exotic September 4, 2024
• Fine-tuning with ORPO and Unsloth September 3, 2024
• Pi from String Amplitudes September 1, 2024
• Diaconescu's Theorem August 5, 2024
• A Rapid Tutorial on Unsloth July 28, 2024
• Basic Formal Ontology July 21, 2024
• Volatility Surface March 1, 2024
• Silicon Valley's (totally not a cult) Ideologies February 20, 2024
• Slippage Modelling February 10, 2024
• Portfolio Rebalancing February 5, 2024
• Portfolio Theory with CVXOPT February 1, 2024
• E-Graphs in Rust February 1, 2024
• Proving Trivial Theorems in Lean February 1, 2024
• Cooking Logics with Soufflé February 1, 2024
• Enough Numbers to Build a Universe February 1, 2024
• Word Calculators are Useful, but they're not Smart February 1, 2024
• Using SMT Solvers to Manage JIRA Tickets February 1, 2024
• Book Review: The Crisis of Democratic Capitalism November 18, 2023
• Why I Left Twitter October 1, 2023
• Book Review: Capitalist Realism August 5, 2023
• Best Sci-Fi Books of the 21st Century June 21, 2023
• Going Deep on DeepSpeed June 5, 2023
• GPT-2 in One Function April 29, 2023
• Constraint Solving with MiniZinc April 21, 2023
• Linking CUDA Kernels into Python November 18, 2022
• Simulating Qubits with Python (Classically) April 28, 2022
• Book Review: Klara and the Sun March 3, 2022
• Enterprise Eldritch Horrors May 9, 2021
• Exotic Programming Ideas, Part 2 (Term Rewriting) March 8, 2021
• Exotic Programming Ideas, Part 4 (Datalog) March 4, 2021
• Exotic Programming Ideas, Part 3 (Effect Systems) March 3, 2021
• Exotic Programming Ideas, Part 1 (Module Systems) March 1, 2021
• Notes on Trekonomics January 9, 2021
• Listicle of Buddhist Lists January 15, 2019
• What are Elementary Particles? November 11, 2018
• Integral Zoo May 2, 2018
• Derivative Zoo May 1, 2018
• Using Google OR-Tools to do Answer Set Programming February 1, 2018
• The Y-Combinator in Python August 10, 2017
• Dive into GHC: Targeting Core July 12, 2016
• Dive into GHC: Intermediate Forms July 11, 2016
• Dive into GHC: Pipeline June 21, 2016
• Building a Better Custom Haskell Prelude April 7, 2016
• Cooking Classes with Datatype Generic Programming March 3, 2016
• From Newton to Einstein and Back February 1, 2016
• Monads to Machine Code January 4, 2016
• From Adjunctions to Monads August 29, 2013
• Monads Made Difficult July 7, 2013
• Space-time Algebra in Python April 21, 2013