451
The internet discovers TLA+. Now what?
A practical introduction to TLA+, why it matters for agentic coding, and how AI could take formal verification from models to machine-checked proofs and ultimately to verified software.
New
The latest blog posts to take off on Hacker News. 49,174 posts.
452
If we do not stop to help each other, what do we become?
Yesterday, I received this email as a response to You Can't Vibe Code Love. It's such a remarkable and powerful statement that I asked permission to share it here, in its entirety, with personal information redacted: Hey Jeff, Hope you and your family are doing well. Just jogging
453
What is the size of Yemen? (2024)
Uncovering a century-old misinformation
454
What reversing, modernising old games tells us about the economic impact of AI
Some observations from my War of the Lancehttps://en.wikipedia.org/wiki/WaroftheLance%28videogame%29 1989 Code Harness assisted modernisation WIP I gave Qwen-3....
455
Video CDs Break Windows Explorer
There is an odd bug in Windows related to Video CDs . To reproduce it: Insert a Video CD (if you don't have one, you can download this fi...
456
Reverse-engineering the Intel 8087's tangent algorithm: more than CORDIC
I hope you're not tired of the 8087, because I have another article about Intel's floating-point chip. 1 In 1980, Intel introduced the 8087...
457
I'm the mom in that viral Giants clip. Let me tell you about my husband
You saw me carrying our baby and food. There was more happening in our family that night.
458
Go Concurrency Distilled
Interactive mini-book on concurrent programming in Go.
459
Breaking Up with Google Play: Why Conversations Is Now Free
Conversations, my federated instant messaging client for Android, started out as many traditional open-source projects do: as an attempt to scratch my own itch. Development started in January 2014 in my student dormitory, and within weeks I started dogfooding and using the client as the primary means of communicating…
460
One Month Without AI
Several months ago, I decided that AI contributions were no longer welcome in a FOSS project I am building and maintaining - LibreWeddingPlanner. It’s not that it got a lot of contributions with AI — actually all contributions I’ve had are translations and feature requests — but I wanted to...
461
A single function Jev-like wrapper for LLMs, including vision models
I was intrigued by Jev and the self-hostable projects appearing around it, such as OpenJev and SemIf . Reading about them introduced me ...
462
We're gonna need a lot more mathematicians
[This is a guest post by Amit Sahai. This blog post was initially written in a different file format and converted using AI. — T.] When I was an undergraduate student, I remember talking with…
463
What even is an OS now?
Computers now work the way I thought they did when I was 8. What does computing look like when most applications have an audience of 1-2 people? I'm leaving Fly.io to build a phone for that world.
464
Writing Efficient C++ Code (2013)
asawicki.info is protected against automated traffic and abuse. This one-time check confirms you are a real visitor — nothing to install.
465
Meta's Muse appears to use an OpenAI model labeled muse-special
While Muse was building my website, one subagent ran on a model called azure/muse-special. So I dug through the filesystem again.
466
Allow babywearing carriers on planes
The FAA has one of my favorite examples of thoughtful rulemaking. They haven't banned flying with a baby on your lap, because the extra cost would mean many parents would drive instead. Since driving is far less safe than flying, a ban would lead to more deaths. I'd love to see more of this "all things considered"…
467
First Principles Thinking
On first principles thinking, learning to work with agents, and setting experience aside long enough to see a problem clearly.
468
Does Georgism work? Five years later
A guest post by Lars Doucet
469
The state of SIMD in Rust in 2026
A lot of progress was made since last year, and I made some of it!
470
The Test
Jensen Huang, the NVIDIA CEO and wearer of the most midlife crisis looking leather jackets in the world, was on Ezra Klein’s podcast. Now I don’t really want you do go through all of what was being said in that recording/writeup. It’s painful. You feel your mental capabilities decaying with every minute of listening ……
471
I'm tired of being on the network
You can tell how tired someone is of the always-online life pretty easily. When they get home, watch the distance between the phone and the body. The people who love being connected never let the thing leave them be it pocket, palm, face-down next to the fork. Everyone
472
Amiga Screens: A Primer
One of the unwritten rules of the Internet seems to be that whenever something Amiga-related is mentioned, at least one Amiga fan (myself included) must show up and try to explain the concept of screens . Amiga screens can have different resolutions, we'll tell you, and one can drag them, we'll say, and other Amiga…
473
Pentium II at 600Mhz with Voodoo 3 Emulated on 86Box with M6 Mac Mini
The best platform for cycle-accurate retro PC emulation may just be the Mac. The M6 achieved a stable 600MHz clock using a 6.0 derived 86Box build.
474
Goodbye Google
Robert O'Callahan. Christian. Kiwi. Software guy. All content human-authored unless otherwise noted.
475
Plan mode is dead
Earlier this year, I believed planning was going to become the most important part of building software with AI.
476
What About Rails?
DHH's opening keynote had shockingly little to say about Rails.
477
How I changed teaching after AI managed to do all my homework assignments
AI forced me to abandon evidence-based best pedagogy practices, focus on oral and written exams, and redo most assignments. Here is what we did in 17-645...
478
California is chasing wealth that has feet
California has $8.14 trillion in land sitting right under its feet. It's chasing billionaires instead.
479
Sourcehut account takeover via build logs (XSS in ansi2html)
A wormable vulnerability allowed anyone able to inject text in a build log on builds.sr.ht (or other instances) to take over accounts who viewed them
480
Using LLMs to trace alchemical knowledge and decode 17th century letters
Using GPT-6 and Opus 5.5 to trace alchemical knowledge and decode 17th century letters