Everything you care about in one place
Follow feeds: blogs, news, RSS and more. An effortless way to read and digest content of your choice.
Get Feederblog.nelhage.com
Made of Bugs
Get the latest updates from Made of Bugs directly as they happen.
Follow now 135 followers
Latest posts
Last updated about 1 month ago
Solving Regex Crosswords with Z3
about 1 month ago
For a while now, I’ve been fascinated by Z3 and by SMT...
The ITTAGE indirect branch predictor
5 months ago
While investigating the performance of the new Python 3.14 tail-calling interpreter, I...
Performance of the Python 3.14 tail-call interpreter
9 months ago
About a month ago, the CPython project merged a new implementation strategy...
Building personal software with Claude
10 months ago
Earlier this month, I used Claude to port (parts of) an Emacs...
Finding near-duplicates with Jaccard similarity and MinHash
over 1 year ago
Suppose we have a large collection of documents, and we wish you...
Stripe's monorepo developer environment
over 1 year ago
I worked at Stripe for about seven years, from 2012 to 2019...
Efficiency trades off against resiliency
over 2 years ago
What’s the “right” level of CPU utilization for a server? If you...
Transformers for software engineers
over 3 years ago
Ever since its introduction in the 2017 paper, Attention is All You...
A Cursed Bug
almost 4 years ago
In my day job at Anthropic, we run relatively large distributed systems...
Distributed cloud builds for everyone
over 4 years ago
CPU cycles are cheaper than they have ever been, and cloud computing...
Building LLVM in 90 seconds using Amazon Lambda
over 4 years ago
Last week, Frederic Cambus wrote about building LLVM quickly on some very...
CVE-2007-4573: The Anatomy of a Kernel Exploit
almost 16 years ago
CVE-2007-4573 is two years old at this point, but it remains one...