Reza Sepanta @realsepanta.bsky.social ₿usinessman 💎
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
Rod,Tia & Lola's dad @roddsdad.bsky.social Father to Rod. Tia. & Lola
Believer of Truth, Vets & Justice.
I don't accept the results of 2024!
MI ,USA LEGIT DM's Only! #Blues #BlueStormFriends #BreakfastCrew #BlueCrew #DOOR #GTS #ProudBlue #StrongerTogether
Dirk-Jan Swagerman @djswagerman.buffadoo.nl Chief on demand innovation & technology. (Medical) Systems & Software. Architecture, Lean, (model based) legacy code transformation.
#Systems #Software #Medtech
#Architecture #SystemsThinking
#FormalMethods #TLA+ #Alloy
#IEC62304 #ISO14971 #ISO13485
Silvestro Ranucci @sranu.bsky.social I live at the intersection.
Writer of performant and type-safe bugs in Rust.
Certified Nix complainer.
Penguin lifeguard.
Opinions are my own.
@younio.bsky.social @younio.bsky.social 
@santhoshvenkat.bsky.social @santhoshvenkat.bsky.social 
Akshay Shah @akshayshah.org All-purpose starter-upper @ Antithesis
Infra eng, ex-{Uber, MSFT, founder}
https://akshayshah.org
Ashwin Jayaprakash @ashwinjay.bsky.social https://ashwinjay.github.io
@pfeodrippe.bsky.social @pfeodrippe.bsky.social 
International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
Martin @vonloh.bsky.social 
Amaury @xargs.fr - P Bruno @poorlydefinedbr.bsky.social https://poorlydefinedbehaviour.github.io/
https://github.com/poorlydefinedbehaviour/
Interested in: Lean4, TLA+, Rust, Go distributed systems and a few other things
@poojanilangekar.bsky.social @poojanilangekar.bsky.social 
Hope @notesonanote.bsky.social Respect. Integrity. Honesty. Accountability. The truth always comes to light. 🦋
@neuralcyst.bsky.social @neuralcyst.bsky.social 
Vinod Mathew @vinodmathew.bsky.social India
Just here to share interesting things and keep up with what’s happening around the world.
AxonOps™ @axonops.com Apache Cassandra® & Kafka® Unified Monitoring and Operations. Empower your Cassandra and Kafka teams with high resolution insights, powerful operations and tooling.
https://axonops.com
#apachecassandra #apachekafka #data #kafka #cassandra #devops #db
Sharukh @sparkidev.codes 👷 Software / 🛐 ex- Network Engineer
Now 😬 Messing around with
Distributed Systems 🕰️
https://sparkidev.codes/
Abel Dantas @abeldantas.bsky.social Researcher, Distributed Systems
Lucio Franco @luciofran.co Tokio, Tonic, Hyper, Tracing, etc. Distributed Systems, Testing, and Reliability. he/him
Oussama @oussamasaoudi.com 
Utkarsh Srivastava @tangledbytes.bsky.social 
@pullotitus.bsky.social @pullotitus.bsky.social 
Boguslaw Mista @bmista.bsky.social 
Tuan Trinh @tuantx.bsky.social Data, Machine Learning and Entreprenuership- J For Sale Clown Shoes Never Worn @jerrykuch.bsky.social
søren @sxren.social they/them
🏳️⚧️ rights are human rights.
software and data 💻❤️🔥.
🐍, 🦀, etc.
lives in 🇯🇵.
Ron Pressler @pressron.bsky.social 
Rishi Baldawa @rishi.baldawa.com Principal Engineer @ Square | 📸 🎸 🧳 📚🏃➡️ | https://rishi.baldawa.com/
Achim D. Brucker @adbrucker.bsky.social Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org- S @shyam334.bsky.social @shyam334.bsky.social
- G @gloomybob.bsky.social @gloomybob.bsky.social
@svgpl.bsky.social @svgpl.bsky.social 
Matt Rasmussen @mattrasmus.bsky.social SVP Software Engineering, insitro
Workflow engines, data engineering, genomics, phylogenetics, note taking.
Web: http://mattrasmus.com/
ARGweaver: https://github.com/mdrasmus/argweaver
redun: https://github.com/insitro/redun
KeepNote: http://keepnote.org
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow. 
jeqo @jeqo.dev father, peruvian, software engineer at aiven.io
I like clouds, trees, and football (the real ones)
@jeqo89.bsky.social for pics
@trinigo.bsky.social @trinigo.bsky.social 
Chew @flowerinthenight.com Programmer | Founder https://nightblue.io/ | CTO @ https://alphaus.cloud/ (Tokyo) | Embedded, drivers, low-level systems before, now into cloud, distributed systems, databases.
(https://flowerinthenight.com/)
Murat (Distributolog) @muratdemirbas.bsky.social Distributed systems,Database systems, Lightweight formal methods, TLA+
https://muratbuffalo.blogspot.com/
Satchit Haridas @satchit.xyz 
Lorin Hochstein @norootcause.surfingcomplexity.com Student of complex systems failures, resilience engineering, cognitive systems engineering. Will talk your ear off about @resilienceinsoftware.org
@egregius313.bsky.social @egregius313.bsky.social 
Michael Hansen @reconstructthis.bsky.social Professionally: Signal Processing, Image Reconstruction, AI, Microsoft Research. Personally: Music, Guitars, #Running. Opinions: My own.
Strava: https://strava.app.link/haIGeGLavQb
Paweł Lenartowicz @freestylerscientist.pl Aspiring statistician and meta-researcher, sailor and activists.
#PhilosophyofScience
#OpenScience
#Uncertanity
@ackgoonthen.bsky.social @ackgoonthen.bsky.social 
Shisoft @shisoft.net MSc. ECE, CS Ph.D. candidate, Computer Systems R&D, trading stocks for research funding • Microsoft Alumni • 🏳️⚧️ • She/her • UMass Amherst.
Jannikh @jannikf.bsky.social 
Federico Ponzi @fponzi.me MSc in Computer Science. SDE @microsoft Distributed systems and operating systems.
My tweets, my opinions
Skid Solo 🏁🏎️🍾 @skidsolo.bsky.social 🇪🇺 🇺🇦 🇬🇪 #NAFO #NAFOfellas #NAFOexpansion 🌻 #SlavaUkraini 🚜 #united24
“Racing is life. Anything before or after is just waiting.” SMcQ
@void-set.bsky.social @void-set.bsky.social 
@bugzmanov.bsky.social @bugzmanov.bsky.social - R @rjun.bsky.social @rjun.bsky.social
Arun Lakshman @arunlakshman.bsky.social Engineer @aws
@jm-alvarez.bsky.social @jm-alvarez.bsky.social 
Mouaad Aallam @aallam.com Software Engineer. Building stuff. Sometimes it even works.- S Sudarshan @sudarshan.bsky.social sudarshan.org
@5o3.dev @5o3.dev IT nerd by day, occasional coder by necessity, movie lover by passion, and father of three tiny chaos agents who think "Ctrl+Z" should work in real life.
@hrvojem.bsky.social @hrvojem.bsky.social Linux and databases geek
Otávio Carvalho @otavioccc.bsky.social Yet another software bricklayer.
@meta--x.bsky.social @meta--x.bsky.social 
@jrchatruc.bsky.social @jrchatruc.bsky.social 
@bono2.bsky.social @bono2.bsky.social 
Edward Ribeiro @eribeiro.bsky.social Software Engineer. Former Amazon and DataStax, among others. Lecturer. Obsessed with Databases, Distributed systems and OSS.
@maleld.bsky.social @maleld.bsky.social 
Verberon @verberon.bsky.social On the intersection of software engineering, security (as in "security-by-design"), type systems and programming languages.
npapoylias @npapoylias.bsky.social Programming Languages & Tools, AI, Simulation, Reflection, Debugging.
Director of Research 🚀 Bringing the Future Back !
George Elfayoumi @georgemaged.bsky.social Interested in Backend Engineering, Databases and Distributed Systems | Masters Student @ TUM
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
David Millier @blats.bsky.social Founder | Architect | Consultant. Building resilient teams and systems. Learn, teach, and advise. #TechLeader #Cloud #DevOps
mck 🦎🐬 @mck.semb.wever.org it's msw upside-down
distributed computing, databases, jdk, linux
🇳🇴🇦🇺 https://about.me/wever
Christian Cassar @c3b2a1.bsky.social 
Adam Compton @comptona.bsky.social Dad, husband, and principal engineer @ https://wayve.ai. Anyone can break one computer, but if you want to break thousands of computers at the same time you need a professional. Also enjoys reading everything that's not nailed down and pixel art.
Eric Torreborre @etorreborre.blog Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
github.com/etorreborre
etorreborre.blog
Michael Gasch @embano1.mgasch.com Product Manager AWS. Golang. Distributed Systems.
Views and opinions are my own.
Galo Navarro @varoa.net Builds infrastructure and automation for AI workloads, Principal Eng @Midokura.
Long form at http://varoa.net- A @alirezameskin.bsky.social @alirezameskin.bsky.social
Andras Gerlits @omniledger.io I have built the first async, consistent data-platform
https://omniledger.io/
I build distributed systems @Citi
I also write about distributed systems
https://medium.com/@andrasgerlits
Carlos Baquero @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/
Eduardo Pinto @efgpinto.github.io Senior Engineer @ akka.io team. Eventually consistent.
Arpit Saxena @arpit-saxena.com Software Engineer: interested in systems engineering, databases, distributed systems and the whole shebang.
Write sometimes at https://arpit-saxena.com/blog, planning to be more regular
Farbod @fshahinfar1.bsky.social PhD student, interested in computer systems
https://fshahinfar1.github.io
Miguel Ángel Pastor Olivar @migue.bsky.social Proud dad and husband