Many readers will be aware that an unusually high number of features have been reverted from the PostgreSQL 19 branch after the beta period began. Having some reverts is not unusual, maybe one per cycle could be expected. But this time around, about 8 to 10 si…
Of more than 50 US actions over Iran against listed companies since 2009, six cut the shares by 10% or more within a week. Each one cut off the company's main business or threatened a bank's access to the US. None was preceded by a slide in the price, and the …
TLDR; I gave 4 coding agents a $100 budget to build a functional PDF editor. The implementations are okay, but not great: within a few clicks I find bugs in almost all of them. I hypothesize that this is partly because agents don’t interact with software like …
My Thoughts on running Linux vs Windows Link to heading The age-old Linux vs Windows vs Mac. This year I finally went into my long-awaited deep-dive moving fully to Linux. Overall, I am quite impressed and happy with Fedora KDE Plasma. Below, I detail down the…
Why «English instead of code» does not work: COBOL, SQL, 4GL, CASE, UML and No-Code all promised to rid the industry of programmers and instead spawned new specialties with their own salary bands; the irreducible ambiguity of natural language, Rice's theorem, …
An opinion on how AI coding agents are making software development more productive while replacing some of the challenge, learning, and joy of the craft.
In theory, math is pretty simple. You start with a bunch of axioms and logic rules and use them to prove increasingly complex statements. How hard could it be?
We are currently living in the age of centaurs (2022-20??). Right now, human engineers paired with AI coding systems are more effective than either by…
I'd like to alert people that several of the comparator challenges are noticeably broken and hackable. Afaik this hasn't been talked about elsewhere yet. The issue is that many definitions that should...
Write interfaces first, statically type check the design, then hand each module to an agent one at a time. OCaml's module language makes this a natural workflow for future formal methods too.
There was a time I'd look at a board like the Radxa Dragon Q8B (at left, above) and be like, "there's no way I'd spend $209 on an SBC with 8 gigs of RAM". But we're in 2026, and seeing the 8 gig Raspberry Pi 5 going for almost the same amount, I figured I'd gi…
Psychologically, almost every listener decides what you mean before you finish saying it, and decades of writing advice can’t fix that, because that's an aspect of the listener and the advice is aimed at the speaker. A language model is the first listener that…
The Deno team released the first version of celld back in August - their open source implementation of the Durable Objects pattern from Cloudflare Workers. Today, Cloudflare are acquiring Deno …
USER: Help me make a fix for issue #2032
GOD: Happy to help! Issue #2032 reports an increasing number of natural disasters affecting the tropical regions. To address this issue, we can implement a multi-faceted approach that includes:
Early Warning Systems:…
If you're having trouble connecting to a camera or IoT device from its Android app (e.g. Sony, Fujifilm, Nikon, GoPro, Ricoh, etc.) and you are connected to a VPN (e.g. Nebula, WireGuard, Tailscale, etc.), your VPN might be the reason.
Thanks to 227 contributors, 817 pull requests, community reviewers, and our generous donors, we're happy to announce the Bevy 0.20 release on crates.i…
Everyone is very concerned about being respectable, so I’m going to be the goofball who raises worst-case possibilities. I think there is a 1% chance we live in Minicrypt, and …
Let your AI agents paint big arrows, boxes and text on your Mac screen. One CLI, click-through, gone by itself. Skill for Claude Code and Codex. MIT. - franzenzenhofer/big-arrow-on-the-screen
I shipped a new feature for my blog today: the Newsletters page, which offers an index of all of the newsletters I’ve sent out, both my free weekly Substack and …
Rust already has most of what I want from error handling: explicit control flow, errors as values, and concise propagation with ?. The friction comes when deciding what to put in the error half of Result. We often end up choosing between precise types that req…
Accumulating evidence indicates that circadian rhythm dysfunction is a clinically significant and highly prevalent phenotype in a substantial subgroup of ind...
It's not a political debate, it's a chance at finding a sound bite that sticks and help you win the political race. We can change how debates are presented.
I don't remember exactly when but, earlier in the year, I decided I didn't want this website to be indexed by search engines anymore. A lot of it has to do w...
An interactive simulation of Elizabeth Holmes' desk. Open her MacBook, scroll her iPhone, run the Edison machine. Every text and email is real, from the court trial, parsed by Extend.