Following

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

mattpd

@mattpd@mastodon.social

Assn for Computing Machinery

@ACM@mastodon.acm.org