A Candidate Geometrical Formalism for the Foundations of Mathematics and Physics | Hacker News Reader