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
@systemf Can I help, somehow? I really like this mastodon instance and want to see it stick around for the long term.
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
putting this off by a week to November 19th, because I am literally just too busy -hazel