New blog post: Solving Regex Crosswords with Z3
New blog post: Solving Regex Crosswords with Z3. This is another one from the annals of "we do these things not because they are easy, but because we thought...
New blog post: The ITTAGE indirect branch predictor
New blog post: The ITTAGE indirect branch predictor While profiling and trying to understand the performance of the new CPython tail-calling interpreter,...
What is the purpose of POSIWID?
Or, a short piece in response to The Discourse, and an experiment with being somewhat timely A somewhat-famous internet blogger recently authored a post...
New blog post: Performance of the Python 3.14 tail-call interpreter
New blog post: Performance of the Python 3.14 tail-call interpreter - Made of BugsA deep dive into the performance of Python 3.14's tail-call interpreter:...
New blog post: Building personal software with Claude
New blog post! Despite working at Anthropic for around 3 years now, I still find it hard to keep an up-to-date felt sense of the capabilities of current-...
New blog post: Finding near-duplicates with Jaccard similarity and MinHash
New blog post: On Jaccard similarity and the MinHash trick I learned about this algorithm and hashing trick while reading about LLMs and GPT-3, and thought...
New blog post: Stripe's monorepo developer environment
New blog post! This one started as a Slack thread at work, outlining some salient decisions that Stripe's developer productivity team had made in building...
New blog post: Performance engineering, profilers, and seeing the invisible
New post published: Performance engineering, profilers, and seeing the invisible I intended for this to go out a week or two earlier, but then I got...
New blog post: Advent of Code in C++ Template Metaprogramming
Long story short: I wrote up a solution to Advent of Code day 1, using C++ template metaprogramming. Historically I haven't usually done Advent of Code, but...
New blog post: A note about ML and Pickle
New blog post: What's the deal with ML and pickle? Inspired by a friend asking me "What's the deal with ML software and using pickle for everything?," I...
New blog post: Graceful behavior at capacity
New blog post out: Graceful behavior at capacity This one got a little bit away from me, although I'm fairly happy with the result. It originated as a series...
New blog post: Efficiency trades off against resiliency
It's been a while! Updating the newsletter because I've published a new blog post, exploring the phenomenon that making a system more efficient often makes...
Blog post: A cursed bug
Hey folks, Just writing an update to let subscribers know of a new blog post. I posted a writeup of a delightfully cursed bug that we ran into and eventually...
Two reasons Kubernetes is so complex
Preface Hello friends! It’s been a while. I’ve been finding it very hard to write while holding up a full-time job, and I’ve also been dealing with some very...
Some thoughts on GitHub Copilot
A week or so ago, GitHub announced GitHub Copilot, their AI-powered code completion assistant, powered by a version of OpenAI’s GPT-3 model. I’ve spent a lot...
Blog post: Distributed cloud builds for everyone
Ranger update! He turned 6 months old about a week ago. Here he is celebrating Memorial Day yesterday with his very first slice of watermelon, which he...
Blog post: Building LLVM in 90 seconds using Lambda
I’ve been talking about my Llama project here for a while now. Last week, there were some blog posts about building LLVM quickly on large machines, so I...
Some more Llama profiling
I wrote previously about profiling llama, and the challenges of understanding this distributed system. A few notes today about some of my progress since...
Do the hard one second
Look at this perfect sleepy donut boy! Technical migrations This post is an excerpt from a work-in-progress post about running technical migrations. If all...
Profiling llama
Profiling llama I wrote a few months back about llama, my experimental project for executing shell commands in Amazon Lambda. I briefly previewed llamacc,...