Archived tweet #12026 from the @leastfixedpoint Twitter Archive

RT @2over124: Hi, an undergrad at NEU reached out to me about finding co-ops in the type theory/compilers space. I'm always impressed by th…