451
New
The latest blog posts to take off on Hacker News. 3,697 posts.
452
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.
453
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
454
What is the size of Yemen? (2024)
Uncovering a century-old misinformation
455
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....
456
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...
457
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...
458
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.
459
Go Concurrency Distilled
Interactive mini-book on concurrent programming in Go.
460
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…
461
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...
462
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 ...
463
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…
464
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.
465
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.
466
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.
467
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"…
468
First Principles Thinking
On first principles thinking, learning to work with agents, and setting experience aside long enough to see a problem clearly.
469
Does Georgism work? Five years later
A guest post by Lars Doucet
470
The state of SIMD in Rust in 2026
A lot of progress was made since last year, and I made some of it!
471
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 ……
472
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
473
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…
474
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.
475
Goodbye Google
Robert O'Callahan. Christian. Kiwi. Software guy. All content human-authored unless otherwise noted.
476
Plan mode is dead
Earlier this year, I believed planning was going to become the most important part of building software with AI.
477
What About Rails?
DHH's opening keynote had shockingly little to say about Rails.
478
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...
479
California is chasing wealth that has feet
California has $8.14 trillion in land sitting right under its feet. It's chasing billionaires instead.
480
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