Hacker News new | ask | show | jobs
by bambataa 2000 days ago
I enjoyed your introduction to TLA+, so looking forward to this. Thank you.