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

> Mathematics and formal proofs are very unambiguous, yet they are concise.

http://www.newscientist.com/article/dn25068-wikipediasize-ma...



Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10

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

Search: