Stephen Diehl
Stephen Diehl
Index
Blog
Python
Mathematics
Machine Learning
Humor
Logic Programming
Public Policy
Finance
Functional Programming
Compilers
Formal Methods
Contact Me
PGP Key
Github
Bluesky
LinkedIn
Substack
RSS
Stephen Diehl
Index
Blog
Python
Mathematics
Machine Learning
Humor
Logic Programming
Public Policy
Finance
Functional Programming
Compilers
Formal Methods
Contact Me
PGP Key
Github
Bluesky
LinkedIn
Substack
RSS
Posts tagged
ai
The Stochastic Code Monkey Theorem
August 12, 2025
It Would Be Good if the AI Bubble Burst
July 18, 2025
Fine-tuning With Tool Calling
June 23, 2025
Program Synthesis: The λ in the Machine
June 22, 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 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
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