Show newer

comments in programming languages 

in coq, comments are

(* written like this *)

and it looks cool, but is kind of hard to write

I know a lot of the new people are from Comics Twitter so if you want suggestions on instances for you lot:

mastodon.art: a community of artists, illustrators seem to be most prominent

wandering.shop: a community of scifi/fantasy fans, a lot of writers and book lovers
writing.exchange: community of writers

octodon.social: general purpose instance with a good community

instance.business: instance by and for people of color, and also parody brands

cybre.space: a lot of creative queer furries

#welcome

Show thread

If it helps to understand, you, reading this, are seeing a post from me. I'm on the server "cybre.space" (which we call an "instance"). it's run and owned by an entirely different person from mastodon.social. We have our own community norms, moderators, and communities. But our posts still travel to your server and so you can read our posts too. We call this process "federation." Likewise, I can see your posts even if you're on a different server from me. This way, we can all have mods we like and trust

Show thread

hey, so I posted a thing on twitter about joining and using mastodon! I hope it helps someone~

Show older
Computer Fairies

Computer Fairies is a Mastodon instance that aims to be as queer, friendly and furry as possible. We welcome all kinds of computer fairies!