Following

Rob Ricci

@ricci@discuss.systems

War and Peas 🧿

@warandpeas@mastodon.social

AndrasKovacs

@AndrasKovacs@mathstodon.xyz

Non-consing robot

@phenlix@mastodon.online

Pozorvlak

@pozorvlak@mathstodon.xyz

Saar Amar

@amarsaar@infosec.exchange

Aleksandra Fedorova :fedora:

@bookwar@floss.social

Jussi Pakkanen

@jpakkane@mastodon.social

Studio Gifli

@ghibli@beep.town

Lean

@leanprover@functional.cafe