Stephen Diehl
Stephen Diehl
Index
Blog
Humor
Book Reviews
Python
Rust
Mathematics
Machine Learning
Functional Programming
Compilers
Formal Methods
Markets
Public Policy
Contact
PGP Key
Github
Bluesky
LinkedIn
Substack
RSS
Stephen Diehl
Index
Blog
Humor
Book Reviews
Python
Rust
Mathematics
Machine Learning
Functional Programming
Compilers
Formal Methods
Markets
Public Policy
Contact
PGP Key
Github
Bluesky
LinkedIn
Substack
RSS
Posts tagged
ai
MLIR Part 14 - GPT-2 on the GPU
October 11, 2026
We Live in the Dependently Typed Future Now
October 8, 2026
No, Transformers Won't End the Human Race lol
September 24, 2026
MLIR Part 13 - Running GPT-2
June 19, 2026
MLIR Part 12 - Fusion, Bufferization and Execution
May 30, 2026
MLIR Part 11 - Matrix Multiplication and Attention
May 1, 2026
MLIR Part 10 - Compiling Transformer Kernels
March 28, 2026
MLIR Part 9 - A Python Frontend for MLIR
March 1, 2026
Can Opus 4.6 do Category Theory in Lean?
February 16, 2026
MLIR Part 8 - GPU Compilation with MLIR
February 3, 2026
MLIR Part 7 - Transformers
December 25, 2025
MLIR Part 6 - Specializing Python with E-graphs
December 12, 2025
MLIR Part 5 - Neural Networks
December 7, 2025
MLIR Part 4 - Linear Algebra in MLIR
September 6, 2025
MLIR Part 3 - Affine Dialect and OpenMP
August 28, 2025
The Stochastic Code Monkey Theorem
August 12, 2025
It Would Be Good if the AI Bubble Burst
July 18, 2025
MLIR Part 2 - Memory in MLIR
June 27, 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
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
AI Slopocalypse 2027
May 2, 2025
Attention Wasn't All We Needed
April 29, 2025
MLIR Part 1 - Introduction to MLIR
April 27, 2025
MLIR Part 0 - Installing MLIR
March 7, 2025
SGLang on AMD MI300X
March 4, 2025
The FlashAttention CUDA Kernel Line by Line
February 11, 2025
Training with GRPOTrainer
February 7, 2025
Process Reward Models
December 1, 2024
Introduction to Fine-tuning Large Language Models
November 25, 2024
Setting up a Nvidia GH200 for Development
November 20, 2024
Hymba : Mamba × Transformers
November 20, 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
Fine-tuning with ORPO and Unsloth
September 3, 2024
A Rapid Tutorial on Unsloth
July 28, 2024
Word Calculators are Useful, but they're not Smart
February 1, 2024
Going Deep on DeepSpeed
June 5, 2023
GPT-2 in One Function
April 29, 2023
View all tags