Hacker News new | ask | show | jobs
Linux Foundation Announces Launch of TLA+ Foundation (linuxfoundation.org)
6 points by sillypuddy 1147 days ago