Skip to Content
Blog
Projects
Talks
Consulting
About
Newsletter
Patreon
Learn TLA+
New:
My new book,
Logic for Programmers
, is now in beta! Get it for 20% off
here
.
Hillel Wayne
Tag:
Terms
Posted on
2024, May 01
Software Friction
Posted on
2024, Jan 04
The World and the Machine
Posted on
2023, Jan 23
Sources of Complexity: Constraints
Posted on
2022, Sep 06
Safety and Liveness Properties
Posted on
2022, Aug 29
Software Mimicry
Posted on
2021, Jun 06
Clever vs Insightful Code
Posted on
2020, May 18
Constructive vs Predicative Data