Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Foundations proofs are the worst. I can still remember proving something like "For every left-paren, there is a matching right-paren." Ugh.


Consider applying for YC's Fall 2026 batch! Applications are open till July 27.

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

Search: