Kelly Sommers @kellabyte
🇨🇦 Backend Brat. Distributed Diva. Relentless Learner. Canada Joined June 2009-
Tweets116K
-
Followers51K
-
Following367
-
Likes10K
Excellent work on formally verifying the #Kubernetes control plane using a compositional approach led by @Cat_overflow and @xu_dong_sun, with the awesome team of @NikhilDate5 @tylergu_jiawei Cody @tchajed and Oded. It shows a practical path to verify a large control plane by gradually verifying individual controllers progressively. The compositional verification is enabled by a new spec termed CORE (COmpositional REconciliation), which reuses ESR (the original #anvil spec) to specify each controller's reconciliation and employs rely-guarantee conditions to restrict inter-controller interference. CORE encodes both liveness and safety -- liveness captures correct state reconciliation logic and safety restricts inter-controller interference. Check out the paper which has a great amount of insights on specification, proof, and implementation. cathy-cai.page/pubs/welder26.…
@DoctorGester Yeah I wasn’t really promoting the varint just was messing around with language concepts 😂
I disconnected from social media for a few weeks around my bday so apologies for replies I owe you I have been dreaming of a future where humans and toasters see low level tradeoffs right in the code. Memory layouts and encodings obvious, composable, swappable as lang concepts
@gosenx_ Oh that’s a cool comment! I totally forgot about protobuf and how it does things
@brandonstlucas AI can really help you prototype fast 😂
@VenkataSub34 But I’m not a language expert so I’m not sure if this is worth pursuing 😂
@VenkataSub34 I sometimes dream if code could be like a database query execution engine. Dynamically swapping layout, data structure and algorithms based on statistics like a query planner does. Dynamically executing directly on storage or remote. No more should it be in the API or sproc
I feel like in an AI software engineering future we humans will care about high level tradeoffs, low level tradeoffs and passing business rules and specs. Everything in between we will start to treat like assembly. A means to an end.
A few reflections heading home from the Bills game tonight as a Canadian. 🇨🇦🇺🇸🏈 There is a lot of noise in the Canada-U.S. relationship right now. Trade fights, tariffs, political rhetoric and plenty of frustration on both sides of the border. But then you spend a night in Buffalo. Canadians and Americans tailgating together. Singing both anthems. Cheering for the same team. Talking football, families and life. Nobody asking who won the latest political argument. It is a good reminder that our relationship is much bigger than whoever happens to occupy political office at any particular moment. We share communities, businesses, friendships, families, sports and a border that has connected us for generations. Governments will disagree. We should stand up for our respective interests when they do. But we shouldn’t lose sight of each other in the process. Tonight felt like a reminder of that. Break tables, not relationships. 🇨🇦🤝🇺🇸 #BillsMafia #GoBills
this is actually literally insane because it doesn’t appear to have any trade-offs. it’s just better engineering. the linked blog goes into detail about the implementation: mapping to CTIDs, various bitmaps, AVX, doing all this while they keep all the postgres constraints, etc.
Today we introduce TIN: a powerful and reliable full-text search extension for Postgres. TIN works with complicated WHERE clauses, replication, backups, and maintains correct transaction visibility. It's also mind-blowingly fast.
Xbox CEO Asha Sharma revealed she's been secretly solving Xbox support tickets for months, stepping into customer service and fixing problems for players anonymously. She wanted to figure out what players don't like and decided to just talk to them directly.
Inside TiDB X | Write Client -> Raft commit -> MemTable Apply -> ACK. SST creation, upload and file publication run on a separate background path. Benefit: writes don't wait for their SSTs to reach object storage.
Meta has 500,000 database hosts
How do you manage database connections when you have 1M+ clients hitting 500k+ database hosts? We’re sharing a deep dive into ZGateway, the stateless proxy tier handling traffic for ZippyDB (>1B ops/sec). The direct-access model created an unbounded TLS connection mesh, wasting
@Rachel__Nichols Do you think the Raptors would have had a chance at another title? Does Siakam stay?
@TheWarningBand2 I’m SO EXCITED you’re coming to my city! I can’t wait!!!
THE EVERYTHING’S FALLING TOUR ‼️ 🪽 We’re so excited to announce that we’re coming back to Europe, UK, US and Canada! We can’t wait to bring Everything’s Falling to the stage and see you all again ❤️🔥 Patreon Pre-Sale + VIP Packages 📅 September 15 | 10 AM EDT / 7 AM PDT Artist Pre-Sale 📅 September 16 | 10 AM local time thewarning.lnk.to/Tour Local Pre-Sales 📅 September 17 | 10 AM local time General On-Sale 📅 September 18 | 10 AM local time See you out there!! 🪽❤️🔥 Stay tuned for more dates around the world coming soon! #thewarning
The Warning receiving plaques for reaching No. 1 on Billboard's Mainstream Rock Airplay chart last night (September 10, 2026)
David Fowler @davidfowl
148K Followers 1K Following Distinguished Engineer at Microsoft, Creator of NuGet, SignalR, https://t.co/PiydKAsC8g Core, Aspire and Barbadian 🇧🇧, Tennis Player, Father, other half @symonefowler
Miguel de Icaza ᯅ�... @migueldeicaza
100K Followers 6K Following Fun Stack Vibing. Started Xamarin, Mono, Gnome; was MSFT/.NET/Xamarin/Mono/VSMac/AI https://t.co/QkbDDWMXRf @migueldeicaza.bsky.social
Jimmy Bogard is on Bl... @jbogard
43K Followers 2K Following Independent consultant. Creator of AutoMapper and MediatR. Originator of Vertical Slice Architecture. https://t.co/9O8heLDce1
Greg Young @gregyoung
30K Followers 2K Following
Charity Majors @mipsytipsy
82K Followers 592 Following honeycomb, observability, the second edition of "Observability Engineering" is coming out soon. find me on substack, bsky, LI, and occasionally here. 🐝🏳️🌈🦄
Gary Bernhardt @garybernhardt
47K Followers 112 Following Execute Program (learn programming tools quickly); Destroy All Software (dense programming screencasts); formerly Deconstruct conference.
Bartosz Adamczewski @badamczewski01
19K Followers 988 Following ⚫ Concurrency, Performance, Machine Learning, #dataorienteddesign ⚫ R&I Director - I lead CS & DS teams ⚫ Making a Compiler ⚫ Links - https://t.co/1wD23D7xrt
apenwarr @apenwarr
17K Followers 2K Following wvdial, bup, sshuttle, netselect, popularity-contest, redo, gfblip, GFiber, and now @Tailscale doing WireGuard mesh. Top search result for "epic treatise."
Richard Campbell @richcampbell
29K Followers 1K Following Professional storyteller - deeply understanding the past to help describe our future! @[email protected]
Damian Edwards @DamianEdwards
51K Followers 1K Following PM Architect at Microsoft working on @aspiredotdev & @dotnet 💘 craft🍻 malt🥃 good☕ fine⌚ 🇦🇺🏏 @Mariners ⚾ @seahawks 🏈 @F1 🏎
Adam Jacob @adamhjk
20K Followers 1K Following CEO of Swamp Club, Co-Founder of Chef. Sustainable free and open source software communities. Music. He/Him. https://t.co/fyc6yziWBv
Gwen (Chen) Shapira @gwenshap
30K Followers 11K Following Co-founder of @niledatabase. Making SaaS global, elastic and chill. Find me at: https://t.co/uyuHg400cp
Rinat Abdullin @abdullin
4K Followers 295 Following Technical Advisor. I help to build ML-driven products. Newsletter: https://t.co/qB9sJSI7q5
Jessica Kerr @jessitron
34K Followers 2K Following Symmathecist, @honeycombio. she/her Tweets are mine, license CC0. It is not about me.
Alex P @ifesdjeen
16K Followers 1K Following Distributed and Storage Systems. Apache Cassandra Committer and PMC member. Author of Database Internals @therealdatabass. Discord: https://t.co/8LwhZom9eQ
Jared Parsons @jaredpar
14K Followers 710 Following Work on compilers and languages. Creator of VsVim. He/Him #BlackLivesMatter
Phil Haack @haacked
44K Followers 702 Following A bio that defines me (he/him) in terms of my work and my relationships and leaves you no closer to understanding who I am. https://t.co/6vuz229AXe
Ben Plotnick @benplotnick
268 Followers 339 Following
Hector Jimenez @devhectorjmz
2 Followers 396 Following
Ben Weis @bweisdev
18 Followers 143 Following Founder of Springbird | Ex-Rippler, Googler, Cisco Meraki | I build incredible experiences
Man Does Code @ManDoesCode1
267 Followers 2K Following Taker of BASIC in high school. Javascript, more! He/Him/His & Their(s)/His. @boycodeit @landonsanders! Hashtag(s): #html5,#css3,#javascript
Harman Singh Walia @HarmanW61942
23 Followers 5K Following
Abhaya Agarwal @abhaga
2K Followers 2K Following Books. Technology. Languages. History. Ideas. Future. In various combinations. @sprintoHQ. @pothidotcom. Traveling with @jayajha.
scotty ray fermo @scadoshi
48 Followers 250 Following ooh ooh ahh ahh | https://t.co/ZYftmuBai7 | https://t.co/iUqEggIdKE
Hal Spitz @hal_spitz
56 Followers 284 Following
nithulshm @nithulshm8608
0 Followers 38 Following
V @heel_toe_gay
0 Followers 16 Following
Denis Mutuma @mutuma_x
372 Followers 206 Following Embedded Software Engineer, Open Source Contributor, Competitive Programmer
parker @parkerhendo
9K Followers 3K Following "Excellence is the capacity to take pain" · human-clanker interaction and memes @braintrust · trying to swim, bike, and run faster
Emi Höss @EmiHoess
29 Followers 616 Following author of coVox SLAM (https://t.co/60UbC9SeNq) - ICRA 2025
Jeremy Delahanty @science_is_hard
684 Followers 3K Following Science is pretty neato. Third year PhD Candidate in Misha Ahrens’ and Rob Johnson’s labs at HHMI Janelia collecting big brain and behavior data.
Bart de Water @bdewater
514 Followers 406 Following Dutch dude in Canada | software eng @ Thatch, ex-Shopify Payments | Instant human, just add coffee | Opinions are my own
jakeward.base.eth @jakewardbaseeth
1K Followers 7K Following
3TsHomesandProperty @3Ts_H_N_P
3 Followers 91 Following 3Tshomesandproperty,we help you build generational wealth with ease,live and retire in luxury through high Return On Investment real estate investment portfolio
Erica Windisch @birdhax
127 Followers 84 Following Building federated RSI agents that learn at the edge. Available to agent harnesses and physical AI systems. Powered by ATproto. https://t.co/8BcRvyQLk2
whaaaaa @peryperypie
0 Followers 77 Following
Yadnik Bendale @YadnikBendale
49 Followers 543 Following
Sir. Brian Keya @Harry_Adams97
167 Followers 2K Following 🚀 Klimstone | Construction, Structural & Consultancy Firm ✨Umoja Technologies | Driving Digital Innovation 🌐🔥
Dhruv Sharma @DevilKiddo3
0 Followers 6 Following Aspiring Software Engineer • React Developer • Web3 Enthusiast
RICH₿ @richiswealthy
127 Followers 4K Following
good Raj hunting @walkwithraj
1K Followers 6K Following using 𝕏 like open source notes to self. aut inveniam viam aut faciam ⏩ @favstar
Mary Wanczyk @Hon1com
192 Followers 5K Following I won a lottery of huge amount so I’m willing to give out $10,000 to my first 1000 followers..just dm “MAVIS I FOLLOWED“
Susan Blair @SusanBlair34662
126 Followers 942 Following
AVIRAL SINGH @AVIRAL42
72 Followers 413 Following
John @Immanuelrjohn
67 Followers 5K Following
Not Name @NotName146636
0 Followers 641 Following
Gabin 🌱 @g48in
10K Followers 1K Following
Vinod Jaggavarapu @VJaggavarapu09
0 Followers 43 Following
KIN @fuhad_dev
359 Followers 518 Following Software Developer || React.js || Node.js || Next.js || Typescript || Tailwind
Ugur Yilmaz @hereformind
0 Followers 40 Following
Kaushik MS @kaushikbhat29
3 Followers 280 Following
David Fowler @davidfowl
148K Followers 1K Following Distinguished Engineer at Microsoft, Creator of NuGet, SignalR, https://t.co/PiydKAsC8g Core, Aspire and Barbadian 🇧🇧, Tennis Player, Father, other half @symonefowler
Miguel de Icaza ᯅ�... @migueldeicaza
100K Followers 6K Following Fun Stack Vibing. Started Xamarin, Mono, Gnome; was MSFT/.NET/Xamarin/Mono/VSMac/AI https://t.co/QkbDDWMXRf @migueldeicaza.bsky.social
Jimmy Bogard is on Bl... @jbogard
43K Followers 2K Following Independent consultant. Creator of AutoMapper and MediatR. Originator of Vertical Slice Architecture. https://t.co/9O8heLDce1
Jessie Frazelle @jessfraz
134K Followers 267 Following CEO @zoodotdev, 👩🏻💻 @oxidecomputer, 📝 @ACMQueue
Greg Young @gregyoung
30K Followers 2K Following
Charity Majors @mipsytipsy
82K Followers 592 Following honeycomb, observability, the second edition of "Observability Engineering" is coming out soon. find me on substack, bsky, LI, and occasionally here. 🐝🏳️🌈🦄
Gary Bernhardt @garybernhardt
47K Followers 112 Following Execute Program (learn programming tools quickly); Destroy All Software (dense programming screencasts); formerly Deconstruct conference.
Damian Edwards @DamianEdwards
51K Followers 1K Following PM Architect at Microsoft working on @aspiredotdev & @dotnet 💘 craft🍻 malt🥃 good☕ fine⌚ 🇦🇺🏏 @Mariners ⚾ @seahawks 🏈 @F1 🏎
Erik Meijer @headinthebox
37K Followers 0 Following
Gwen (Chen) Shapira @gwenshap
30K Followers 11K Following Co-founder of @niledatabase. Making SaaS global, elastic and chill. Find me at: https://t.co/uyuHg400cp
Marc Brooker @MarcJBrooker
28K Followers 749 Following Distinguished engineer at AWS. AI, agents, databases, and serverless. Views are my own.
Pekka Enberg @penberg
20K Followers 1K Following Founder & CTO @tursodatabase; previously @ScyllaDB and Linux kernel. Author of "Latency" (https://t.co/XWRFq71WaJ).
Rinat Abdullin @abdullin
4K Followers 295 Following Technical Advisor. I help to build ML-driven products. Newsletter: https://t.co/qB9sJSI7q5
Jessica Kerr @jessitron
34K Followers 2K Following Symmathecist, @honeycombio. she/her Tweets are mine, license CC0. It is not about me.
Alex P @ifesdjeen
16K Followers 1K Following Distributed and Storage Systems. Apache Cassandra Committer and PMC member. Author of Database Internals @therealdatabass. Discord: https://t.co/8LwhZom9eQ
Phil Haack @haacked
44K Followers 702 Following A bio that defines me (he/him) in terms of my work and my relationships and leaves you no closer to understanding who I am. https://t.co/6vuz229AXe
Jeff Wilcox @jeffwilcox
15K Followers 3K Following Seattle person. Opinions mine. Interesting posts tend to be on other platforms.
Julie Lerman @julielerman
35K Followers 2K Following #DDD, .NET, EF,Coach, Author, MVP,MS Rgnl Dir,Docker Cptn, self-empl,@Pluralsight, 30+yrs software. Ask me re coaching yr team! she/her (julielerman on bsky)
Tobias Ziegler @Tobias__Ziegler
2K Followers 488 Following Optimizing Distributed (Database) Systems @TigerBeetleDB — the financial transactions database designed to power the next 30 years of transaction processing.
Ellie Huxtable @ellie_huxtable
8K Followers 1K Following building @atuinsh, prev: @posthog, @coinbase, 🇬🇧 in 🇺🇸
Matt Lord @mattalord
1K Followers 243 Following Vitess Maintainer @PlanetScale. Formerly @Istari_Digital, @Etsy, @WeWork, @MongoDB, @Oracle, @MySQL • Curious, Passionate, Problem Solver
Ben Dicken @BenjDicken
47K Followers 908 Following databases → @planetscale videos → https://t.co/J5soMyf6XC writing → https://t.co/YpfkF0JaV8
Sugu Sougoumarane @ssougou
4K Followers 168 Following Head of Multigres @Supabase, Co-creator @vitessio
Jamie Turner @jamwt
10K Followers 461 Following Co-founder/CEO of @convex. Former Sr. Director/Principal Engineer of Storage & Databases at Dropbox. Shameless startup junkie.
David Crawshaw @davidcrawshaw
14K Followers 1K Following ceo https://t.co/rCiZyr11L3, co-founder and ex-cto @Tailscale. forever a programmer
Natalie Vais @natalievais
3K Followers 1K Following GP @sparkcapital // databases, distributed systems, and developer tools // formerly @AmplifyPartners @GoogleCloud @Oracle 🌎🌱
James Cowling @jamesacowling
14K Followers 510 Following @convex CTO. Dropbox storage designer. Consensus protocol author. Motorcycle mechanic. Closet Australian. MIT systems researcher turned database shill.
Distributed Bytes @DistribSystems
6K Followers 223 Following I tweet/retweet interesting stuff about #DistributedSystems and #compsci. Suggest links/papers/conversations via DM! Tag for retweets. Run by @federico_ponzi
Joran Dirk Greef @jorandirkgreef
11K Followers 2K Following Creator, Founder and CEO of @TigerBeetleDB — the financial transactions database designed to power the next 30 years of transaction processing.
The Warning @TheWarningBand2
77K Followers 735 Following Three-sister rock band from Monterrey 🇲🇽 Everything’s Falling — out NOW! https://t.co/YGmLfEzr5v
henrik ingo ❤️�... @h_ingo
2K Followers 2K Following Co-founder at @nyrkio - For Faster Software In addition to software performance, I may have opinions / experience on databases, open source, Ukraine...
Spigen @spigen
103K Followers 76 Following pronounced /speeˈgan/ Join #TeamSpigen. For help, @SpigenSupport
ImagineArt @ImagineArt_X
23K Followers 1 Following Your personal creative agent with access to every video, image, and audio model.
Antithesis @AntithesisHQ
5K Followers 63 Following Compress years of production hardening into minutes — in CI, in dev, or in /loop — so you can merge fearlessly.
siddontang @siddontang
4K Followers 651 Following AI agents need databases too. I build them. Author of TiDB
Abhishek Singh @0xlelouch_
23K Followers 989 Following Building @0xffdevs Join our discord https://t.co/TkIHOk2Kuy
Jeremy Schneider @jer_s
2K Followers 442 Following Building and running reliable data platforms that scale and perform. An organizer of Seattle Postgres User Group. My opinions are my own.
Simon Willison @simonw
224K Followers 6K Following Creator @datasetteproj, co-creator Django. PSF board. Hangs out with @natbat. He/Him. Mastodon: https://t.co/t0MrmnJW0K Bsky: https://t.co/OnWIyhX4CH
Brett @BrettFromDJ
171K Followers 272 Following Running a $1M one-man design studio. 🙂 https://t.co/Bd698tQuPG: $100K MRR ✍️ https://t.co/qtdiuMzBWh: $12K MRR // Building https://t.co/kbOZ647RU8 & https://t.co/DEmnafGhWg
Santiago @svpino
456K Followers 599 Following Computer scientist. I teach hard-core AI/ML Engineering at https://t.co/THCAAZcBMu. YouTube: https://t.co/pROi08OZYJ
𝗛𝟯𝗞𝗧l𝗖 @H3KTlC
43K Followers 2K Following #infosec engineer | all things gaming | void hunter | will shitpost | i like to lift weights & play piano | los angeleno currently in twin cities | fight on✌️
Tanel Poder 🇺🇦 @TanelPoder
12K Followers 1K Following Creator of https://t.co/w1Pz4s2EhV and a long time computer performance nerd. Performance & Troubleshooting Training: https://t.co/lRKHSCFE6M
Average Database CEO @AvgDatabaseCEO
7K Followers 268 Following CEO of AvgDB. $100m series B. Now doing Auth and Storage!
Mrgregles @Mrgregles
8K Followers 1K Following Drummer and Tech nerd | Twitch, @Asus & @Elgato Partner | Roland Artist | @aitumtv Co-Founder | 1of2 OBSessivenerds | Business Email: [email protected]
Felipe O. Carvalho @_Felipe
5K Followers 3K Following @ApacheArrow / Databases / Compilers. (past @SDFLabs, VoDa, @Spotify). Rust/C++/TLA⁺🇧🇷 → 🇸🇪 → 🌎
PIN DORIANE @DorianePin
49K Followers 159 Following 2025 F1 Academy Champion 🏆 @mercedesamgf1 Development Driver @elms_official & @24heuresdumans 2026 - LMP2 @peugeotsportofficial hypercar development driver
Sebastian Aaltonen @SebAaltonen
58K Followers 284 Following 30 years of 3d rendering experience. Former principal engineer at Unity, Ubisoft and HypeHype.
Jonathan Blow @Jonathan_Blow
160K Followers 337 Following The free demo of Order of the Sinking Star is available for a bit longer! ... https://t.co/JhmXeQ81K2
LaurieWired @lauriewired
163K Followers 303 Following researcher @google; serial complexity unpacker; https://t.co/Vl1seeNgYK ex @ msft & aerospace
Nik Samokhvalov @samokhvalov
12K Followers 46 Following Self-driving Postgres @postgres_ai // @PostgresFM // I stand with Ukraine
PVLDB @pvldb
6K Followers 10 Following The Proceedings of the VLDB Endowment (PVLDB) RSS Feed: https://t.co/5wEKOfq2OD Bluesky: https://t.co/jULSIiQ5M3
F1 Academy @f1academy
120K Followers 59 Following The Future is Fast 👉 Austin 22-25 October 🇺🇸 #F1ACADEMY
Dominik Tornow @DominikTornow
12K Followers 631 Following Founder @resonatehqio | Distributed Async Await | Think Distributed Systems | https://t.co/TQGtUTQMvY
SkalskiP @skalskip92
50K Followers 1K Following Open-source Lead @roboflow. VLMs. GPU poor. Dog person. Coffee addict. Dyslexic. | GH: https://t.co/dEmzMDGXVf | HF: https://t.co/4Lx1Yw3CLF
GitHub Projects Commu... @GithubProjects
339K Followers 66 Following We're sharing/showcasing best of @github projects/repos. Follow to stay in loop. Promoting Open-Source Contributions. UNOFFICIAL, but followed by github
Andrew Lamb @andrewlamb1111
4K Followers 85 Following Apache {DataFusion, Arrow} PMC, Database Engineer
Sunny Bains @TiDB @sunbains
5K Followers 260 Following swe@PingCAP - The company behind TiDB. Oracle/MySQL/InnoDB team lead in a past life
Jack Vanlightly @vanlightly
5K Followers 249 Following Likes breaking ideas and systems, writing, picking systems apart @confluentinc Ex @Splunk, @VMware https://t.co/voJWmL5iBE Credit: ESO/B. Tafreshi
Alex Miller @AlexMillerDB
3K Followers 211 Following Databases. See also @[email protected] or @alexmillerdb.bsky.app
Murat Demirbas (Distr... @muratdemirbas
11K Followers 257 Following MongoDB Research: Distributed Systems, Databases, Formal Methods ex-AWS, ex-Prof SUNY Buffalo. Blog at: https://t.co/IqZPhhtcCC Opinions my ownYou might like
