5671
Reliable Software in the LLM Era
Quint - Executable specs for reliable systems
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 5,969 posts.
5672
80386 Multiplication and Division
When Intel released the 80386 in October 1985, it marked a watershed moment for personal computing. The 386 was the first 32-bit x86 processor, increasing the register width from 16 to 32 bits and vastly expanding the address space compared to its predecessors. This wasn't just an incremental upgrade—it was the…
5673
The missing digit of Stela C
One bad thing about archeologists is that some of the successful ones get a big head. People used to think the Olmecs, who made these colossal stone heads, were contemporary with the Mayans. But in…
5674
What it takes to transpose a matrix
Classical CPU architecture is a poor choice for performing matrix-oriented computations. Developers have to spend much effort to create efficient algorithms even for the problems appearing trivial on the surface. Matrix transpose is probably the most striking representative of such problems. It exposes numerous…
5675
Illustration Beyond Proof
[This is a guest post by Kate Stange and Edmund Harriss. This blog post was initially written in a different file format and converted using AI. — T.] In January a group of mathematicians, hi…
5676
Reviewing Large Changes with Jujutsu
Ben Gesoff's personal website
5677
A bizarre Commodore 64 peripheral, a mime, and some pretty bad ads
Two years of nightmarish smiles and makeup before anyone laid hands on Mimic Systems' actual product.
5678
Building a Blog with Elixir and Phoenix
Setting up a website using Elixir and Phoenix, leaning on NimblePublisher for the blog posts.
5679
An interactive tour of the spanning tree protocol
Root election, port roles, proposals and agreements, topology changes: explore RSTP through simulations powered by MSTPD compiled to WebAssembly.
5680
The Common Lisp Cookbook – LispWorks Review
A collection of examples of how to use Common Lisp
5681
I quit editing photos
Editing photos as I press the shutter.
5682
Windows API is Successful Cross-Platform API (2024)
You might find the title a little bit odd. Hold your thought for a moment and hear me out. I'm a big believer that in technology, and life, something that…
5683
Silicon Valley is in denial in face of widespread backlash
The backlash against data centers is difficult to understand if your salary depends on your not understanding it.
5684
Cursor is now a part of SpaceX
Cursor has officially been acquired by SpaceX.
5685
5686
Reflections on software engineering in the age of AI
For those of you who don’t know, when I’m not writing novels, I spend my days as a software engineer, writing code. The software industry these days relies heavily on artificial intelligence. Because it has studied trillions of lines of publicly accessible source code, because code solves problems with testable right…
5687
Can Claude Fly a Plane?
I asked Claude to look up the X-Plane 12 API and try to fly a Cessna from Hainan to somewhere nearby. It kept a pilot's log. Everything below is Claude's own notes from during the flight. I occasionally had to remind it to keep the pilot log running, and had to tell it when it crashed as xplane would quickly restart…
5688
Our framework for reporting model misalignment
OpenAI shares a framework for tracking, investigating, and disclosing model misalignment, alongside six reports of unexpected or concerning model behavior.
5689
Journey to JPEG XL: open-source experiments shaped the future of image coding
Explore how a decade of open source experiments in psychovisual modeling and compression led to JPEG XL, the future of image coding.
5690
There's No Limit to How Bad Code Can Get
Metaphors like "a sinking ship" are often used to describe codebases, but are misleading. A _business_ will sink long before code quality reaches a hypothetical floor. Technical debt has no bankruptcy, no clean reset, so metaphors that imply an end provide a false sense of security.
5691
The Dock on Mac, from OS 10 to macOS 27
I wrote the chapter on app icon history for The iOS App Icon Book . The other day I found an old note stashed away where I had started researching the macOS…
5692
TextEdit vs. Pages
Allison Sheridan is right when she says TextEdit can usually do the job. But I'm sticking with Pages anyway.
5693
SIMD programming in pure Rust
I've recently tasted AMD Zen 5 CPUs (AWS' m8a instances) and... Whooaaa. Even before talking about GPUs and NPUs, the next 5 years of CPUs will be very exciting! For
5694
Game Boy Advance Audio Interpolation
You are seeing this because the administrator of this website has set up Anubis to protect the server against the scourge of AI companies aggressively scraping websites. This can and does cause downtime for the websites, which makes their resources inaccessible for everyone.
5695
Your biggest vulnerability is your shitty compensation
My fourth month of unemployment. I'm fresh off an interview with a senior technical role advertised with a decent compensation range whose upper end would let me make median rent, and whose lower range would not. At the end of an excellent interview, I am informed that said compensation
5696
The Power of a Free Popsicle (2018)
A new book shows the value of memorable defining moments on customer and employee experiences.
5697
Sysadmining Like It's 2009
2026 legacy lab summer camp plan
5698
Hands-On Introduction to Unikernels
Learn what a unikernel is and how it compares to a Linux container. Build and run your first unikernel inside a playground box.
5699
Felix and I
He is young – twenty four – sitting at the black computer table by the wall of his living room. I’m looking at him side-on. He’s silhouetted by the huge window with a gorgeous view of the neighbourhood church. Green trees outside. The sun is shining brightly. It’s summer. Probably “The Hot Summer”, when our friends G…
5700
Lil Finder Guy
Who is it? What is it? Is it friend or foe? Has it arrived in peace, or is it plotting to corrupt our SSDs and fray our USB-C cables?