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

Principia is extremely impressive, they document all their math here: https://github.com/mockingbirdnest/Principia/tree/master/doc...

One interesting detail is that the source code makes extensive use of non-ASCII identifiers, for mathematical symbols and for the names of mathematicians. One of the two primary contributors is also an active contributor to Unicode



Thanks, I was wondering how feasible this was / how one would do that in C++ !




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

Search: