Founding Eng. @latchbio. Programming Languages, Tools, Theory, Types, Education, Math, and Games