Follow

I'm excited for Modular's launch tomorrow 9AM PT / 12PM ET. It'll provide some details on what I've been working on as part of an amazing team: modular.com

Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.