Hacker Newsnew | past | comments | ask | show | jobs | submit | 14113's favoriteslogin
1.
Metamath Zero, a bootstrapping theorem prover (arxiv.org)
125 points by giomasce on Oct 25, 2019 | 36 comments
2.
Uses This: Joe Armstrong (usesthis.com)
194 points by yakshaving_jgt on May 6, 2019 | 54 comments
3.
Dad and the Egg Controller (pentadact.com)
253 points by evan_ on Dec 18, 2018 | 49 comments

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

Search: