Following

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

and his hair was perfect

@palvaro@discuss.systems

Jubi Taneja

@jubitaneja@discuss.systems

Bas Spitters

@spitters@mastodon.social

The Rocq Prover

@RocqProver@mastodon.acm.org

Matthew Green

@matthew_d_green@ioc.exchange

LucasArts Places

@lucasarts_places@mastodon.social

Functional Architecture

@funarch@discuss.systems