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
math
Fast Tensor Canonicalization in Rust
June 29, 2025
The Future of Maths May Be Deeply Weird
June 11, 2025
Adventures in Symbolic Algebra with Model Context Protocol
May 18, 2025
The FlashAttention CUDA Kernel Line by Line
February 11, 2025
View all tags