The Dirac equation in General Relativity and the 3+1 formalism | Hacker News Reader