Skip to Content
Blog
Projects
Talks
Consulting
About
Tipjar
Newsletter
New Workshop
:
One-Day TLA+ Training
. Choice of three dates (
March
, May, June).
Hillel Wayne
Tag:
Terms
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