Stephen Diehl

Index Blog Humor Book Reviews Python Rust Mathematics Machine Learning Functional Programming Compilers Formal Methods Markets Public Policy

Contact PGP Key

Github Bluesky LinkedIn Substack RSS

Stephen Diehl

Index Blog Humor Book Reviews Python Rust Mathematics Machine Learning Functional Programming Compilers Formal Methods Markets Public Policy

Contact PGP Key

Github Bluesky LinkedIn Substack RSS

Posts tagged
logic

Dependent Types in 200 Lines of Python

November 18, 2024

Diaconescu's Theorem

August 5, 2024

© 2009–2026 Stephen Diehl · License