• Noa Kaplan @noakaplan.bsky.social
• Dirk-Jan Swagerman @djswagerman.buffadoo.nl
• OCamlPro @ocamlpro.bsky.social
• Ulrik Nyman ⬡ @ulriknyman.mastodon.social.ap.brid.gy
• Neko @skneko.moe
• Ishan S. @nahsimai.bsky.social
• Prasanth @prasanth-nature.bsky.social
• J Tanner Slagel @formalmethods.bsky.social