13 June 2025

21 links · Friday

The Narrative Fallacy — Ludicity

Note: This is an edited re-post of something I wrote in 2019 on a now-defunct blog, apparently a month before I started my first job in tech. I need to reference it in a future post. As a result, it is a little bit different stylistically from my current writi…

5 Essentials for getting the most from Coding Agents

5 Essentials for getting the most from Coding Agents Spend the time to teach them your Project There are a lot of AI coding agents out there, but they all stall out if you don’t tool your codebase for them. There’s a ceiling of how effective they can be if the…

Lost Computation

We keep losing context and computation when running programs. But we don't have to. Let’s see how this lost compute can be avoided.

Treat Your Humans Better Than Your Agents

Folks are starting to figure out what kind of environment AI agents need to be productive. The gist is: Agents need clear guidelines in a markdown file at the root of the repository explaining how to contribute to the project. Agents need a clean, isolated, re…

Kernel Memory Safety: Mission Accomplished

(Forword: This post distills our research paper Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB, which is to be published at USENIX ATC 2025. The preprint can be found on arXiv.)

This can't be real, can it?

Fixing the chronic pain in my hands without medicine or surgery. This is my story of recovering from RSI and experiencing the mind-body connection.

I vibe coded for two weeks

I've been solo working on a new project at my current company, which involves migrating a desktop browser extension to mobile (fairly simple software that involves scanning and downloading images).

Say "but yes", not "yes but"

When you’re agreeing with someone but you have a caveat, don’t say “yes, but”. Instead, say “but yes”. For instance, if you’re happy with a suggested approach…

I Don't Want to Pay a Subscription To Program

One point I haven't explicitly heard in the great AI debate, though it's been palpable, is the anxiety of having to be on the hook to pay a subscription fee to write code.

Jason Evans

The jemalloc memory allocator was first conceived in early 2004, and hasbeen in public use for about 20 years now. Thanks to the nature of open source software licensing,jemalloc will remain publicly available indefinitely. But active upstream development has …