Open Source

Since spring, and even before that, I have participated in a great collaborative effort to write a book on homotopy type theory. It is finally finished and ready for pubĀ­lic consumption. You can get the book freely at http://homotopytypetheory....

Generally a hacker is a technologist with a love for computing, and a hack is a clever technical solution arrived at through non-obvious means (alternatively, it can mean a downright clunky and ugly solution, one, however, that gets the job at...