we're going down for an indefinite amount of time (hopefully short!) starting at 1PM EST this Saturday, November 12th

the version of Mastodon on this server is 1500 commits behind upstream so I should probably merge it soon


putting this off by a week to November 19th, because I am literally just too busy -hazel

@systemf Can I help, somehow? I really like this mastodon instance and want to see it stick around for the long term.

Sign in to participate in the conversation

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