Stephen Diehl
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
fp
Dependent Types in 200 Lines of Python
November 18, 2024
Cooking Logics with Soufflé
February 1, 2024
Exotic Programming Ideas, Part 2 (Term Rewriting)
March 8, 2021
Exotic Programming Ideas, Part 4 (Datalog)
March 4, 2021
Exotic Programming Ideas, Part 3 (Effect Systems)
March 3, 2021
Exotic Programming Ideas, Part 1 (Module Systems)
March 1, 2021
View all tags