Skip to Content
Blog
Projects
Talks
Consulting
About
Books
Newsletter
The
TLA+ Conference
will be taking place in St. Louis on Sept 22, and
I'll be teaching a workshop
on Sept 21. Sign up
here
!
Hillel Wayne
Tag:
Terms
Posted on
2021, Jun 06
Clever vs Insightful Code
Posted on
2020, May 18
Constructive vs Predicative Data