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
compilers
Typechecker Zoo
August 15, 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
E-Graphs in Rust
February 1, 2024
Monads to Machine Code
January 4, 2016
Using libjit in Anger
January 1, 2013
View all tags