Pinned Tweet
It’s important to fact check loud voices cuz there’s a lot of followers in this world. People who idolize you and your advice.
If someone’s promoting a way of working just to push a narrative that doesn’t actually work and people apply this advice today they can lose their jobs
If someone’s promoting a way of working just to push a narrative that doesn’t actually work and people apply this advice today they can lose their jobs
8
19
254
14,645
For the zoomers who wonder why their gaming PC drive is labelled C:\ A and B was reserved for this sweet tech.
And yes the magnetic material that stored your bytes was exposed 😂
And yes the magnetic material that stored your bytes was exposed 😂
US FAA says it will phase out floppy disks from air traffic control by 2028 reut.rs/4zsSsu2
6
10
48
2,428
I can’t help but feel the future of software architecture is dynamic optimizations at runtime.
JITs like HotSpot optimizing hot paths on the fly, databases with table statistics making optimizer choices at runtime are only the tip of the iceberg.
JITs like HotSpot optimizing hot paths on the fly, databases with table statistics making optimizer choices at runtime are only the tip of the iceberg.
45
19
364
20,345
Some people see a benchmark and all it does is raise questions. These folks understand a gain somewhere is often at a cost somewhere else.
Joe is right, I have work to do. I have 15 of these results for varying workloads and contention
Joe is right, I have work to do. I have 15 of these results for varying workloads and contention
@kellabyte does reader/writer still win with writes mixed in?
0
1
22
1,926
This is experimental quality still but my Goose lang port of BBTree if Goose supported locks screams at hot cache hit workloads.
5
1
46
3,803
I love brainstorming - I challenge you on this topic
Is it possible your sw research on how to use these instructions in new ways just wasn’t there?
Daniel Lemire & others use SIMD in new research to accelerate format parsing and Linux in 1998 used MMX for RAID parity
Is it possible your sw research on how to use these instructions in new ways just wasn’t there?
Daniel Lemire & others use SIMD in new research to accelerate format parsing and Linux in 1998 used MMX for RAID parity
Intel put so much pressure on us at Microsoft to use MMX instructions. First at the compiler level then "please just add some __asm to Office and Windows." It was dumb.
They used to explain how pasting an image into PowerPoint would be faster with MMX.
9
2
61
5,262
Hmm. This is a read only benchmark but maybe AI was right that Goose lang needs locks for concurrent data structures. Still investigating.
2
1
17
2,577
Kelly Sommers retweeted
Here's a helpful diagram of Postgres architecture that I encountered today
en.wikibooks.org/wiki/PostgreSQ…
en.wikibooks.org/wiki/PostgreSQ…
6
7
193
4,782
Oh yeah we don’t need to read the code folks. No need to review anything.
Meanwhile ChatGPT decided to fork Goose and implement locks in the Goose runtime without my permission.
Meanwhile ChatGPT decided to fork Goose and implement locks in the Goose runtime without my permission.
15
6
197
7,746
Kelly Sommers retweeted
@kellabyte Almost all the great people I work with have side projects.
Only a minority of those are code. People are woodworking, metalworking, sewing, gardening, sports coaching, building planes, building boats, and a ton more.
Side quests are a good sign, but often aren't visible in GH.
Only a minority of those are code. People are woodworking, metalworking, sewing, gardening, sports coaching, building planes, building boats, and a ton more.
Side quests are a good sign, but often aren't visible in GH.
5
12
151
4,786
I haven’t spoken to Cliff Moon in a few years and I hope he’s doing well and he’s one of my fav ppl of all time
I think he was 1st implementor of Amazon Dynamo outside of Amazon
I learned so much from him and I think he clocks out to attend to his farm
Happiness breeds energy
I think he was 1st implementor of Amazon Dynamo outside of Amazon
I learned so much from him and I think he clocks out to attend to his farm
Happiness breeds energy
@kellabyte If you don't have side projects, then it's a sign that you aren't thinking beyond clock in and clock out. Any real engineer is constantly thinking of ideas or being inspired during the course of the day, and the daily job doesn't scratch every itch.
5
3
107
9,134
I hope he’s doing well and miss him. We used to have a little IRC channel with a few of us that was baller.
2
0
8
975
It seems Goose lang might not support 16bit SIMD which I believe is part of the SIMD optimizations done in BBTree in Rust.
6
0
27
4,493
I don’t recommend this approach.
Many of the elite engineers I’ve ever met put everything into their daily work cuz they on purpose chose a role/company/challenge they are truly passionate about & put a lot of extra effort into the company
This is a lazy way to judge autonomy.
Many of the elite engineers I’ve ever met put everything into their daily work cuz they on purpose chose a role/company/challenge they are truly passionate about & put a lot of extra effort into the company
This is a lazy way to judge autonomy.
From a startup founder: “it’s now a red flag for me if I don’t see side projects on someone’s resume / application, because it signals lack of autonomy. Because it’s now so trivial to build anything on the side, vs before.”
78
136
2,700
97,942
My first pass of BBTree in Goose lang.
We are murdering on key misses 😂
We are murdering on key misses 😂
It’s surprisingly difficult to implement BBTree in the new Goose programming language but I’m new.
Although Goose provides exceptional memory efficiency and execution speed without relying on a heap allocator, I’m unclear how to match performance with BBTree.
1
1
42
2,967
Kelly Sommers retweeted
Meet TLAPS-Bench: A new benchmark of 265 real-world #TLAPlus proof targets to push AI agents to crack machine-checked correctness proofs using #TLAPS
44.3% rate at pass@3
46 bugs found
Paper: arxiv.org/abs/2611.02849
Code: github.com/specula-org/TL…
lnkd.in/p/g3ET9E8H
44.3% rate at pass@3
46 bugs found
Paper: arxiv.org/abs/2611.02849
Code: github.com/specula-org/TL…
lnkd.in/p/g3ET9E8H
1
11
45
5,895
It’s surprisingly difficult to implement BBTree in the new Goose programming language but I’m new.
Although Goose provides exceptional memory efficiency and execution speed without relying on a heap allocator, I’m unclear how to match performance with BBTree.
Although Goose provides exceptional memory efficiency and execution speed without relying on a heap allocator, I’m unclear how to match performance with BBTree.
0
0
22
5,591
Kelly Sommers retweeted
There's a new PostgreSQL-compatible database every month, and with AI there are even more. But that doesn't mean you can trust it for your data. Great example: jepsen.io/analyses/parti…
3
12
50
6,478
Kelly Sommers retweeted
At HPTS, Kyle mentioned a company confidently handed him a vibe-coded database to test. Now Jepsen report on ParticleDB is out. IMO I feel sad for the engineers involved. It's a long report, but at least read the part on LLM tradeoffs.
"Perhaps engineers will begin to treat any new software project with suspicion—the signals we used to rely on as markers of a mature system are now easier to counterfeit."
jepsen.io/analyses/parti…
"Perhaps engineers will begin to treat any new software project with suspicion—the signals we used to rely on as markers of a mature system are now easier to counterfeit."
jepsen.io/analyses/parti…
10
15
166
16,710
Kelly Sommers retweeted
Currently hiring for engineers with 10yrs of experience with unix v6
Must be comfortable with ed
We’re gonna be the first to vibe code at 115200 baud
Must be comfortable with ed
We’re gonna be the first to vibe code at 115200 baud
We got @claudeai running on a DEC VT320 Terminal over 38400 Baud at @atuinsh.
What fun converting UTF-8 to Latin-1.
6
1
61
3,339