Following

Alex Nedelcu

@alexelcu@mastodon.social

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

@david_chisnall@infosec.exchange

Marc B. Reynolds

@mbr@mastodon.gamedev.place

Fabian Giesen

@rygorous@mastodon.gamedev.place

geofflangdale

@geofflangdale@mastodon.social

The Rocq Prover

@RocqProver@mastodon.acm.org

Scala.js

@scala_js@fosstodon.org

FCLC

@fclc@mast.hpc.social

davesmith00000

@davesmith00000@mastodon.gamedev.place