Following

⊨

@entailment@woof.tech

Taneb

@Taneb@hacksrus.xyz

Chris Done

@chrisdone@mastodon.social

iogrt

@iogrt@functional.cafe

ZuriHac

@zurihac@fosstodon.org

Terence Tao

@tao@mathstodon.xyz

HoldMyType

@xameer@mathstodon.xyz

MangoIV

@mangoiv@functional.cafe

Brent Yorgey

@byorgey@mathstodon.xyz

Jeremy Gibbons

@jer_gib@functional.cafe

Cat Hicks

@grimalkina@mastodon.social

mirek kratochvil

@exa@mastodon.online