Federico Ponzi
MSc in Computer Science. SDE @microsoft Distributed systems and operating systems.
My tweets, my opinions
@poorlydefinedbr.bsky.social
https://poorlydefinedbehaviour.github.io/ https://github.com/poorlydefinedbehaviour/
@icseconf.bsky.social
ICSE is the premier conference in software engineering Other social media accounts: X: https://x.com/icseconf (but you need to be logged in to X) Facebook: https://www.facebook.com/icseconf/ Main website: https://conf.researchr.org/home/icse-2025
@distribsystems.bsky.social
I tweet/retweet interesting stuff about #DistributedSystems and #compsci. Suggest links/papers/conversations via DM! Tag me for retweets. Run by @fponzi.me https://distsys.fponzi.me/
@matthewdgreen.bsky.social
I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
@researchireland.bsky.social
Ireland’s new competitive research and innovation funding agency
@marcua.net
Hummus, people, and data. Co-Founder & CTO of B12. Previously Locu, MIT CSAIL. He/him. https://marcua.net/ Queens is the future.
@tbray.org
Web geek and environmentalist with a camera at the bottom left corner of Canada. He/him. I’m mainly on Fedi, @cosocial.ca@timbray. On this account I mostly post #blueskyabove photos; for more, if you’re not on Fedi try @timbray.cosocial.ca.ap.brid.gy
@tacertain.bsky.social
Former VP/Distinguished Engineer in AWS. Currently doing a few consulting/advisor engagements. He/his https://blog.tacertain.com/ for musings https://blog.tacertain.com/services/ for consulting services
@noslom.bsky.social
@colmmacc.bsky.social
VP / Distinguished Engineer at Amazon Web Services. Also: Open Source and Apache, Cryptography, Irish Music, mediocre Photography.
@norootcause.surfingcomplexity.com
Student of complex systems failures, resilience engineering, cognitive systems engineering. Will talk your ear off about @resilienceinsoftware.org
@formalmtds.bsky.social
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
@swtch.com
@cst.cam.ac.uk
Cambridge University Computer Science & Technology Department (aka the Computer Lab). We built the 1st usable programmable computer, offered the UK's 1st Computer Science degree, created the 1st webcam - and continue to advance the field today.
@acm.org
The world's largest professional organization advancing #computing as a science and profession. Also on Mastodon | LinkedIn | Meta | YouTube | Instagram.
@mfleming.bsky.social
Nyrkiö co-founder. Systems engineer at Cloudflare. Former Linux kernel maintainer. Performance nerd.
@charity.wtf
cofounder/CTO @honeycombio, co-author of Observability Engineering and Database Reliability Engineering. I test in production and so do you. 🐝🏳️🌈🦄
@francofernando.com
Software Engineer for 15+ years • Algorithms, Distributed Systems, System Design, Computer Vision • Dad & husband • I write http://polymathicengineer.com
@chris.blue
Writer of books (http://themissingreadme.com), code (http://slatedb.io), checks (http://materializedview.capital), and newsletters (http://materializedview.io)
@malaggan.bsky.social
Sr. Software Development Engineer at @AWSCloud (CloudFront). Opinions are my own. ( malaggan.com / m_aggan@ on Twitter )
@felipe.rs
SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apache Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe / https://felipe.rs
@ufried.bsky.social
Uwe Friedrichsen. Longtime traveler in the world of IT. Dot Connector. Keeper of timeless wisdom. Translator between floors. System design. Resilience. Sustainability. Tries to make (not only) IT a (bit) better place.
@emptysqua.re
Senior Staff Research Engineer in the MongoDB Distributed Systems Research Group. Photographer, Gunks climber, Zen Buddhist. Blog: https://emptysqua.re
@daviddaly.bsky.social
Staff Engineer in Tech Go 'Cuse! I read books. he/him https://www.daviddaly.me/
@dyanacek.bsky.social
Works in AWS on CloudWatch working to make observability easier. Previously on API Gateway, Lambda, IoT Core, DynamoDB
@marcoslot.com
Mostly posts about PostgreSQL, Crunchy Data, and PostgreSQL extensions. Formerly Microsoft, Citus Data, AWS, TCD, VU
@richardb.bsky.social
Distributed systems, databases, and the foundational primitives for better (more robust, efficient, accessible) computing. Currently building the infrastructure platform for the Crunchy Bridge Postgres and Data Warehouse service.
@conorpower23.bsky.social
Berkeley CS PhD student working on hydro.run. Former senior SWE on MSFT Cosmos. Databases 🐘 and distributed systems 🕰️ with some theory 🧮 thrown in.
@rbn.bsky.social
Distributed Systems & databases person. Works at Microsoft on Orleans & Aspire
@pierrezemb.fr
🧑💻 Staff Engineer @clever-cloud.com 🤩 Distributed and Database Systems 🚀 Co-leader Finistdevs.org 💪 Squash player
@lalithsuresh.bsky.social
CEO @ feldera.com, the incremental compute engine for AI, ML and data teams. Formerly a systems researcher in distributed systems, databases, cloud, OS, PL, and networking. Sci-fi and gaming nerd. lalith.in/research
@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
@xmal.bsky.social
Professor at FEUP University of Porto and researcher at INESC TEC. Distributed Systems and Data. Co-creator of CRDTs. Founder eurotux.com. Still searching for unknown unknowns. (🦋 July 2023) Web: https://cbaquero.github.io/web/
@qianli.dev
Co-founder @dbos.dev • Stanford CS PhD Co-organizer @southbaysystems.xyz Working on 🐘 Database + Systems + AI Amateur bird watcher 🦉 Personal site: qianli.dev She/her.
@muratdemirbas.bsky.social
Distributed systems,Database systems, Lightweight formal methods, TLA+ https://muratbuffalo.blogspot.com/
@ifesdjeen.bsky.social
Distributed and Storage Systems. Apache Cassandra Committer and PMC member. Author of Database Internals. Mountain person. http://databass.dev/
@skamille.themanagerswrath.com
she/her. Author, manager, distributed systems engineer, etc etc, my latest book Platform Engineering is available now! https://amzn.to/4eUz5zB
@marcbrooker.bsky.social
Serverless, databases, and serverless databases at AWS. Views my own. Check out my blog: https://brooker.co.za/blog/
@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/
@jepsen.mastodon.jepsen.io.ap.brid.gy
Breaking distributed systems, one fault at a time. [bridged from https://mastodon.jepsen.io/@jepsen on the fediverse by https://fed.brid.gy/ ]