It’s still under construction mostly, and currently goes toy amount of distances, but is nice
Pune is much better thankfully
no time for facts, vibes only. phd candidate in systems at uc santa cruz.
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.