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

This is certainly more true. That explosion of logics I mentioned was a big movement of many authors to expand our understanding of types (among other things).


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: