Following

Anthropic Status

@anthroping@mastodon.social

chris martens

@chrisamaphone@hci.social

Lawrence Paulson

@LawrPaulson@mathstodon.xyz

Ron Garcia

@rg9119@mathstodon.xyz

David Chisnall (*Now with 50% more sarcasm!*)

@david_chisnall@infosec.exchange

Lean

@leanprover@functional.cafe

Bridgy Fed for Bluesky

@bsky.brid.gy@bsky.brid.gy

wittgenstein over here

@palvaro@discuss.systems

Jubi Taneja

@jubitaneja@discuss.systems

Bas Spitters

@spitters@mastodon.social

The Rocq Prover

@RocqProver@mastodon.acm.org