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

> Coding a real project is the equivalent to math's proofs, I think.

Surprisingly, this turns out to be true: https://en.m.wikipedia.org/wiki/Curry%E2%80%93Howard_corresp...



Now, how can I use this fact, to finally become a decent math user? :D




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

Search: