Following

Sebastian Ullrich

@kha@functional.cafe

daniel gratzer

@danielgratzer@mathstodon.xyz

Carlo Angiuli

@carloangiuli@mathstodon.xyz

The Rocq Prover

@RocqProver@mastodon.acm.org

Electronic Frontier Foundation

@eff@mastodon.social

Talia Ringer

@TaliaRinger@mathstodon.xyz

Ars Technica

@arstechnica@mastodon.social

Emily Riehl

@emilyriehl@mathstodon.xyz

Mastodon

@Mastodon@mastodon.social

Bartosz Milewski

@BartoszMilewski@mathstodon.xyz