Following

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

Jann Horn

@jann@infosec.exchange

Allen Wirfs-Brock

@allenwb@mastodon.social