Andy Ni @catchbuggy
distributed systems testing @AntithesisHQ | prev @scale_AI antithesis.com Joined September 2025-
Tweets22
-
Followers35
-
Following194
-
Likes35
@samueljoli @AntithesisHQ Snouty is great :)
I generally don’t put stickers on any of my machines, but I’ll make an exception for @AntithesisHQ
Hegel is an open source property-based testing library for every language, based on, and brought to you by some of the folks behind Hypothesis -- the most widely-used, and arguably the best, property-based testing tool in the world today. We're serious when we say "every language": we released Hegel-rust a couple of weeks ago, and Hegel-go is on available on github today.
@EspressoSys @EthCC @Celo I need one of those caps
a few months ago - two bleeding edge tools in distributed systems testing joined forces. happy to share @AntithesisHQ now supports Kurtosis packages in their autonomous testing platform. antithesis.com/docs/release_n… read on to get the full story -
PWL is super duper back... Will is a great speaker and this is a great paper. If you're in SF, you should come meet us :)
@SakacSergej @paritytech @Polkadot congrats!!
🔥Jane Street Leads $105M Funding for Antithesis, a Testing Tool Used by Ethereum Network 🚀 coindesk.com/business/2025/… #Crypto #Web3 #Blockchain 2025-12-03T14:58:49.551Z
A new blog post about how we've adopted Antithesis as part of our testing story. This is kind of a new thing for us, because we liked Antithesis (both the people and the product) well enough that we're now leading their next funding round.
etcd is hard to test but antithesis is here ro test and reproduce bugs
@Abhishekcur first muscle up is going to feel amazing
My niece turned 1 today. Everyone else brought toys. I got her 5 shares of $NVDA. 17 years later, I hope she looks at it and thinks: uncle Kev got me started.
One of the key challenges that we mention is that basic ideas like deterministic simulation, property based testing, and global invariants are not known to entry level developers. It would be great to include these concepts in undergraduate curriculum as a prerequisite when studying or building distributed systems.
In this month's ACM Queue, @ankushpd and I write about some of the methods and tools we apply to systems correctness at AWS: from testing, to simulation, to fault injection, to formal proofs.
@j0hnwang @predictionindex @lililashka Excited for this!
Hullo west coast! It's one short week to the #BugBash roadshow in San Francisco, featuring in depth talks on the boundary between deterministic and non-deterministic systems, reliability for LLM applications, and more! Register at luma.com/vgehl2q3 And if you're in Seattle this week, stop by to say hi at #rustconf2025!
Performance is a hurdle to implementing deterministic simulation. At #P99CONF, Alex Pshenichkin will explain how Antithesis employs commodity virtualization technology to run arbitrary deterministic workloads in near-real time. ow.ly/Nzp950WLn78 #ScyllaDB
J @COISINI_riple
937 Followers 5K Following You are not discovering yourself, you are remaking yourself. Don't focus on discovering who you are, but focus on deciding who you want to be!🤞🤞
WK @wkantithesis
2 Followers 16 Following all things distributed systems @antithesishq - ex @chronosphereio @zoominfo
Shriram Balaji @shrirambalaji
2K Followers 6K Following building distributed systems @microsoft • ⚭ @swetha__raman • tinkering with systems, databases and web • blogs at https://t.co/acjkgbBqNO
Nancy C @Delacriox_9
16 Followers 1K Following emotionally invested in fictional characters 📖 follow back
Sourav Kumar @ph0smet
101 Followers 1K Following Application Security @CRED_club. Tweets are of my own.
elmerv @crushingbugz
18 Followers 229 Following Former software engineer. prev @GM Now helping teams break distributed systems on purpose. GTM @ Antithesis.
Peter Donahoe @bugsareugly
3 Followers 41 Following Love-hate relationship with bugs. Don't want to see them, but always find them... software bugs of course
Matt Cunningham @CrushingBugs
6 Followers 25 Following Reimagining Distributed Systems Testing || DST & PBT
Alex Mackenzie @alex__mackenzie
5K Followers 7K Following Partner at @GeneralCatalyst; code at https://t.co/mm13KZtoy7
Daniel @RealDanMcCoy
3K Followers 2K Following Fullstack software engineer building useful things. Technologist by heart. Founder of uBin 🗃️. Core member of @The_Swop. Opinions are all my own 🥂
LillianJoshua @9f0gi0lZH267zQ9
169 Followers 6K Following
Evangeline @Quoubi938
84 Followers 2K Following Stay strong. Make them wonder how you’re still smiling.
Theseus Labs @TheseusLabsHQ
34 Followers 126 Following Full-stack studio run by senior devs. We build for clients. We build for ourselves (@RustSkill). Same code standards, same obsession with shipping.
Onouterw @Onouterw655165
202 Followers 7K Following Be fearless in the pursuit of what sets your soul on fire.
George Singer @georgewsinger
562 Followers 2K Following Building a portable VR headset designed to replace PCs & Laptops • Runs Linux • Market-leading pixel density (≫ existing headsets) • Premium compute specs
Hamzé 🦀 @Hamzeml
6K Followers 8K Following 🇪🇺 CTO. Builder. Rusty AI agents. Category theory without the fog machine. If you build typed agents, tiny ML or evals, DM me your weirdest bug.
Schwartz @jJoelKatz_
243 Followers 5K Following Replacing TradFi with decentralized, censorship-resistant blockchain tech. CTO at Ripple; one of the original architects of the XRP ledger.
Oscar Ramoss @GuhstavoFranca
576 Followers 7K Following Crypto is The Future. I'm ALL IN 🚀Investor. Creator. KOL #CRO@ #XRP #BTC Free Trading Alerts https://t.co/wVW0jyU8VA Always DYOR, All Posts are NFA
Armaan @mearmaaan
221 Followers 1K Following distributed systems @AntithesisHQ | prev @thalesgroup | Tweets are my own :D
Asogwa Divine @asogwadivine06
306 Followers 2K Following
Coindix @0xNanoly
15K Followers 276 Following Today’s best vaults on the DeFi. Monitoring +10,000 vaults on 63 protocols through 27 chains. Website: https://t.co/6XcLJpF5j4
Antithesis @AntithesisHQ
4K Followers 63 Following Compress years of production hardening into minutes — in CI, in dev, or in /loop — so you can merge fearlessly.
Virtual Kokos4 @Virtualkokos4
246 Followers 8K Following
Joran Dirk Greef @jorandirkgreef
10K Followers 2K Following Creator, Founder and CEO of @TigerBeetleDB — the financial transactions database designed to power the next 30 years of transaction processing.
WK @wkantithesis
2 Followers 16 Following all things distributed systems @antithesishq - ex @chronosphereio @zoominfo
jd @jdmaturen
994 Followers 556 Following
Greg Fitzgerald 🦀 @garious14
5K Followers 1K Following Technical cofounder of @solana. Obsesses over programming languages, especially @rustlang. Not here much; reality is the only thing that’s real.
Gunnar Morling 🌍 @gunnarmorling
70K Followers 298 Following Technologist @Confluentinc · Ex-lead of Debezium · Spec lead of Bean Validation 2.0 · Creator of Hardwood, kcctl, JfrUnit, MapStruct · Java Champion · 🚴
Dan Luu @danluu
46K Followers 43 Following Active on https://t.co/WG71Nrs60M; also trying out https://t.co/fGOzbSxVHi. No longer read replies or notifications here now that tweetdeck is gated.
apenwarr @apenwarr
16K Followers 2K Following wvdial, bup, sshuttle, netselect, popularity-contest, redo, gfblip, GFiber, and now @Tailscale doing WireGuard mesh. Top search result for "epic treatise."
Colm MacCárthaigh @colmmacc
38K Followers 2K Following VP / Distinguished Engineer at Amazon Web Services. Also: Open Source and Apache, Cryptography, Irish Music, mediocre Photography.
Kelly Sommers @kellabyte
50K Followers 365 Following 🇨🇦 Backend Brat. Distributed Diva. Relentless Learner.
Thiago Ghisi @thiagoghisi
25K Followers 3K Following 🤹♂️ (Former) Director of Eng at @Nubank, @Apple, @AmericanExpress. 🇧🇷 in🗽. I share career growth strategies, leadership insights & my many reads. 📚🐛.👇
Jessie Frazelle @jessfraz
133K Followers 259 Following CEO @zoodotdev, 👩🏻💻 @oxidecomputer, 📝 @ACMQueue
Jaana Dogan ヤナ �... @rakyll
167K Followers 1K Following ML/AI Systems at Google. Simplicity and optimism. Personal opinions. 🇺🇸🇪🇺
ahmet alp balkan @ahmetb
50K Followers 328 Following built one of the largest baremetal Kubernetes fleets, now in between jobs 🌹 oss @ https://t.co/LbCjmbdKkJ
@norootcause.surfingc... @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]
Cindy Sridharan @copyconstruct
46K Followers 162 Following
Boyan 🦇🔊 @boyanxyz
720 Followers 1K Following Building the Stellar Contracts Library at @OpenZeppelin
samueljoli @samueljoli
35 Followers 365 Following Engineering at @salesforce prev @metrics_co, @theknot
RinChanNOW! @_rin_chan_now_
598 Followers 4K Following Anime / Vocaloid / BanG Dream / PlayStation / maimai / CHUNI / SDVX / Database Developer @tencentcloud (previous @DatabendLabs)
elmerv @crushingbugz
18 Followers 229 Following Former software engineer. prev @GM Now helping teams break distributed systems on purpose. GTM @ Antithesis.
Matthias Seitz @mattsse_
3K Followers 686 Following let's go on an adventure and build something 🦀 @tempo
sundyli @sundyli1
1K Followers 406 Following Father & AI researcher, working at databendlabs. Email: [email protected] Apache OpenDAL PPMC
BNB Chain Developers @BNBChainDevs
45K Followers 585 Following Supporting developers on @BNBCHAIN. Start building via the link in our bio 👇
Dominik Tornow @DominikTornow
12K Followers 600 Following Founder @resonatehqio | Distributed Async Await | Think Distributed Systems | https://t.co/TQGtUTQMvY
Szegoo @SakacSergej
427 Followers 230 Following Contributing to Polkadot. Founder of @Fusion3Tech and @RegionXLabs
Arpit Bhayani @arpit_bhayani
124K Followers 1K Following building https://t.co/Gr668c5Tgn • Principal Engineer II - AI @Razorpay • db • ex-staff @google (memorystore, dataproc) • @TheDiceDB • 1x founder • prev @unacademy, amazon
Shriram Balaji @shrirambalaji
2K Followers 6K Following building distributed systems @microsoft • ⚭ @swetha__raman • tinkering with systems, databases and web • blogs at https://t.co/acjkgbBqNO
Diego Ongaro @ongardie
3K Followers 506 Following I like distributed systems and co-created Raft (https://t.co/Z2HPGgq1QI). Follow me on Mastodon at @[email protected] or https://t.co/yj5rWlttCZ.
Hunter Leath @jhleath
4K Followers 432 Following the file system company of San Francisco @archildata (YCF24)
Colin Breck @breckcs
4K Followers 821 Following Principal Engineer at Tesla. Working on databases, distributed systems, and edge computing platforms for energy. Views are my own.
DaniPopes @DaniPopes
2K Followers 438 Following 🦀 engineer @tempo, prev @ithacaxyz @paradigmxyz 💻 open source, compilers, Rust, LLVM, Linux, EVM
soltran @soltran
642 Followers 919 Following Engineering Leader. Building fintech for the unbanked at Nclusion. ex-Yuga, ex-Rubrik. Silicon Valley bred. Tweets about tech, crypto, sports, & life.
nikhil @niks3089
445 Followers 323 Following staff engineer @SolanaFndn // prev @helius // rust // @superteam // father
Alex Mackenzie @alex__mackenzie
5K Followers 7K Following Partner at @GeneralCatalyst; code at https://t.co/mm13KZtoy7
Jeff Schroeder @SEJeff
5K Followers 3K Following Linux and OSS Lover, breaker of distributed systems, OIF II Veteran, Security Engineer, Martial Artist, wannabe chef, and lifelong student. Tech is my passion
Eldar @eldarcap
2K Followers 758 Following Looking for asymmetric bet and undervalued crypto project in DeFi. Not financial advice.
Rain @raincards
18K Followers 0 Following Stablecoin-powered cards and everything needed to support them
Trends for United States
You might like
