Following

Jeff Atwood

@codinghorror@infosec.exchange

Jencel Panic

@abuseofnotation@mathstodon.xyz

Artin Ghasivand

@Ei30metry@mastodon.social

Fredrik Nordvall Forsberg

@fnf@mathstodon.xyz

Fabrizio Montesi ⬣ A➔B

@fmontesi@mastodon.social

Mignon Fogarty

@grammargirl@zirk.us

Jean Abou Samra (new account)

@jeanas@mathstodon.xyz

Lean

@leanprover@functional.cafe

Michael Engel

@me_@sueden.social

Volker Stolz

@fm_volker@mastodon.social

Vadim Zaliva

@vzaliva@mastodon.acm.org