Hacker News new | ask | show | jobs
by amw-zero 91 days ago
TLA+ is around 30 years old.