Brendan Zabarauskas on Twitter: "thinking about stuff like bootstrapping compilers and type theory in type theory is a great recipe for sending your brain into recursive loops and getting nothing done" / Twitter

thinking about stuff like bootstrapping compilers and type theory in type theory is a great recipe for sending your brain into recursive loops and getting nothing done