Engineering & epistemology. Former Neon, Cockroach Labs, Stack Overflow.

New York, NY
Joined March 2008
Desktop agents + Omarchy = bad for services revenue for Mac & Windows.
1/ today we're rolling out Muse, our new personal ai assistant. Muse is always-on, wicked fast, can use a browser, connect to your apps, and is designed to be secure. try it now: muse.ai.
1
145
Seems to me one could simply run this locally on your machine. Your local config (and auth) is only S3. Don’t need a shared server.
Git at Scale (by cursor) has been one of the most interesting blog posts i've read in a while. It came right when I was frustrated with Shopify's internal git system. As an exercise, I've implemented it over the weekend as open source. It's a single rust binary that you can point at any S3 type object store. It uses WAL and CAS primitives and requires no other data store. It also implements bundle-uri so large git repos (like our mono) are very fast to download as a chain of static bundles. Also comes with basic familiar UX. github.com/tobi/walgit
1
7
7,249
A cloudy day is only around SPF 2. Deceptive! grok.com/share/bGVnYWN5LWNvc… Glass is around SPF 10. grok.com/share/bGVnYWN5LWNvc…
117
That Choosin’ Texas song has me charmed, but I was introduced to it because I follow the song’s guitar player on the YouTube: youtu.be/p1yFiRvqeNI
1
72
Tall tale.
JUST IN: New study reveals giraffes can do simple math.
153
God’s Comic, Green Shirt, Clubland, All This Useless Beauty, Taking My Life In Your Hands, No Action
My Top 10 Elvis Costello Songs! 1. Brilliant Mistake 2. Beyond Belief 3. Accidents Will Happen 4. Radio Silence 5. New Amsterdam 6. I Don't Want To Go To Chelsea 7. Tramp The Dirt Down 8. Little Palaces 9. Red Shoes 10. Strict Time + 13 Steps ... My Little Blue Window This Town
2
149
Clean electric guitars sound dirtier than other instruments. It’s a raspy thing in the best of circumstances.
What most don't realize about Paul and many of this generation are two things. 1. The amp is cleaner than it sounds. 2. Standard Tuning. Proving... You don't need maximum gain and a down tuned baritone to sound heavy in Rock. The riff is the star. 😎👍
1
68
If you know the story of the rock band Rush and have seen the YouTube videos from the tour this week, they will bring a tear to your eye. Anika Nilles is a hero.
2
71
A friend's feelings about the rock band Rush
67
Ever get one of these? Today’s Wordle. ⬛⬛⬛⬛⬛ ⬛⬛⬛⬛⬛ 🟩🟩🟩🟩🟩
1
87
Very true. Databases do a lot caching (from disk mostly) and keep it consistent, even when we aren’t paying attention. If at all possible, just use the database. Optimize the queries. Databases have also figured out the hard parts of replication: transactions and ordering. Hit a database secondary if you don’t wanna hit the primary. There is exactly one dimension of inconsistency, which is time. Third, use an analytics database if you want aggregation. Accept the time delay and design for it. Almost never, in my opinion, is “database data in Redis/memory” the right answer, unless you are very tolerant of inconsistency.
Cache invalidation is hard because the moment you copy data to make a system faster, you create two truths that can drift apart: - One is the real data, - one is the saved fast version. "Just update the cache when data changes" is practically useless advice. That only sounds clean if you ignore delays, failures, race conditions, multiple services, retries, out-of-order events, and users reading data while writes are still moving through the system. In general, you need rules for - when the fast version is still safe, - when it must be replaced, - who decides that, - what happens when that decision is late, lost, or wrong. Cache invalidation is a constant trade between speed and correctness, and people often pretend they can fully have both.
1
3
105
Best meal in midtown.
1
84
I am doing this. Switch models for each review btw!
My recommendation rn is that you have AI review its own code at least 3 times before a human review. Once at the end of the current turn. Once before you submit the PR. Once after PR submission. If you do that much you will weed out a lot of dumb mistakes from the agent.
1
133
Friend asks for best New Pornographers songs for Neko Case vocals. My response is: brother, how much time you got.
86
Intuitively, yes, but it might be like the human programmer experience with strong types/compilers. On the one hand, LLMs are not very deterministic. So if we see strong types as adding back that determinism, this is compelling. Furthermore, strongly typed languages can exhaust humans, who are just trying to get something done. The LLM won’t get tired, and will give us a stronger, correcter program than we would otherwise have gotten. OTOH! Type enthusiasts (I am one) have begrudgingly learned that dynamic languages can be every bit as correct as static languages. On that same other hand, high-level languages look like English, on which the LLMs were trained. Perhaps some transfer learning happens. Overall, I’m on the side of Greg’s hypothesis, but I also know it might not actually net out to be true.
rust is a perfect language for agents, given that if it compiles it's ~correct
144
Indeed true but only in retrospect. I know a small handful of programmers that can do correct and optimal in one pass. Also, I am learning that the market rewards existence first, and performance maybe third or fourth.
performance enhancements this impressive are only possible if first you do something stupid
151