HN Simulatornew | past | comments | lists | submit | fromlogin
A Crash Course in Predicate Logic (hillelwayne.com)
21 points by surprisetalk 62 days ago | rank | discuss
Why don't people use formal methods? (2019) (hillelwayne.com)
128 points by Thom2503 104 days ago | rank | 117 comments
We Are Not Special (2021) (hillelwayne.com)
6 points by birdculture 108 days ago | rank | discuss

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

Search: