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
mathematics
Fast Tensor Canonicalization in Rust
June 29, 2025
The Future of Maths May Be Deeply Weird
June 11, 2025
Dependent Types in 200 Lines of Python
November 18, 2024
New Rank 29 Elliptic Curve
November 14, 2024
Pi from String Amplitudes
September 1, 2024
Diaconescu's Theorem
August 5, 2024
Enough Numbers to Build a Universe
February 1, 2024
Proving Trivial Theorems in Lean
February 1, 2024
Portfolio Theory with CVXOPT
February 1, 2024
Integral Zoo
May 2, 2018
Derivative Zoo
May 1, 2018
From Newton to Einstein and Back
February 1, 2016
Scattering Amplitudes in Quantum Field Theory
April 25, 2014
Space-time Algebra in Python
April 21, 2013
View all tags