Stephen Diehl

Posts tagged
all

Typechecker Zoo
Stephen Diehl - Software Engineer & Technology Writer
The Stochastic Code Monkey Theorem
Tags
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 Asbestos Doctrine: Why Crypto Must Be Contained, Not Condoned
The Future of Maths May Be Deeply Weird
Does the Star Trek Computer Run on COBOL?
Interfacing MCP with Combinatorial, Convex, and SMT Solvers
The Trump Crypto Orgy of Corruption
Unnecessary and Unstable: Why Stablecoins are Bad
Remote MCP Servers
Adventures in Symbolic Algebra with Model Context Protocol
Using CUDA Deep Neural Network (cuDNN) in Python
The Technofascist Mind: A Guide to Its Psychology and Philosophy
The Kardashev-Marx Scale
AI Slopocalypse 2027
Attention Wasn't All We Needed
How Democrats Failed on Crypto
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
The Case Against Crypto in 2025
Financial Tokenization is a Meaningless Buzzword
Worse Than a Scam: How Crypto Fueled American Fascism
Enterprise Software in 2025
The Post-literate Economy
Sci-fi Hidden Gems
The Sybaritic Economy
Process Reward Models
Digital Dollarization: The Looming Threat to Monetary Sovereignty
Introduction to Fine-tuning Large Language Models
Setting up a Nvidia GH200 for Development
Hymba : Mamba × Transformers
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
The Legacy of Web3
Britain is a Bulwark Against Post-Liberalism
AGI Discourse as Kayfabe
Stephen Diehl Contact
Writings
Posts
Types of Types: Common → Exotic
Monte Carlo Tree Search
Fine-tuning with ORPO and Unsloth
Pi from String Amplitudes
Diaconescu's Theorem
A Rapid Tutorial on Unsloth
Basic Formal Ontology
The AI Backlash is to be Expected
Volatility Surface
The Dark Eschatology of Crypto Ideologues
Silicon Valley's (totally not a cult) Ideologies
Slippage Modelling
Portfolio Rebalancing
Using SMT Solvers to Manage JIRA Tickets
Word Calculators are Useful, but they're not Smart
Enough Numbers to Build a Universe
Cooking Logics with Soufflé
Proving Trivial Theorems in Lean
E-Graphs in Rust
Portfolio Theory with CVXOPT
The Rise of Anti-Liberalism in Tech
Why I Left Twitter
Best Sci-Fi Books of the 21st Century
Going Deep on DeepSpeed
The Everything Bagel Problem
GPT-2 in One Function
Constraint Solving with MiniZinc
Deconstructing the Worldview of Peter Thiel
Crypto is Financial Asbestos
Linking CUDA Kernels into Python
The Public Policy Case for Banning Crypto
Simulating Qubits with Python (Classically)
The Token Disconnect
Why Democrats Should Oppose Crypto
The Case Against Crypto
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)
Gamestop, Bitcoin and the Commoditization of Populist Rage
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
View all tags