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

This is THE way to learn math as a programmer:

https://softwarefoundations.cis.upenn.edu/

With the added bonus that you learn how to prove software correct.



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

Search: