Skip to Content
Blog
Consulting
Talks
About
Open Invite
Newsletter
Books
Upcoming Workshops
Three day TLA+ workshop, May 24-26
New Book:
Computer Things, 2019-2020
Hillel Wayne
Tag:
Teaching
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