Skip to Content
Blog
Projects
Talks
Consulting
About
Newsletter
Patreon
Learn TLA+
New:
My new book,
Logic for Programmers
, is now in
early access
!
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