@taliaringer.bsky.social
@danluu.com
Active on Mastodon: https://mastodon.social/@danluu. Also trying https://threads.net/@danluu.danluu
@predr.ag
Author of cargo-semver-checks & Trustfall // https://github.com/sponsors/obi1kenobi // https://predr.ag/blog // ex Principal Eng @Kensho // MIT alum // https://hachyderm.io/@predrag // not from around here 🇲🇰 // he-him
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@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
@fasterthanli.me
hi, I'm amos! 🍃 they/them 🫐 open-source goblin and content creator(TM) at @bearcove.eu ✨ be kind, be curious articles: https://fasterthanli.me videos: https://youtube.com/@fasterthanlime podcast: https://sdr-podcast.com work: https://bearcove.eu
@largedatabank.com
Sr Director of engineering @ Cockroach Labs. Brooklyn Check me out: https://largedatabank.com The old site: https://twitter.com/largedatabank
@muratdemirbas.bsky.social
Distributed systems,Database systems, Lightweight formal methods, TLA+ https://muratbuffalo.blogspot.com/
@avi.im
breaking databases @tur.so W1 '21 @recursecenter.bsky.social excited about databases, storage engines and message queues
@lookitup.baby
Kubernetes SIG Security co-chair, container escape artist, aurora chaser, goose in the mainframe. Minneapolis. They/them. Stay punk 🏴 MSP feed info here: https://bsky.app/profile/lookitup.baby/post/3lapkhevr222w