Hacker News new | ask | show | jobs
TLA+ Mental Models (muratbuffalo.blogspot.com)
21 points by r4um 82 days ago