Yeah I’d be figuring out homotopy type theory and figuring out personal curiosities like pre-agriculture life or life in early cities, maybe also writing games. That’s probably 15% of my list of things I’d do if it wasn’t for all those pesky suffering lives or that annoying crap about the end of the world.
Yeah I’d be figuring out homotopy type theory and figuring out personal curiosities like pre-agriculture life or life in early cities, maybe also writing games. That’s probably 15% of my list of things I’d do if it wasn’t for all those pesky suffering lives or that annoying crap about the end of the world.