271
New
The latest blog posts to take off on Hacker News. 14,535 posts.
272
273
Prevent cognitive debt by manually retyping LLM-generated code
Despite what I said in April , I'm still using coding assistants on my personal projects.
274
Branchless Rust: Making a Filter 4x Faster by Removing an If
Why a filter is slowest when it keeps half of random input, and what a branchless rewrite gains there and loses at 1%.
275
SwiftUI After 7 Years
Back in 2019, SwiftUI was announced as the future of Apple development. Seven years later, it still feels like a beta version struggling with stability, performance, and many other aspects. What’s actually wrong with SwiftUI?
276
I don't recommend Tailwind CSS
Tailwind CSS is a very popular CSS framework among web developers. With no prior graphic design knowledge, it solves the standardization of spacing…
277
Postmortem for Kernel Soundness Bug #14576
Leonardo de Moura — Creator of Lean and Z3
278
Dates That Don't Exist (2015)
In 1582, under the inter gravissimas papal bull, the Catholic world transitioned from the Julian Calendar to the Gregorian Calendar . This new calendar shortened the length of the year from 365.25 days to 365.2425 , a reduction of just 0.002% .
279
Stateless MCP has recaptured my interest
Tuesday was Stateless MCP day—the rollout of MCP 2.0, or the 2026-07-28 Model Context Protocol specification to use the more formal but less memorable name. This is the most significant …
280
The development pipeline is a production system
Various thoughts on programming and technology.
281
Unearthing my 1996 windowed OS in machine code for Am29000 homebrew computer
History of the development of my windowed operating system for 32-bit Am29000 processors when I was age 18.
282
Progressive Web Components
Introducing Elena, a simple, tiny library for building Progressive Web Components.
283
Let's make the worst Htmx
Learning how htmx works by building one from scratch.
284
The session you cannot take with you
Inference APIs are filling sessions with encrypted reasoning, hidden search results, opaque compaction, and encrypted subagent messages. A growing form of lock-in.
285
The Economic Benefit of Refactoring
Notes from my colleagues on AI-assisted software delivery
286
Gpiozero Flow
Back in 2015, I had the idea for gpiozero — a Python library for Raspberry Pi, making programming GPIO devices simpler by abstraction: instead of thinking about pin channels, voltages, pull-up resistors and rising or falling edges, we think about buttons being pressed and released, sensors...
287
A Trampoline
I didn’t want to buy a trampoline. It wasn’t the money.
288
Superlogical
I authored 1 the announcement post on the Superlogical homepage , which describes the problem statement and what we're building. 2 Read that to learn more. This post is more of a personal statement about what led to this, how it relates to my recent work, and what comes next.
289
Shipping Godot VR and Porting to PSVR2: A Partial Post Mortem
TLDR: Written version of the talk I gave at Develop Brighton 2026. Yes Godot can ship commercial VR, we paid roughly £80k in early adopter tax to do it. War stories from rebuilding Godot's core, the
290
Software for One
Robin Sloan wished for a HyperCard that could build a family app in a day. That world showed up.
291
The mean means nothing: data visualization to debug a latency problem
I was recently trying to validate some performance improvements related to lld at $DAYJOB and it was a little frustrating to see the improvements in our benchmarks but not in the live-production dashboards.
292
How Do I Profile eBPF Code?
If we are running any eBPF workload or writing eBPF code, we want to measure its performance impact, and in this post we will demonstrate an example of how to do it. In this example, our goal is to measure the performance of file open operations, one of the most critical functions in the OS. Our code used file open…
293
Kimi K3 Architecture Overview and Notes
Short architecture note on Kimi K3, including LatentMoE, Kimi Delta Attention, Attention Residuals, NoPE, multimodality, and inference-efficiency choices.
294
Zig's Incremental Compilation Internals
As a member of the Zig core team, one of the most impactful projects I’ve been involved with is the implementation of incremental compilation into the Zig compiler. This feature allows the compiler to detect which individual functions and declarations have changed since a project was last built, recompile only that…
295
How JPEG works: Interactively explore JPEG's lossy compression methods
In the world of technology, “forever” means about 5 years. It’s humbling to think that the 1992 JPEG image standard is still going strong despite being more than 5 “forevers” old. Why has it been so successful? This article presents the key ideas behind JPEG in plain language and includes an interactive JPEG…
296
How is the Bun rewrite in Rust going?
I think it’s important to be very Canny when someone makes a claim that supports a company’s large valuation.
297
Teaching Kids Forth
Forth is uncommonly used to teach programming to kids. Scripting languages like Python and visual environments like Scratch are far more popular options. But when I got the opportunity to introduce middle and high school students to programming, I chose the stack-oriented concatenative language from 1970. I was…
298
We have proof automation now
I've long had a soft spot for dependently-typed languages like Coq Rocq and Lean. They offer the possibility of a type system capable of encoding and enforcing arbitrarily subtle invariants. The sort of thing that, in regular languages, ends up (at best) as a comment, and which quickly gets lost as the size of the…
299
Lisp moving Forth moving Lisp
This chapter is a culmination of many macro techniques we have looked at so far in this book. Using macro abstractions we have developed, we create an implementation of one of my favourite programming languages: forth . Although this implementation embodies most of the important ideas of forth, it is very different…
300
Git rebase -i is not that scary
a guide to interactive rebasing.