lex friedman just did a podcast on (pretty much) my undergrad thesis so I forgive him for being a bit dumb on other things and I encourage you all to waste nearly 4 hours on this so we can be better friends:
allen
allen
npub1sfhf...ymqt
hopescrolling web🍰
y’all keen on homotopy type theory or we sticking with ZFC for now?
you can actually just ignore the current thing
Gödel’s third incompleteness theorem is that any sufficiently complex pseudo-intellectual thoughtwank is incomplete without nonsensical reference to the first two theorems.