Programming (with AI agents) as theory building(opens in new tab)
Curated river of news
Latest posts from blogs I follow
Marcin Wichary brings attention to this lovely dialog in ClarisWorks from 1997: He quips: this breaks the rule of button copy being fully comprehensible without having to read the surrounding strings first, perhaps most well-known as the “avoid «click here»” ...
Why posting on Facebook that you do not give them rights over what you posted on their platform is useless. In fact, as soon as you post that statement on Facebook, Facebook can do with it whatever they want.
I’m all aboard the CSS subgrid train. Now I’m seeing subgrid everywhere. Seriously, what was I doing before subgrid? I feel like I was bashing rocks together. Consider the follower HTML: The content could be simple headings and paragraphs. […]
CSS containment lets you isolate layout and paint work to self-contained ‘islands’. Here’s what each contain value does and how to use it safely.
DuckLake’s data inlining stores small updates directly in the catalog, eliminating the “small files problem” and making continuous streaming into data lakes practical. Our benchmark shows 926× faster queries and 105× faster ingestion when compared to Iceberg.
A closer analysis on the airspace around Mumbai's BOM/VABB (CSMIA) Airport. Questioning the intuitions from memories and answering and reasoning through the data.
When you type a question into ChatGPT, the model only has what you typed to work with. But tools like Claude Code can plan, iterate, test, and recover from mistakes. They work more like we do. The difference is the ...
… is what I’m reading far too often! Some of you are losing faith! A growing sentiment amongst my peers — those who haven’t already resigned to an NPC career path† — is that blogging is over. Coding is cooked. ...
The new WebAIM Million report is out, the eighth annual accessibility analysis of the top one million home pages on the Web. And after eight years of data, the picture is as sobering as ever. In 2019, 97.8% of home ...
Over the decades, Humans have proved to be pretty bad at producing bug-free software. Trying to apply our approximative, fuzzy thoughts to perfectly logical computers seems doomed. While the practice
DuckDB now speaks Dutch! Load the EendDB community extension and start writing your queries in het Nederlands.
In this post we'll be building a fullstack web app with server-side rendered (SSR) HTML using Rust and Maud. This post continues our series on building webapps with Rust: Build a Simple Single-File R...
It has recently come to my attention that people need a thousand lines of C code to read my website. This is unacceptable. For simpler clients, my server supports gopher: /* HTML tags, keywords, commands */ h-n {color: #F27;} /* ...
While gopher is usually seen as a proto-web, it's really closer to FTP. It has no markup format, no links and no URLs. Files are arranged in a hierarchically, and can be in any format. This rigid structure allows clients ...
A wrap up of all the things that happened in Terminal Trove in March 2026.
A terminal first monitor configurator and daemon for Hyprland.
There is a tiny wild sun trapped inside my crystal tower. I hear its garbled voice and catch the yellow of its fire through the blinding white blocks of the summit. The tower itself is so bright on the outside ...
My dad’s a sports fan and I’ve been asking him about famous games he attended. This weekend he told me about the time he took my mom to see his alma mater Cornell play Navy in Annapolis in 1962. He ...
Social media was supposed to connect us, but most of it has turned into ads, division, and loneliness. I'm betting on ATProto as a way to fix that, and not just for developers. Whether you're a scientist, journalist, or just ...
Jason Gorman writes about the word “continuous” and its place in making software. We think of making software in stages (and we often assign roles to ourselves and other people based on these stages): the design phase, the coding phase, ...
When James and I published our impressions of anime racer Screamer the other week, I mentioned I was keen to give its online races a go once it’d pulled out of the garage. Would the sights and sounds of sliding ...
If your design system can only apply `loading=lazy` or `fetchpriority=high` blindly, it may be safer not to apply them at all.
Topics covered in this episode: Lock the Ghost Fence for Sandboxing MALUS: Liberate Open Source Harden your GitHub Actions Workflows with zizmor, dependency pinning, and dependency cooldowns Extras Joke Watch on YouTube About the show Sponsored by us! Support our ...
My sweater is weird but it is special and important to me.
Kubernetes v1.36 is coming at the end of April 2026. This release will include removals and deprecations, and it is packed with an impressive number of enhancements. Here are some of the features we are most excited about in this ...
Sundays are for deciding to re-watch The Sopranos. Specifically that episode in which Tony gets a bad tummy and then talks to a fish. You wonder what you might fever dream of, if you too were to go and eat ...
Sometimes you can win big by playing the game differently. My father shared a story about one of the most famous football games in history. We were asking him about great sports moments he had witnessed such as Joe DiMaggio ...
The Most Important Ideas in AI Right Now April 2026/images/blog/the-most-important-ideas-in-ai/header.webp/images/blog/the-most-important-ideas-in-ai/header.webp After thinking about this for about a week, and attending the RSA conference during that time, I think there are a few main AI ideas tha...
What Happens When AI Stops Being Artificially Cheap/images/ai-stops-being-artificially-cheap.webp I've been thinking about what happens when AI inference costs stop being subsidized. Every major lab is losing money on inference right now, and that's going to change. I don't know exactly ...
There is a significant danger that this article will have aged terribly. You see, I asked everyone what they were playing this weekend on Thursday, rather than the usual post-lunch scramble on a Friday. You see, I took Friday off ...
We Are Confusing Two Types of AGI/images/two-types-of-agi.webp/images/two-types-of-agi.webp I think the biggest problem with the AGI debate is that we're confusing two types of AGI. I propose thinking and discussing them as two different things: 1. Soft AGI: An AI system ...
Astral is joining OpenAI, which says a lot about where the center of gravity is moving for developer tools, LiteLLM got hit by a nasty supply-chain attack, and OpenCode blew up as the latest serious open source swing at the ...
I’m just back from the United States 50th state, a staggering 2,500 miles from the mainland. For the next week or two, I’ll pronounce it Ha-Vie-ee, like how it’s pronounced in the native Hawaiian language. A language, by the way, ...
AI Unmasked Our Work as Scaffolding/images/blog/ai-unmasked-our-work-as-scaffolding/header.webp/images/blog/ai-unmasked-our-work-as-scaffolding/header.webp I think AI is revealing that a vast percentage of knowledge work is scaffolding overhead. Maybe 75-99%. 1. In my own field of cybersecurity, ...
Controversial donation banners, Booklore successors, and a public service announcement for GitHub users
Originally published on Rails At Scale. Look! A trace of slow events in a benchmark! Hover over the image to see it get bigger. img { max-width: 100%; } img:hover { transform: scale(2); transition: transform 0.1s ease-in; } img:not(:hover) { ...
I love my single-purpose devices, and I got another one for distraction-free writing called the BYOK!
I just finished my 12-week programming retreat at Recurse Center. As is tradition, we write "return statements" to reflect on the time - what we did, built, and learned. What is Recurse Cen...
Weekend articles should be lighter and fun. Not everything has to be an argument, a deep dive, or a small your average frustration disguised as an essay. Sometimes I just want to build a tiny piece of nonsense, the sort ...
I have two dreams as mayor of an island town in Nova Roma, the new early access city-building game from Lion Shield and Hooded Horse. One is to erect a fantastic water network for my people - a sturdy yet ...
I’ve noticed lately that more people are writing forum postings and Reddit questions as if they were writing a prompt for an LLM. Here’s an example from a Buddhist forum I lurk on:
Software and digital security should rely on verification, rather than trust. I want to strongly encourage more users and consumers of software to verify curl. And ideally require that you could do at least this level of verification of other ...
A Python project got hacked where malicious releases were directly uploaded to PyPI. I said on Mastodon that had the project used trusted publishing with digital attestations, then people using a pylock.toml file would have noticed something odd was going ...
If you've built documentation in the Python ecosystem, chances are you've used Martin Donath's work. His Material for MKDocs powers docs for FastAPI, uv, AWS, OpenAI, and tens of thousands of other projects. But when MKDocs 2.0 took a direction ...
House House were kind enough to keep a video of my hands-on session with Big Walk, filmed by one of the participating PRs. Generally, a full video of a preview event including player audio is a lifesaver for a journalist, ...