Hacker News new | past | comments | ask | show | jobs | submit | plesn's favorites login
1.
There’s no such thing as a tree phylogenetically (2021) (eukaryotewritesblog.com)
304 points by dynm on March 9, 2023 | 194 comments
2.
Pliant language and FullPliant operating system (fullpliant.org)
78 points by mr_golyadkin on Sept 21, 2022 | 20 comments
3.
Leslie Lamport: Video course on TLA+ (lamport.azurewebsites.net)
328 points by kelvich on March 20, 2017 | 74 comments
4.
P: A programming language for asynchrony, fault-tolerance and uncertainty (microsoft.com)
266 points by _kcxz on May 19, 2017 | 40 comments

Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: