Featured post what's this? ✨ Who Watches the Provers? — Leonardo de Moura Leonardo de Moura — Creator of Lean and Z3
‘Your Frustration Is the Product’ The people making these decisions for these websites are like ocean liner captains who are *trying* to hit icebergs.
Austin’s Surge of New Housing Construction Drove Down Rents After decades of explosive growth, Austin, Texas, in the 2010s was a victim of its own success. Lured by high-tech jobs and the city’s hip reputation, too many people were competing for too few homes. From 2010 to 2019, rents in Austin increased nearly 93...
Writing a Good AGENTS.md Learn what to include, what to skip, and how to structure your AGENTS.md for best results.
Too Much Color I spent too much time looking at too many colo(u)rs to try and optimise them for csskit. Here are some interesting findings.
Why One Key Shouldn’t Rule Them All: Threshold Signatures for the Rest of Us Private keys are the backbone of digital security — and a single point of failure. Threshold signatures split that risk across multiple parties, and the DKLS23 protocol does it in just three rounds…
You Have to Earn Your Calculator On the temptation of LLMs, and why sometimes you still need to do the work by hand.
bertolami Joe Bertolami's portfolio and blog covering artificial intelligence, game development, computer graphics, data compression, and more.
I Miss Coding Coding agents have transformed my work at Google. But even if I keep my job, I don't enjoy this new role. I used to love figuring out the 'how.' Now the agent does it, and doing it myself is just inefficient.
How ZJIT removes redundant object loads and stores ZJIT’s optimizer now removes redundant object loads and stores, improving JIT performance of CRuby’s shape system. This post explains how the optimization works.
30 Days. Then Gone. An open source website that ceases to exist on April 17, 2026. Fork it. Add to it. Leave your mark.
I personally paid for our CNCF and Linux Foundation memberships and I’d do it again Developer and founder based in Germany. Writing about software, infrastructure, and building systems.
BEAM Metrics in ClickHouse How we are periodically dumping metrics about our most demanding BEAM processes into an easy-to-query ClickHouse table.
The biggest surprise of the MacBook Neo Remembering the PC market Almost 10 years ago I said “Managing the Mac product line must be one of the most challenging problems at Apple. That may not be obvious given the product’s success.…
Product has always been the bottleneck, it’s just clearer now If you’ve been doing engineering in a big enough company for a while now, you are probably aware of the process most companies with a substantial number of people use. Engineers wait for the go ahead to build some product that management has identified to...
Building a Personal Mnemonics Bot - We launch on Friday Every now and then I encounter a new word that I’ve never heard before. Or need to memorize the shopping list, a phone number, a date, or a fact. In school I didn’t have any system to do that other than just read the information as many times as needed fo...
Just one more prompt | Tao Bojlén I love coding with AI. I often have several parallel agents, across multiple projects, running off on various coding errands for me. Like Craig Mod, I’m software bonkers: I just can’t stop building software.
Claude Code's poor time awareness From some of my interactions with Claude Code1 so far I’ve noticed that it seems to have a pretty glaring issue: it doesn’t really have a good sense of time-tracking built into it. Because of this, Claude2 misses good choices that would help it finish som...
Your System Kills Itself Trying to Recover Distributed systems fail in two ways: the failure itself, and the system’s automatic response to the failure. The second is usually deadlier.
Is passing user ID through context an antipattern? Why the middleware-to-handler boundary is a special case for context values.
JavaScript Thinks Everything's a Date Popular JavaScript engines have legacy date parsers that will extract a year from nearly any string containing a number. "Route 66" becomes 1966. "Boeing 747" becomes year 747. We explain how the parser works and contrast it with Python.
AI Coding is Gambling GambleAI I’ve been coding a lot with AI since November, when we all noticed it got really good. And it is quite good for instantly generating something th...
