Andrey Satarin @asatarin
Staff Engineer @Google. Distributed systems, databases, reliability, correctness. Views my own. Retweet/like is not an endorsement. https://t.co/UI9PS85Pr5 linkedin.com/in/asatarin San Francisco Bay Area Joined July 2009-
Tweets3K
-
Followers2K
-
Following515
-
Likes11K
After an exciting ICSE, I'm now looking forward to attending #EuroSys24 next week! Jack Clark will present his work on "Validating Database System Isolation Level Implementations with Version Certificate Recovery." Work with @afd_icl and @wicko3. dl.acm.org/doi/10.1145/36…
How Antithesis finds bugs (and what Super Mario Bros. has to do with it): antithesis.com/blog/sdtalk/
The report of our @dagstuhl seminar on "Ensuring the Reliability and Robustness of Database Management Systems" is online! All attendees collaboratively wrote it during the seminar, so don't expect it to be polished, but hopefully it is still insightful! drops.dagstuhl.de/storage/04dags…
"Humans are not perfectly vigilant" by @doctorow TIL: - botshit - centaur in automation - reverse-centaur in automation pluralistic.net/2024/04/01/hum…
I will attend SRECon next week. If we know each other online, ping me to meet there in person. DMs open.
Spring semester reading group papers: charap.co/spring-2024-re…
Jepsen @jepsen_io report on RavenDB pushes through thick marketing to uncover issues in "ACID transactions" > RavenDB’s documentation is remarkably confusing > RavenDB transactions are not ACID in any meaningful sense jepsen.io/analyses/raven…
Aleksey Shipilëv @shipilev
27K Followers 596 Following In love-hate relationship with the machines. "Naval mine"-shaped developer. Personal account, expect some shit-posting. Currently: everything OpenJDK at AWS.Gunnar Morling 🌍 @gunnarmorling
51K Followers 302 Following Software engineer @Decodableco · Ex-lead of Debezium · Spec lead of Bean Validation 2.0 · Creator of JfrUnit, kcctl and MapStruct · Java Champion · 🚴Alex P @ifesdjeen
12K Followers 1K Following Distributed and Storage Systems. Apache Cassandra Committer and PMC member. Author of Database Internals @therealdatabass. Discord: https://t.co/8LwhZom9eQPhil Eaton @eatonphil
17K Followers 552 Following Working on @EDBPostgres. Mostly databases, distributed systems, books, and cooking. 💍🇰🇷Cindy Sridharan @copyconstruct
39K Followers 171 FollowingИван Углянс.. @dbg_nsk
3K Followers 549 Following JVM engineer. Work for Excelsior @ Huawei on JVMs, compilers and new programming languages. Opinions are my own. @jugnsk leader and @snowone_conf PC member.Martin Kleppmann @martinkl
50K Followers 993 Following Find me at @martin.kleppmann.com on Bluesky, @[email protected] on Mastodon. Author of @intensivedata, Associate Professor @Cambridge_CL. he/himMurat Demirbas (Distr.. @muratdemirbas
9K Followers 235 Following MongoDB Research: Distributed {Systems, Databases, Consensus}. Ex-AWS. Professor @SUNY Buffalo. Opinions are my own. Blog at https://t.co/IqZPhhtcCCJack Vanlightly @vanlightly
3K Followers 216 Following @confluentinc thinking about event streaming. Previously @Splunk, @VMware @[email protected] Credit: ESO/B. Tafreshi (https://t.co/DvCarvC9L3)Gwen (Chen) Shapira @gwenshap
26K Followers 9K Following Co-founder of @niledatabase. Making SaaS global, elastic and chill. Find me at: https://t.co/uyuHg400cpAnton Arhipov @antonarhipov
10K Followers 939 Following Developer Advocate @ JetBrains https://t.co/L4EaiCtn6M #java #kotlin #creativecoding #bass #synth & #kettlebells https://t.co/md7MY4CR0vViktor Karpov @vitkarpov
6K Followers 318 Following Senior-🍅 Software Engineer @messagebird, ex-@AmazonDevScot, ex-@yandex Амбассадор алгосиков 💻 https://t.co/iLZXskwfLYViacheslav Biriukov @brk0v
3K Followers 372 Following @[email protected] Linux System Engineer 💻 ex-Facebook, ex-Cloudflare. Distributed systems and DBMS Golang, Rust, Python.Henry Robinson @HenryR
7K Followers 482 Following Infrastructure @SlackHQ. Distributed systems engineer. I have of late - but wherefore I know not - lost all my data.Vladimir Ivanov @vvsevolodovich
3K Followers 595 Following Making cities a better place. Thinking for living🕺💃🤟 Alexande.. @emaxerrno
4K Followers 2K Following Founder & CEO of @RedpandaData - A Kafka® replacement for mission critical systems. 10x Faster; Safe; API compatible. 🇨🇴Thiago Ghisi @thiagoghisi
22K Followers 2K Following 🤹♂️Director of Engineering @Nubank. Ex-Apple. Ex-TW. 🇧🇷in🗽. 🎙Co-Host @EngAdvicePod. 📚🐛. 💡Sharing Tech Career Growth Tips & Eng. Leadership Insights👇Joran Dirk Greef @jorandirkgreef
4K Followers 1K Following Founder & CEO of @TigerBeetleDB — the distributed financial transactions database designed for mission critical safety and performance.Lev Walkin @levwalkin
4K Followers 689 Following We have a pact: I don’t speak for my employer. My employer doesn’t speak for me. Husband of a manager of 23andMe’s cloud infrastructure. ⛷🧗♂️🏍🛩👨💻🏸Ivan Prisyazhnyy @joh.. @JohnKoepi
758 Followers 358 Following software engineer, distributed systems, open source, linux, cooking, music, and sports. @discuss.systems, @fosstodon.orgKarim @karimwael_4
8 Followers 167 FollowingSnail Brain @SnailBrain123
50 Followers 104 Followingsqueak6004 @squeak6004
0 Followers 190 Followingthink(x) @thinkx
2K Followers 5K Following Postgres evangelist, open-source ambassador, recovering enterprise architectAbolfazl Karimi @KarimiAbolfazl
140 Followers 3K FollowingRishi Sampat @rissam1976
84 Followers 909 FollowingOnye Nkiti'n @The_GracedOne
2K Followers 1K Following Social Scientist | Alternative Therapist | Chronic unlearner | Serial Disruptor | Seeker of universal truth | Advocate of Nigeria RestructuredAndrew Duffy @andreweduffy
189 Followers 768 Following Software Engineer // ex-Palantir // Stanford MS CS '17Mario C Serban @MarioCSerban
23 Followers 47 Following Partner @ Optimum Entrepreneur | Helping High-Ticket Service Providers Scale Their BusinessChristinia Onitsuka @Christinia57907
94 Followers 5K FollowingAnselm @Anselm427
349 Followers 6K Following To be prepared against surprise is to be trained. To be prepared for surprise is to be educated. 🎎🎐 Facts do not fall in the face of discomfort 🌗pang cheng yong @pcy750333
46 Followers 2K Followingpaloma face @ervin_tw
327 Followers 4K FollowingMatt Simmons 🚀🛰.. @standaloneSA
7K Followers 3K Following SRE @VardaSpace - Formerly @ SpaceX/Starlink. Married to @wallmalker1 - I enjoy painting, electronics, and reusable space hardware. he/himRobinSmithberger @RobinSmith25465
35 Followers 2K FollowingAntithesis @AntithesisHQ
1K Followers 38 Following Antithesis autonomously searches your software for bugs, with 100% reproducibility, and provides unique debugging tools to easily diagnose and fix them.drifter @GrooveTone913
34 Followers 66 FollowingEphrim Stanley @EphrimStanley
41 Followers 360 Following I strive to build to simple, supportable and robust software systems.Vishal Kumar @iVKYadav
12 Followers 147 FollowingHenrique Mota Esteves @hmotaesteves
45 Followers 1K FollowingBadri Srinivasan @badritweets1
38 Followers 2K Following My initials are BS :-( More than a decade in the IT industry. Working in the Health and Human Services domainByteWalker @ByteWalking
1 Followers 570 FollowingDhruba Mukherjee @MukherjeeD47948
3 Followers 557 FollowingErcan.t @ercanteoman_t
1 Followers 693 FollowingBurak @buraksekili
5 Followers 75 Following Software Engineer @tyk_io - working on k8s related stuff, interested in distributed systemsAbhishek Kumar @abk042
135 Followers 1K FollowingYou snooze you lose @ysylose
95 Followers 693 FollowingNitish Sharma @Nitish65502345
10 Followers 465 Following Engineering at Azure Data (MySQL), love reading about databases, distributed systems, businesses and financial markets.Patrick Sotiriou @PatrickSotiriou
91 Followers 303 Following Founder & VP of Technology @ https://t.co/1K5In6ybZqAlessandro @Couper44
3 Followers 229 FollowingLois @zmzlois
1K Followers 1K Following Used to paint a lot and write decks for a living. Now code. | CEO of @htmx_org | killed @comcord_team | Schedule a call: https://t.co/kTuftY4NfUMaara @maheshvra
161 Followers 579 Following aka Mahesh Veerabathiran (he/him). Technologist powered by JVM (Java/Scala/Kotlin) langs and motivated by Rust. Staff S/W Engg. Mastodon: @[email protected]Tim McLean @McLean0
692 Followers 362 Following Cryptography, functional programming. Immutability enthusiast. @[email protected]758678 @handthatfelloff
84 Followers 110 FollowingShriram Balaji @shrirambalaji
1K Followers 5K Following engineering at @microsoft • tinkering with things on the web, typescript, rust • ⚭ @swetha__ramanСлепой Маэс.. @BlindVirtuoso
3 Followers 53 FollowingAleksey Shipilëv @shipilev
27K Followers 596 Following In love-hate relationship with the machines. "Naval mine"-shaped developer. Personal account, expect some shit-posting. Currently: everything OpenJDK at AWS.Andy Pavlo (@andy_pav.. @andy_pavlo
29K Followers 205 Following Associate Prof. of Databases @CarnegieMellon. Co-Founder @OtterTuneAIGunnar Morling 🌍 @gunnarmorling
51K Followers 302 Following Software engineer @Decodableco · Ex-lead of Debezium · Spec lead of Bean Validation 2.0 · Creator of JfrUnit, kcctl and MapStruct · Java Champion · 🚴Tagir Valeev @tagir_valeev
19K Followers 116 Following Work at @JetBrains. Develop @Java support in @IntelliJIDEA. Views are my own. Java Champion. Check my Java book: https://t.co/d7anvLUhrsJaana Dogan ヤナ �.. @rakyll
114K Followers 1K Following Distinguished Engineer at GitHub, working on Copilot. Previously Google, AWS, and several small companies. Personal opinions.Alex P @ifesdjeen
12K Followers 1K Following Distributed and Storage Systems. Apache Cassandra Committer and PMC member. Author of Database Internals @therealdatabass. Discord: https://t.co/8LwhZom9eQPhil Eaton @eatonphil
17K Followers 552 Following Working on @EDBPostgres. Mostly databases, distributed systems, books, and cooking. 💍🇰🇷Pekka Enberg @penberg
7K Followers 1K Following Founder & CTO @tursodatabase. Interested in low latency, systems, and AI. Former @ScyllaDB and Linux.Cindy Sridharan @copyconstruct
39K Followers 171 FollowingDominik Tornow @DominikTornow
7K Followers 479 Following Founder @resonatehqio | Distributed Async•Await | Thinking in Distributed Systems | The Weekend ReadMarc Brooker @MarcJBrooker
17K Followers 747 Following AI, databases, and serverless at AWS. Views are my own. On Mastodon: @[email protected]Иван Углянс.. @dbg_nsk
3K Followers 549 Following JVM engineer. Work for Excelsior @ Huawei on JVMs, compilers and new programming languages. Opinions are my own. @jugnsk leader and @snowone_conf PC member.Martin Kleppmann @martinkl
50K Followers 993 Following Find me at @martin.kleppmann.com on Bluesky, @[email protected] on Mastodon. Author of @intensivedata, Associate Professor @Cambridge_CL. he/himMurat Demirbas (Distr.. @muratdemirbas
9K Followers 235 Following MongoDB Research: Distributed {Systems, Databases, Consensus}. Ex-AWS. Professor @SUNY Buffalo. Opinions are my own. Blog at https://t.co/IqZPhhtcCCJack Vanlightly @vanlightly
3K Followers 216 Following @confluentinc thinking about event streaming. Previously @Splunk, @VMware @[email protected] Credit: ESO/B. Tafreshi (https://t.co/DvCarvC9L3)Henry Robinson @HenryR
7K Followers 482 Following Infrastructure @SlackHQ. Distributed systems engineer. I have of late - but wherefore I know not - lost all my data.Dan Luu @danluu
45K Followers 45 Following Active on https://t.co/WG71NrsDQk; also trying out https://t.co/DBk2OnBVL1. No longer read replies or notifications here now that tweetdeck is gated.Joran Dirk Greef @jorandirkgreef
4K Followers 1K Following Founder & CEO of @TigerBeetleDB — the distributed financial transactions database designed for mission critical safety and performance.Colm MacCárthaigh @colmmacc
33K Followers 2K Following VP / Distinguished Engineer at Amazon Web Services. Also: Open Source and Apache, Cryptography, Irish Music, mediocre Photography.Adam Prout @a_prout
689 Followers 281 Following Postgres @AzureDBPostgres. Ex-MemSQL/SingleStoreDB cofounder. Database builder. One trick pony.SBFT 2024 @sbftworkshop
540 Followers 637 Following The 17th Search-Based and Fuzz Testing Workshop is (a hybrid event) co-located with @ICSEconf 2024. YouTube page: https://t.co/2lf1tOaIrI@norootcause@hachyder.. @norootcause
13K Followers 5K Following Lorin Hochstein Student of complex systems failures, resilience eng, cognitive sys eng. Will talk your ear off about @LFISoftware. @[email protected]DBOS, Inc @DBOS_Inc
216 Followers 1 Following Born from research at MIT and Stanford, DBOS is revolutionizing the way people build cloud-native TypeScript applications - transactional serverless computing.Natalie Vais @natalievais
2K Followers 1K Following GP @sparkcapital // databases, distributed systems, and developer tools // formerly @AmplifyPartners @GoogleCloud @Oracle // fight on 🌎🌱Antithesis @AntithesisHQ
1K Followers 38 Following Antithesis autonomously searches your software for bugs, with 100% reproducibility, and provides unique debugging tools to easily diagnose and fix them.Patrick McKenzie @patio11
164K Followers 796 Following I work for the Internet and am an advisor to @stripe. These are my personal opinions unless otherwise noted.Alexander Boehm @calmaryth
129 Followers 157 Following Coffee, Database Management Systems, and Martial ArtsDanica Porobic @danicaporobic
679 Followers 883 Following CMTS@Oracle Database, PhD Databases EPFL, opinions are my ownDARE Summer School @DARE_BIP
33 Followers 7 Following DARE is an Erasmus+ BIP summer school aimed at master’s and PhD students working in the field of distributed systems and programming language.Richard Startin @richardstartin
858 Followers 184 FollowingWarpStream @warpstream_labs
627 Followers 16 FollowingJuncheng Yang @1a1a11a
1K Followers 2K Following Ph.D. student at CMU, ex-Twitter, ex-Cloudflare. Teach computers to be lazy like me.Evgenii Ivanov @eivanov89
239 Followers 136 Following Developer at YDB, passionate about performance. Interested in databases and distributed systems. Opinions are my own.Craig Alfieri @Alfieri_Craig
52 Followers 295 Following Autonomous Testing Sherpa & Hypervisor Hype-man 📣 | On a journey to making software/systems testing better one fault at a time.... (Tweets are my own)Readyset @readysetio
1K Followers 56 Following Readyset is a MySQL and Postgres wire-compatible caching layer that sits in front of existing databases to speed up queries and horizontally scale reads.MET '23 @ ICSE @met_workshop
18 Followers 20 Following MET 2023 is a workshop at ICSE 2023. See https://t.co/ezGcDUqTb4.A. Jesse Jiryu Davis @jessejiryudavis
3K Followers 636 Following Senior Staff Engineer @MongoDB Research. Student at @villagezendo. He/him. Blog, photos: https://t.co/4c97tWxWuP. Mastodon: @[email protected]databaseconf @databaseconf
497 Followers 0 Following Free, virtual conference. Deep dives into database concepts. No marketing fluff or sales pitches. Coming 2023.Software Eng. Radio @seradio
5K Followers 288 Following Software Engineering Radio is the podcast for professional software developers. Give us your feedback.Venice @VeniceDataBase
219 Followers 5 Following Open Source Derived Data Platform for Planet-Scale WorkloadsSomu Perianayagam @somu_peri
292 Followers 139 Following A glorified typist, a curious bipedal, and a bipedal enthusiast! The opinions I express here are my own!Ankush Desai @ankushpd
878 Followers 759 Following Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUwCharity Majors @mipsytipsy
81K Followers 508 Following cofounder/CTO @honeycombio, co-author of Observability Engineering and Database Reliability Engineering. I test in production and so do you. 🐝🏳️🌈🦄Peter Vosshall @PeterVosshall
4K Followers 987 Following Former Distinguished Engineer at Amazon Web Services (Retired). Marathon runner. Bainbridge Islander.Peter Veentjer @PeterVeentjer
1K Followers 195 Following Performance engineer ex-Scylla, ex-Hazelcast.Ryan Huang @ryanphuang
943 Followers 344 Following Associate Professor at the University of Michigan CSE. Enjoy building and researching computer systems.C. Mohan @seemohan
4K Followers 1K Following #DistProf @HKBaptistU @Tsinghua_Uni #BoG @DUKerala #Retired @IBM #Fellow Member @theNAEng #ExProf @NUSingapore #ExVisitResearcher @Google https://t.co/Z0yFuw11PlXudong Sun @xu_dong_sun
510 Followers 541 Following Ph.D. student at UIUC CS | Working on testing and verification for cloud systems | Playing/fighting with KubernetesLu Pan @uvdn7
485 Followers 251 Following Working on distributed systems at Facebook. “uvdn7” is “lupan” rotated by 180.NUS TEST Lab @test_nus
100 Followers 5 Following Trustworthy Engineering of Software Technologies (TEST) Lab at @NUSComputing led by @RiggerManuel. https://t.co/Ko3d5CunO1Mark Raasveldt @mraasveldt
800 Followers 66 FollowingSplinterDB @splinterdbnews
44 Followers 1 FollowingDaniel Ritter @dritter_hd
116 Followers 208 Following Cloud Databases | Distributed Systems | Data Science | Data-intensive Processes (@SAPInMemory, @OrientDB)Feifei Li @feifei_initiald
329 Followers 44 Following Database systems and large-scale data management/data-driven analytics researcher and practitionerKhayyam Guliyev @KhayyamGuliyev
71 Followers 734 Following Currently EM @Datadog. Formerly Photon @Databricks, Spanner @Google, SQL Server @Microsoft.Daniel Chia @DanielChiaJH
435 Followers 250 Following Google Spanner. Formerly @sisudata, Google Firestore, @Coursera. Distributed data systems. Badminton, photography, and cat owner. All opinions are my own.VLDB 2025 🇬🇧 @VLDBconf
2K Followers 51 Following 51st International Conference on Very Large Data Bases @ London, 🇬🇧 - 2025. Managed by: @joy_arulraj and @ashaikhha.RisingWave: Serverles.. @RisingWaveLabs
2K Followers 917 Following Event stream processing, analytics, and management. 🚀 10x more productive. 🚀 10x more cost-efficient. Chat: https://t.co/1ReEZKaMXgTanya Reilly (now at .. @whereistanya
17K Followers 0 Following Author, The Staff Engineer's Path: https://t.co/1jxrl96l2a This account is announcements-only. I use Mastodon for socials: https://t.co/lxewisR9C5Introduction to Algor.. @clrs4e
8K Followers 3 Following The fourth edition of the iconic algorithms textbook. Tweets are by @thcormen.That can even reduce the overall complexity of systems, and definitely reduces operational complexity and the difficulty of things like upgrades.
It also reminds us of the power of having composable services, and how that allows us to isolate complex problems (like consensus, consistency, and durability) away from business logic, data models, etc.
New blog post, looking at the great new paper from the Amazon MemoryDB folks: brooker.co.za/blog/2024/04/2… Much of the discussion on distributed systems is about scalability, but this paper shows how availability, durability, cost, and performance are equally important.
And now for something more practical… The story of how @MongoDB started working with Antithesis, told by somebody at MongoDB! antithesis.com/blog/mongo_bug/
Transactions that are fast, simple and fault tolerant! 😲 exciting work by @ChrisJe34211511
Wait… what!? Fault tolerant 2PC that is simple and commits in 1RTT? 🤯 If you missed @ChrisJe34211511 fantastic talk in #eurosys24 (#papoc24) definitely check the paper bit.ly/U2PCp
@akatsarakis It was great fun to talk about U2PC at #papoc24 I've uploaded the slides to my website at: jentek.dev/slides/u2pc.pdf with some extra slides on potential optimisations(?) that I didn't get to in the talk or the paper! (dl.acm.org/doi/10.1145/36…)
Wait… what!? Fault tolerant 2PC that is simple and commits in 1RTT? 🤯 If you missed @ChrisJe34211511 fantastic talk in #eurosys24 (#papoc24) definitely check the paper bit.ly/U2PCp
For example, Physalia (usenix.org/conference/nsd…) is a 2f+1 control plane we built to handle the fast reconfigurations required by the f+1 EBS dataplane.
This is a fascinating spot in the trade-off space of commit algorithms. It's less fault tolerant than 2PC-over-Paxos (needs to wait for reconfiguration to make progress after even one failure), but saves a whole round-trip in the deal.
Wait… what!? Fault tolerant 2PC that is simple and commits in 1RTT? 🤯 If you missed @ChrisJe34211511 fantastic talk in #eurosys24 (#papoc24) definitely check the paper bit.ly/U2PCp
There's not enough literature on the general trade-offs between f+1 and 2f+1 designs, and the decisions that pushes on to other parts of the system (e.g. the control plane).
After an exciting ICSE, I'm now looking forward to attending #EuroSys24 next week! Jack Clark will present his work on "Validating Database System Isolation Level Implementations with Version Certificate Recovery." Work with @afd_icl and @wicko3. dl.acm.org/doi/10.1145/36…
[new blog post] TLA+ conference 2024 muratbuffalo.blogspot.com/2024/04/tla-co… #tlaplus
Dmytro Vyazelenko from Aeron recently gave a presentation on designing for low latency. He made it a point to specify that "in preparation for this presentation, no LLM was used": youtu.be/pdFqKiwgZZY?si…
New blog post: "Formal Methods: Just Good Engineering Practice?" brooker.co.za/blog/2024/04/1…
How Antithesis finds bugs (and what Super Mario Bros. has to do with it): antithesis.com/blog/sdtalk/
Our @QConSF talk is on YouTube! - With the world becoming 3 orders of magnitude more transactional in the last 10 years, - how can we take the 4 primary colors of systems (network, storage, memory, compute), - and blend them into a new design for OLTP? youtube.com/watch?v=32LMic…
Towards Better Interactive Formal Specifications William Schultz #tlaplus
Promises and Challenges in Bridging TLA+ Designs with Implementations Finn Hackett #tlaplus