How to Set Up T3 Code and Tailscale on Windows and Phone
T3 Code provides a convenient interface for working with coding agents such as Claude Code and Codex. One of its more interesting features is that the T3 client doesn’t need to run on the same…
Two Schedulers, One SLO
The previous post ended on a pattern: a memory hierarchy works because one component can see the whole path, and disaggregation splits that visibility across two vendors. Scheduling has the same…
When the Batch Is Already One: ShardTensor and the Cost of Dividing the World
There is so much fluff out there telling us that we are nearing the limits of our current technology. I would argue that couldn’t be further from the truth. As...
My dev statistics in Linux 7.2
Linus Torvalds released Linux 7.2 as expected on August 16th, which means a lot of my changes and reviews will hit a lot of machines around the world (and hopefully won’t cause any serious bugs!).
The Specification Is Not a Document
Imagine joining a software project a few years from now. It is a large, mature system. It has thousands of business rules, years of operational experience, regulatory obligations, performance…
A Field Is Not a Process
A timestamp records when a wiki page was written. Nothing in the format runs to keep it true. Twenty-one years after I helped build a commercial wiki, the LLM-wiki idea is back, and it dropped the…
jotawm git log --all
commit 7a7917f46c2966fcaf17807c128ef31e3ed9bd5d Author: Jotalea (ThinkPad) <main@jotalea.com.ar Date: Wed Aug 19 07:47:04 2026 -0300 add instuctions for the different modes commit…
Seven ways a check goes green without checking
I moved 177 entries out of an index and the consistency check went green without looking at any of them. Over nineteen days I collected twenty-four of these across modules that never met, and they…
🏮 The Chord Your Keyboard Can't Play
I built a tiny piano app and found a chord that physically cannot be played on a MacBook keyboard. The bug wasn't in my code—it's soldered into the keyboard, and it's been there for sixty years.
How I run AI coding agents as a team with AI DevKit
I spend most of my time in the AI DevKit agent console. I start one agent as the manager, usually Codex, and brainstorm with it. Once an idea becomes concrete enough to execute, I ask the manager to…
A real chart in 15 lines of SVG, no library
No chart library needed. Inline SVG plots your data in 15 lines, scales to any container, and styles with the same CSS as everything else.
There Is No Address
The last post argued that a KV cache has no interchange format. Grant one anyway. Suppose the two vendors agree on layout, dtype, block size, scale placement and every other axis in that list. The…
Cool Link: prop-for-that
by Adam Argyle This project aims to make it easy for CSS to have access to things only JS could have previously, all through CSS variables. This makes it way easier for CSS to still be responsible…
Pseudonymous or anonymous test data?
I just want to show you some pseudonymization ideas, and the point where they stop working.
The process of migrating from Sass to native CSS
For years Sass offered us superpowers. It was a superset of CSS, opening up a world of possibilities for developers. The ability to use variables, functions and nest our rules was too good to turn…
[Java][JVM][Tuning][Profiling][G1][JIT] Why is Arrays.fill 265 times slower on G1GC?
[Java][JVM][Tuning][Profiling][G1][JIT] Why is Arrays.fill 265 times slower on G1GC?
Daily Driver 3/7: The updates I never had time to check
A bot opened a pull request that reads completely fine. The machine that checks these for me refused it twice, in three seconds each, for a reason no amount of reading could have found. For ten…
The Log Printed Exactly What I Wanted. The Fix Was Still Wrong.
I spent two days on a bug where a screen-capture stream never came back after the display went to sleep. When I finally had a patch I believed in, I ran it, put the machine’s display to sleep,…
Video Link: Jayaprabhakar Kadarkarai - Create your own DSLs
Video Link: Jayaprabhakar Kadarkarai - Create your own DSLs This is technically a link to a talk contained within a video. The entire video is worth watching it’s the lightning talks at the…
A generic heap in Go
An example of the heap package, re-imagined as a generic heap.
Modern Game Port: Syndicate (1995)
I ported Syndicate (1995) to the web.
Pillage and Plunder Dev Log #2: Some Random Thoughts
So I have been having a bunch of random thoughts as I have been working through reacquainting myself with my C++ game, Pillage and Plunder. So I figured I would write them down to get them out of my…
Hosting the .NET Aspire Dashboard as a Standalone Container in Azure Web Apps
Sometimes you just want a simple way to look at your traces, metrics, and logs without setting up a full observability stack. Just a UI where you can see what your applications are doing, without…
Software Factories Can Handle UX
The hardest thing about running an arm’s length software factory has been anything that touches UX. If your quality bar is high, a human still has to look at a screen and use it, and what comes back…
Ghostty, tmux, And SSH: A Terminal Workflow That Survives Context Switching
Separate terminal rendering, durable sessions, and remote access so a context switch, disconnect, or laptop change does not turn active engineering work into a scavenger hunt.
Extracting Google Scholar metadata
I wanted to find the number of citations per year for a paper from my dad, at least per Google Scholar. Hacking around, here’s a little JavaScript to get it per results page: How would you do…
Creating PySide6 UI without .ui / Qt Designer — Build your entire GUI in pure Python code, no .ui files required
Is it possible to write a PySide6 application without using .ui files or Qt Designer? How can I create widgets and lay out a window entirely in Python code?
Most influential books on programming
Throughout my professional career as a programmer, I read lots of books. They helped me deep-dive into topics I wanted to gain more expertise in, uncover new topics, or sometimes they simply inspired…
Things I want in a modern relational query language
This was a very old draft I’ve had sitting around for years. The recent discussions of new query languages like Acadia spurred me to revisit, revise, and publish this. I think one of the…
html tasting menu
well i didn't manage to get anything done for html day this year, so thank you to Ross A. Baker for bringing the HTML tasting menu! his bite-sized benchmarks can be used to test your css, so fork…
React Native Bridgeless, race conditions with concurrent JS runtimes
Recently a bug was reported to op-sqlite, it was a crash that only reproduced on hot reload or a CodePush/OTA update. Never on cold launch. The stack trace pointed at ~jsi::Value() inside…
Nobody Could Have Written the Ticket
This is part of a pair of articles on the impacts of agent driven development - you can read thoughts on the review process here. I threw away the entire AI for Annhexation and started again.…
Config based git hooks for fun and profit
TL;DR Git is going to have (or by now has – via 2.54.0) a new, well, sorta, new feature called git-hooks which you can define in your configuration. This article will explain the how. The way…
July 03, 2026
To start: The Phoenix Code Annoyance. I found out how to use it without having to deal with the AI bullshit. For some reason, it breaks and resets the phcode.json if you update it so that it doesn't…
TIL: Mind Your `field_with_errors` In Rails
I was happily coding my RSS Feed reader, grabbing screenshots, taking notes when I suddenly found a wild bug: Did you see that text area collapse? Yeah, me too. And I didn’t like it. The thing is, I…
Declarative systems and sources of truth
My thoughts on a concept that keeps coming up.
Devbox: a pattern for development in the cloud
A post about how I do AI-assisted development in the cloud, with a link to a Github repo for setting it up yourself.
Detecting Claude and ChatGPT using letter counting.
Last time I built a detector that counts four-letter runs (n-grams) and tells you whether Claude Opus 5 wrote something. It works well - about 91% on text it has never read. It has one obvious hole:…
Obsidian + Claude Code: The Setup I Use Every Day
How I use Obsidian as the markdown editor and project organizer next to Claude Code. No plugin, no MCP server, one folder per project.
Backing up my Bear notes to Hetzner
The Bear notes app recently added a CLI for interacting with your notes. Let's use it to build a script for creating backups of my notes! Prerequisites Here is the stack I am using: Bear (duh) Fish…
Looking for Maintainers!
I have a lot of open source projects. Many are Swift packages, but I also have a few apps as well as a bunch of other projects in Ruby, C, and probably others too. I have realized over the last year…
How to Make Claude Code Do Things Its Own Docs Don't Mention
A plan of mine hinged on "a startup hook can only add context". The installed Claude Code binary said otherwise, and the docs would not say so for weeks. Docs lag, omit, and describe the version the…
Jellyfin Media Integrity Scanner: v0.1.1 Release — Update Checker and Auto-Update
v0.1.1 release article for the Jellyfin Media Integrity Scanner. Covers update checker architecture, session-aware auto-restart, package bloat fixes, Playwright E2E testing, media corruption test…
A Conjecture That Was False by One Exponential
We named a proof obligation about how fast a shallow exp–log expression can approach zero. It fit the lower-depth results and it looked right. It was false — and false at exactly one scale. Replacing…
Eight Circles, Except When There Are Seven
Apollonius' problem has eight solutions in generic position. While formalizing it in MachLib we assumed the obvious general-position condition — three equal circles, comfortably separated. That…
How I Run Local LLMs for Coding (and Why the Quant Matters)
How I run a coding LLM locally on a single RTX 3090 Ti — the model journey from Claude-distilled to a dense 27B coder, why MoE beat dense for speed, why I stayed on llama.cpp over vLLM on Ampere, and…
McNemar's test in R
Introduction In a previous article, we showed how to perform the Chi-square test of independence in R in order to test whether two qualitative variables are related. As mentioned in that article (and…
Tau Ceti: ten theorems from the first month
It's been a month since we launched, so I'd like to make a brief post highlighting some of the results that have landed in Tau Ceti. We're ready for more contributors at this point. Please come to…
Announcing the Palomar Registry
Today we're launching the Palomar Registry, an index of formalized mathematics repositories with a valid #comparator setup and #formalization.yaml metadata. Limited automatic review rejects…
Devlog #1: vitald v0.1.0 — Building a Self-Hosted Health Data Pipeline
This is a write-up of a weekend project, vitald, I made after buying a Google Fitbit Air (I’m slowly transitioning out of the Apple ecosystem). One of the main reasons I gravitated towards the Fitbit…