mathstodon.xyz was down overnight because redis decided it couldn't write to disk. Restarting the redis service seems to have fixed it.
We have 21GB free, so it wasn't a lack of space. Who knows! 🤷‍♂️

Grace Hopper, protect us from bugs

A Mastodon instance for maths people. The kind of people who make $\pi z^2 \times a$ jokes.

Use $ and $ for inline LaTeX, and $ and $ for display mode.