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
python
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
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
Training with GRPOTrainer
February 7, 2025
Process Reward Models
December 1, 2024
Introduction to Fine-tuning Large Language Models
November 25, 2024
Setting up PyTorch for OCaml
November 17, 2024
Tiny GraphRAG (Part 2)
November 12, 2024
Tiny GraphRAG (Part 1)
November 4, 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
Volatility Surface
March 1, 2024
Portfolio Rebalancing
February 5, 2024
Using SMT Solvers to Manage JIRA Tickets
February 1, 2024
Portfolio Theory with CVXOPT
February 1, 2024
GPT-2 in One Function
April 29, 2023
Simulating Qubits with Python (Classically)
April 28, 2022
Using Google OR-Tools to do Answer Set Programming
February 1, 2018
The Y-Combinator in Python
August 10, 2017
Space-time Algebra in Python
April 21, 2013
The "Warp Drive" Equations
February 1, 2013
View all tags