Skip to Content
Blog
Talks
About
Logic for Programmers
Newsletter
New:
Logic for Programmers
is out in print!
Learn more and buy it 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