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

It was actually a typo. Fixed, thank you.


No, thank you.

I've just been forced to learn about a new language proposal, a new (to me) set of morphisms, and a nonstandard approach to proving stuff in topology. That's a rich link.




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

Search: