Following

Jeremy Gibbons

@jer_gib@functional.cafe

FOSSi Foundation

@fossifoundation@mastodon.social

FUN OCaml

@funocaml@watch.ocaml.org

SIGPLAN

@sigplan@discuss.systems

RISC-V International

@riscv@mastodon.social

Lean

@leanprover@functional.cafe

CHERI Alliance

@cheri_alliance@infosec.exchange

Turris project

@turris@fosstodon.org

Tarides

@tarides@mastodon.social

LWN.net

@lwn@fedi.lwn.net

Daniel J. Bernstein

@djb@mastodon.cr.yp.to

🦜 okmij.org

@okmij.org.ftp@rss-parrot.net