Skip to Content
Blog
Projects
Talks
Consulting
About
Newsletter
Learn TLA+
New:
Logic for Programmers
is now content-complete and in the hands of the copy editor! Get the current beta for 20% off
here
.
Hillel Wayne
Tag:
Teaching
Posted on
2023, Nov 07
A better explanation of the Liskov Substitution Principle
Posted on
2020, Jul 24
A Better Cheatsheet
Posted on
2020, Jul 03
Weak and Strong Fairness
Posted on
2018, Jan 30
Teaching Leaky Abstractions
Posted on
2017, Aug 29
Instructive and Persuasive Examples