Following

Rachit

@notypes@discuss.systems

Adrian Sampson

@adrian@discuss.systems

Aditya Ranjan Jha

@arj@discuss.systems

Lean

@leanprover@functional.cafe

The Rocq Prover

@RocqProver@mastodon.acm.org

LWN.net

@lwn@fedi.lwn.net

Alice Averlong🏳️‍⚧️

@foone@digipres.club

Phoronix

@phoronix@masto.ai

Matthew Keys

@matthewkeys@mastodon.social