4051
Lean proved this program correct; then I found a bug
AI agents are getting very good at finding vulnerabilities in large-scale software systems.
New
The latest blog posts to take off on Hacker News. 5,961 posts.
4052
Reflections on 30 years of HPC programming
This summary of Brad’s HIPS 2025 keynote looks at how HPC programming has (and has not) changed over the past 30 years
4053
The dangers of California's legislation to censor 3D printing
California’s bill, AB 2047, will not only mandate censorware on all 3D printers; it will also criminalize the use of open-source alternatives. Repeating the mistakes of DRM won’t make anyone safer, but it will hurt innovation in the state and risks a slew of new consumer harms ranging from surveillance to platform…
4054
Let's talk space toilets
You should have gone before you left Earth
4055
How to make Firefox builds 17% faster
In the previous post, I mentioned that buildcache has some unique properties compared to ccache and sccache. One of them is its Lua plugin system, which lets you write custom wrappers for programs that aren’t compilers in the traditional sense. With Bug 2027655 now merged, we can use this to cache Firefox’s WebIDL…
4056
Brunost: The Nynorsk Programming Language
I made a programming language. I'm sorry.
4057
Someone bought 30 WordPress plugins and planted a backdoor in all of them
Last week, I wrote about catching a supply chain attack on a WordPress plugin called Widget Logic. A trusted name, acquired by a new owner, turned into
4058
Average is all you need
LLMs will make more of your average stuff. And that's OK. Here's how average SQL beats fancy attribution models when your agent writes the queries.
4059
The Future of Everything Is Lies, I Guess: Safety
This is a long article, so I've broken it up into a series of posts, listed below. You can also read the full work as a PDF or EPUB .
4060
Building a CLI for all of Cloudflare
We’re introducing cf, a new unified CLI designed for consistency across the Cloudflare platform, alongside Local Explorer for debugging local data. These tools simplify how developers and AI agents interact with our nearly 3,000 API operations.
4061
This year’s insane timeline of hacks
An archive of this year’s insane timeline of hacks few people are talking about
4062
Make tmux pretty and usable (2024)
Customize the look and feel of tmux
4063
AI could be the end of the digital wave, not the next big thing
The AI boom is more likely a marker of the end of the 50-year digital boom than the start of a new wave of innovation.
4064
Servo is now available on crates.io
Initial crates.io release and LTS version of Servo
4065
Android now stops you sharing your location in photos
My wife and I run OpenBenches. It's a niche little site which lets people share photos of memorial benches and their locations. Most modern phones embed a geolocation within the photo's metadata, so we use that information to put the photos on a map. Google's Android has now broken that. On the web, we used to use…
4066
Too much discussion of the XOR swap trick
The following post involves far too much discussion of the XOR swap trick. If XOR itself is unfamiliar, I have written a gentler introduction to it .
4067
Six Characters
What the PNR locator on your boarding pass actually contains, and why the fare calculation line on your e-ticket is written in a currency that does not exist.
4068
Introduction to spherical harmonics for graphics programmers
On your computer graphics journey, you will eventually run into some paper or code mentioning spherical harmonic functions. They are indeed a very useful tool: with just a few coefficients, they allow us to approximate a given function defined on a sphere. This can be very useful for modeling complex lighting.
4069
The economics of software teams: Why most engineering orgs are flying blind
A breakdown of what software development teams actually cost, what they need to generate to be financially viable, and why most organizations have no visibility into either number.
4070
The paper computer
Now that we have actually good AI, I have this vision of a form of computing that doesn’t involve me using a computer so much. Imagine you had the day’s emails to go through. It would be nice if the ones that required a simple decision could be dispatched with a few pen-strokes: I could write down a date that would…
4071
Apple's accidental moat: How the "AI Loser" may end up winning
Apple’s accidental moat
4072
State of Homelab 2026
Evolution of a self-hosting hobby: from clueless to amateur.
4073
Tech valuations are back to pre-AI boom levels
The chart below compares the forward P/E ratios for the S&P 500 and the S&P 500 Information Technology sector. Subscribe for daily updates.
4074
A perfectable programming language
At a party, Sydney Von Arx asked if I could name 40 programming languages. Yeah, that's the Bay for you. Racket, Agda, Clean, Elm, TypeScript, sh, ASP, Verilog, JavaScript, Scheme, Rust, Nim, INTERCAL, sed, Isabelle, Visual Basic, zsh, AlokScript, Coq, Idris, Hack, Prolog, Whitespace, PureScript, Go, Odin, Haskell…
4075
4076
Uncharted island soon to appear on nautical charts
A 93-strong international expedition team has been exploring the northwestern Weddell Sea in the Antarctic on board the Alfred Wegener Institute's icebreaker Polarstern since 8 February 2026. In this key region for global ocean currents, the focus has been on the outflow of ice and water from the Larsen Ice Shelf and…
4077
Tracking down a 25% Regression on LLVM RISC-V
Similar to the previous post, this post covers my analysis of a benchmark on RISC-V targets. Unlike the previous post, I was able to land a patch to eliminate the performance gap to GCC (for this benchmark)!
4078
The peril of laziness lost
In his classic Programming Perl — affectionately known to a generation of technologists as "the Camel Book" — Larry Wall famously wrote of the three virtues of a programmer as laziness, impatience, and hubris:
4079
The Closing of the Frontier
T he Anthropic Mythos announcement is the first time in my life I’ve felt truly poor. Maybe because I grew up on the internet and it was the one permissionless place where you could have leverage and a shot at uncapped exploration and ambition. That is now changing with the gap between models that are publicly…
4080
DIY Soft Drinks
Cola, orange soda, and almond soda!