37% context left

Sunnyvale, CA
Pinned Tweet
Spent the past week on SlateDB's DST harness. It was a bit of a slog. The more state I explored, the more false positives I encountered. rng.md/posts/deterministic-s…
6
4
65
17,907
Chris retweeted
3 years ago today 🫡
After 4 months of focused work, I'm launching what is, to my knowledge, the first truly serverless vector database: turbopuffer.com/ $1/month per million vectors (10-70x cheaper than others) $4 per million queries
13
3
396
11,912
That's bad
The US government is now spending a record 18.5% of its total revenue just to cover interest on its debt, per YF
22
43
641
29,227
Chris retweeted
This came from talking to some friends trying to perfect the spec by having the model use * Deterministic simulation testing * Formal Methods * Define Guardrails based on current model behavior * and more My advice to them 🧵
If you are building a software factory, and want to just feed in a perfect spec and get out a working system - are you just reinventing the waterfall method with agents? I can’t wait for history to repeat and we have an agentic agile manifesto
2
2
4
728
Another day, another WAL-on-S3 system encoded in a TLA+ spec. This one is Shared Stream Consensus (S2C) which is more of a shared log for SMR, but fits closely enough to a WAL. After all, a WAL on shared storage is a shared log. My spec confirmed a theoretical consistency bug in the design, related to GC freeing a log address so a stale writer could do a put-if-absent of a log entry behind the snapshot boundary. A second spec adds a fencing record in the log, SlateDB style, to avoid the scenario. github.com/Vanlightly/s3-wal…
4
5
31
1,422
Secret to building amazing software in the AI age: 1. Build something you actually want. 2. Use it religiously. 3. (Tell AI to) improve bugs/rough edges/new feature ideas while doing (2). <<always has been>>
5
29
1,497
i.e. you can't one shot the thing
If you are building a software factory, and want to just feed in a perfect spec and get out a working system - are you just reinventing the waterfall method with agents? I can’t wait for history to repeat and we have an agentic agile manifesto
1
352
Added a bug/idea thingy to my app. It searches GH and lets you +1 discovered issues or open a new one. It also adds (scrubbed, user-approved) diagnostic info/logs/etc. The other half of this loop is Claude/Codex fixing/dismissing these issues. Self-improving software is coming.
2
6
861
🥳 Stoked to return to @P99CONF! I'll talk about Hardwood, a new JVM library for reading & writing Apache Parquet: no mandatory deps, multi-threaded, built for max throughput. Live for Q & A while my session plays! 🗓️ Oct 21, 5:35pm CEST / 8:35am PT 📍 p99conf.io/
3
12
2,255
Replying to @jaykreps
This pretty much matches my experiences from building Hardwood over the last nine months. The community side of OSS is changing dramatically. A small, committed team can build at an amazing pace (you don't want to go all by yourself). I still welcome outside contributions, that's how new folks join in after all. But oftentimes, I end up reworking PRs substantially, going off of the original issue description as you say. We also saw quite a few slop PRs (the "good first issue" label attracts them), but we now have policies defined for dealing with them. For instance, drive-by contributions by accounts randomly spamming large numbers of unrelated repos with PRs are closed. There are some struggles (as for everyone working with AI), but overall, I'm really excited about where all this is going. And someone with "taste" still is needed as you say; tons of human decisions and care went and are going into Hardwood; I don't see AI building it all by itself any time soon.
2
11
2,337
Indeed
I keep reflecting about the economics of this. Everyone can make their dream games now? Ok. Then what? For offline games: in most genres, playing one you made yourself isn't so fun because you're, by definition, spoiled. For online games: if everyone can build it, getting people to play it (which was always the hardest part) will be even harder. So, which game will people play, and why? For one, building my dream MOBA right now should take a week (in Bend so there are no bugs 😃). But if people are stubborn on League of Legends, what good is that for? Hmm...
508
actually you can
You can never vibecode and build a ML model I REPEAT NEVER
33
179
5,180
141,431
Easy to make game. Hard to make GOOD game. Game ~= everything
no evidence of AI coding uplift in video game development. why?
2
7
1,062
Also, distribution is very locked down. Steam is the most open, and even there it’s non trivial.
218
sol 6.1 is kind of a beast
1
2
5
956
Chris retweeted
This sounds like the Databricks Lakebase concept?
A painful part of working with your data has always been that your live data and historical data are stuck in separate systems: the order a customer just placed lives in your database, while their last five years of orders sit in a data lake in S3. And answering a real question usually needs both at once (is this a normal purchase for them, or should we flag it?), and to do that you had to move the data together first, copying history out of the data lake into your database (or the other way around), because the database couldn’t read it where it lived. That meant guessing ahead of time which data you’d want, keeping a second copy of it all, building pipelines to move it, and constantly syncing so the two didn’t drift apart. A lot of plumbing, and slow going, all before you could answer one question. And even then, the answers were only as fresh as your last sync. That now changes with Aurora PostgreSQL, which can call your live data and historical data in S3 together, in a single query. No copying, no pipelines to keep in sync. And it’s fast, because we’ve built in DuckDB, a popular open source engine that’s really good at reading and analyzing data right where it’s stored. DuckDB reads the open formats like Parquet and Iceberg already sitting in your data lake, so there’s nothing to convert or move. As folks build AI agents into their apps, the data their agent needs will depend on the task in front of it. Being able to query that specific data live, instead of copying it over just in case, is gonna be a big help for builders. aws.amazon.com/blogs/aws/ama…
2
9
1,217
Chris retweeted
This is interesting. Currently Waymo is priced against Uber, but what is the price for self-driving ride share as competition drives that down? At $2/hour, most people in cities don’t own cars.
"Even if they’re empty half the time, and energy and maintenance double the cost of the car itself, the equilibrium price is about $2 an hour." betonit.ai/p/the-rideshare-r…
4
2
14
4,947
Wake up, babe, new benchmarks dropped. It's good to see more companies realize the importance of FTS in Postgres and doing serious engineering on it. Here's to better databases for everyone.
Two weeks ago, @PlanetScale launched TIN. They benchmarked it against us, and it was very fast. So we spent those two weeks making ParadeDB faster without their tradeoffs. Today, we are faster than TIN. paradedb.com/blog/opening-a-…
2
1
61
4,862
Chris retweeted
Two weeks ago, @PlanetScale launched TIN. They benchmarked it against us, and it was very fast. So we spent those two weeks making ParadeDB faster without their tradeoffs. Today, we are faster than TIN. paradedb.com/blog/opening-a-…
38
49
438
106,814
Chris retweeted
不喜欢 ACP,又想调用各种 agent (Claude Code, Codex, Kimi Code, Pi, ...)的不妨试试 oar - Open Agent Runtime 🤓 github.com/botiverse/oar 思想类似于 @xuanwo 的 OpenDAL,用一个协议层(S3-compatible)去对接各种不同的服务就总会有很多坑,所以不如做成一个 library,从而可以做更多事。
12
28
200
44,891
😵‍💫 it’s every day now
Replying to @Google
Gemini 4 Argon is our next era of frontier intelligence. It shows significant improvements across benchmarks, setting a new state of the art for real-world long-horizon software engineering tasks.
2
10
1,483