btw if you have a hard time with things scrolling by too fast sometimes, I recommend Slow Mode, which you can find in preferences.

I recommend it anyway; I shall control when the content shall refresh.

Sign in to participate in the conversation

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