Following

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

Jussi Pakkanen

@jpakkane@mastodon.social

Studio Gifli

@ghibli@beep.town

Lean

@leanprover@functional.cafe

Jann Horn

@jann@infosec.exchange