1111
My Agent Setup
Personal website of Chad Arimura - My agent setup
1112
Tracking down a 25% Regression on LLVM RISC-V
Similar to the previous post, this post covers my analysis of a benchmark on RISC-V targets. Unlike the previous post, I was able to land a patch to eliminate the performance gap to GCC (for this benchmark)!
1113
SubQ 1.1 Small
Subquadratic is a frontier AI research and infrastructure company building a new class of LLMs.
1114
WAL-RUS: a Rust Rewrite of WAL-G for PostgreSQL Backups
How we built WAL-RUS, an open-source Rust-based Postgres backup tool that reduces virtual memory usage by over 70% compared to WAL-G while maintaining full compatibility.
1115
A new way to think about borrow checking (in reverse)
Have you ever had a weird idea, and then it worked, but you can't really believe it?
1116
Gleam v1.17.0
News post: Gleam v1.17.0 released!
1117
How to build a `Git diff` driver
How to write an external tool for `git diff` to delegate complex diffs to.
1118
How JPEG works: Interactively explore JPEG's lossy compression methods
In the world of technology, “forever” means about 5 years. It’s humbling to think that the 1992 JPEG image standard is still going strong despite being more than 5 “forevers” old. Why has it been so successful? This article presents the key ideas behind JPEG in plain language and includes an interactive JPEG…
1119
The cost YAGNI was never about
If you think YAGNI is about saving effort, cheap generation should retire it. It doesn't. Here's why.
1120
Five memorable books about programming (2008)
It's not about technology for its own sake. It's about being able to implement your ideas.
1121
Anatomy of a Lean proof for software engineers
Intro I recently worked through a problem from a theory of computation textbook that asked me to prove a property of a language using finite automata. The informal proof is a simple constructive proof where you build an automaton and show that it recognizes the language. This is kind of similar to program…
1122
Commit description as a thinking tool
Before the AI era, I wrote pretty long commit descriptions (or commit bodies) for major changes. It took me about five to ten minutes to draft and reread them to make sure I didn’t miss anything important. I did that for several reasons.
1123
Good developers learn to program. Most courses teach a language
A bootcamp can teach you the syntax of a language in six weeks. The part that takes a decade is everything else: where the seams go, where the data flows, which decisions you are stuck with for the life of the codebase. This is a senior developer's argument for what learners should actually be looking for, after…
1124
Minions – Stripe's Coding Agents Part 2
Minions are Stripe’s homegrown coding agents, responsible for more than a thousand pull requests merged each week. Though humans review the code, minions write it from start to finish. Learn how they work, and how we built them.
1125
Opaque Types in Python
A proposed technique for exposing an opaque data structure with idiomatic modern Python.
1126
Why is the first C++ (m)allocation always 72 KB?
Why is my first C++ (m)allocation always 72 KB?? It’s the ’emergency pool’ for exceptions, here’s how I uncovered it using GDB and digging through the source code of libstdc++, glibc and Valgrind!
1127
Unicode's transliteration rules are Turing-complete
Claim: as specified, the UTS #35 transliteration-rule language is Turing-complete. This is an exception in Unicode, where algorithms are deliberately bounded and always terminate. The specification defines a revisiting cursor with no rewrite limit. ICU's implementation implements a per-call cap, but the spec itself…
1128
How I've run major projects (2025)
focus • maintain a detailed plan for victory • run a fast OODA loop • overcommunicate • break off subprojects • have fun • bonus content: my project management starter kit
1129
DeepSeek-v4.1 Flash: Pushing the Limits of KV Cache Compression
A deep dive into the DeepSeek-V4.1 Flash technical report: CED, CSA2, HSI, Single-Pass mHC, Engram and FP4 KV Cache — how the KV cache was compressed to just 890 bytes per token.
1130
A whole boss fight in 256 bytes
Endbot is a complete audio-visual demo that fits in exactly 256 bytes . It runs under DOS (via DosBox-X) and renders in real-time: a robot sprite with progressive bullet damage, a growing explosion, a scrolling checkerboard landscape, and a MIDI soundtrack - all from a single tiny .com file.
1131
Zero-copy protobuf and ConnectRPC for Rust
As part of my work at Anthropic, I open sourced two Rust crates that fill a gap in the RPC ecosystem: buffa, a pure-Rust Protocol Buffers…
1132
Mounting tar archives as a filesystem in WebAssembly
How to use a file index to mount a tar.gz archive directly into the Emscripten virtual filesystem without extracting it
1133
Marimo now runs in PyCharm
Bring reactive notebooks into your Python projects, without leaving your IDE
1134
One year of Roto, a compiled scripting language for Rust
By Terts Diepraam Almost exactly one year ago, we announced Roto, a JIT-compiled embedded scripting language for Rust applications. A lot has happened since then that we'd like to tell you about! 💡Along with this post, we published Roto v0.11.0! You can check out the changelog
1135
1136
If AI coding is lowering your code quality, you're not managing quality right
One common take on the coding agents that I see goes something like this: “Sure, AI helps you output more code, but won’t the quality suffer?”
1137
C array types are weird
C array types are weird. In this article I’ll explain what I find weird about them, what I’d do differently, and ramble on a few related things.
1138
Lines of Code Are Back (and It's Worse Than Before)
The metric we killed is back, and AI made it worse
1139
How to Implement an FPS Counter
TL;DR: Don’t base your FPS calculations on a specific number of frames. Instead, maintain a rolling window of frames that happened during the last second. Use precise timers. Read on for more details.
1140
Zigzag Decoding with AVX-512
I’ve been working on speeding up AVX-512 vertex decoding in meshoptimizer recently; in the process I stumbled upon two optimizations that I did not end up using but I thought they might be fun to write about! The optimizations that actually made it in require some higher level background / explanations that will have…