Following

AndrasKovacs

@AndrasKovacs@mathstodon.xyz

Simon Willison

@simon@fedi.simonwillison.net

BBC News

@BBCNews@flipboard.com

Prof. Sam Lawler

@sundogplanets@mastodon.social

Sam Westrick

@shwestrick@discuss.systems

Stefan Marr

@smarr@mastodon.acm.org

Lean

@leanprover@functional.cafe