Following
@arnaudbos.bsky.socialHillel @hillelwayne.com Developer educator at @antithesis.com. Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com Newsletter: https://buttondown.email/hillelwayne/
Alex Miller @alexmiller.bsky.social Clojure, Strange Loop
Murat (Distributolog) @muratdemirbas.bsky.social Distributed systems,Database systems, Lightweight formal methods, TLA+ https://muratbuffalo.blogspot.com/
@lmstr.bsky.social @lmstr.bsky.social lemmster.de @lemmster, @lmstr, or @lemmy elsewhere
Heidi Howard @heidihoward.bsky.social
Martin Kleppmann @martin.kleppmann.com Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him