Hello everyone. I probably will not post significantly here for now, but I am parking the profile in case it becomes more widely used.

@liamoc this is a hobby project I have running off of a VPS, I wouldn't worry about popularity

if it gets popular I have a lot of work to do.

Sign in to participate in the conversation

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