Gödel's solution to Einstein's field equations (2021) | Hacker News Reader