Following

arturo182

@arturo182@mastodon.social

MSavoritias

@msavoritias@tilde.zone

tomasino

@tomasino@tilde.zone

Stan

@stanfromireland@mastodon.social

Gina Häußge

@foosel@chaos.social

Haskell Interlude

@HaskellInterlude@functional.cafe

José A. Alonso

@Jose_A_Alonso@mathstodon.xyz

Anders Puck Nielsen

@anderspuck@krigskunst.social

Lean

@leanprover@functional.cafe

Oliwier Jaszczyszyn

@oaj@mastodon.com.pl

Mark Hepburn

@markhepburn@fosstodon.org