Stephen Diehl

Tags

Typechecker Zoo
The Stochastic Code Monkey Theorem
It Would Be Good if the AI Bubble Burst
Only Solution to the Attention Economy is to Opt Out
Fast Tensor Canonicalization in Rust
Fine-tuning With Tool Calling
Program Synthesis: The λ in the Machine
The Future of Maths May Be Deeply Weird
Does the Star Trek Computer Run on COBOL?
Interfacing MCP with Combinatorial, Convex, and SMT Solvers
Remote MCP Servers
Adventures in Symbolic Algebra with Model Context Protocol
Using CUDA Deep Neural Network (cuDNN) in Python
The Kardashev-Marx Scale
AI Slopocalypse 2027
Attention Wasn't All We Needed
MLIR Part 8 - GPU Compilation with MLIR
MLIR Part 7 - Transformers
MLIR Part 6 - Specializing Python with E-graphs
MLIR Part 5 - Neural Networks
MLIR Part 4 - Linear Algebra in MLIR
MLIR Part 3 - Affine Dialect and OpenMP
MLIR Part 2 - Memory in MLIR
MLIR Part 1 - Introduction to MLIR
MLIR Part 0 - Installing MLIR
Four-Fold Logic with Lean
SGLang on AMD MI300X
How to Make a Universe
The FlashAttention CUDA Kernel Line by Line
Training with GRPOTrainer
Enterprise Software in 2025
The Post-literate Economy
Sci-fi Hidden Gems
The Sybaritic Economy
Process Reward Models
Introduction to Fine-tuning Large Language Models
Hymba : Mamba × Transformers
Setting up a Nvidia GH200 for Development
Dependent Types in 200 Lines of Python
Setting up PyTorch for OCaml
New Rank 29 Elliptic Curve
Tiny GraphRAG (Part 2)
Tiny GraphRAG (Part 1)
The Limitations of RAG
AGI Discourse as Kayfabe
Monte Carlo Tree Search
Types of Types: Common → Exotic
Fine-tuning with ORPO and Unsloth
Pi from String Amplitudes
Diaconescu's Theorem
A Rapid Tutorial on Unsloth
Basic Formal Ontology
Volatility Surface
Silicon Valley's (totally not a cult) Ideologies
Slippage Modelling
Portfolio Rebalancing
Portfolio Theory with CVXOPT
E-Graphs in Rust
Proving Trivial Theorems in Lean
Cooking Logics with Soufflé
Enough Numbers to Build a Universe
Word Calculators are Useful, but they're not Smart
Using SMT Solvers to Manage JIRA Tickets
Why I Left Twitter
Best Sci-Fi Books of the 21st Century
Going Deep on DeepSpeed
GPT-2 in One Function
Constraint Solving with MiniZinc
Linking CUDA Kernels into Python
Simulating Qubits with Python (Classically)
Enterprise Eldritch Horrors
Exotic Programming Ideas, Part 2 (Term Rewriting)
Exotic Programming Ideas, Part 4 (Datalog)
Exotic Programming Ideas, Part 3 (Effect Systems)
Exotic Programming Ideas, Part 1 (Module Systems)
Notes on Trekonomics
Listicle of Buddhist Lists
What are Elementary Particles?
Integral Zoo
Derivative Zoo
Using Google OR-Tools to do Answer Set Programming
The Y-Combinator in Python
What Is Not Art?
Dive into GHC: Targeting Core
Dive into GHC: Intermediate Forms
Dive into GHC: Pipeline
Building a Better Custom Haskell Prelude
Cooking Classes with Datatype Generic Programming
The Joy and Agony of Haskell in Production
From Newton to Einstein and Back
Vim and Haskell in 2016
Functional Programming, Abstraction, and Names
Monads to Machine Code
A Haskell Implementation Reading List
Scattering Amplitudes in Quantum Field Theory
A Vim + Haskell Workflow
From Adjunctions to Monads
Haskell for Web Developers
Monads Made Difficult
Space-time Algebra in Python
The "Warp Drive" Equations
Using libjit in Anger
A Haskell Reading List