961
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. 1,422 posts.
962
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
963
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…
964
Brunost: The Nynorsk Programming Language
I made a programming language. I'm sorry.
965
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.
966
Make tmux pretty and usable (2024)
Customize the look and feel of tmux
967
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 .
968
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…
969
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)!
970
My adventure in designing API keys
Hello everyone, It has been quite a long time since my last blog, the last couple of months had been very busy and packed with a lot of work so I barely had much time to write blogs. Time runs so fast that the last time when I wrote a blog I was still a DevOps Engineer and now I am a Product Developer lol.
971
Fast and Easy Levenshtein distance using a Trie (2011)
<img src="http://stevehanov.ca/blog/images/acer.jpg"/> If you have a web site with a search function, you will rapidly realize that most mortals are terrible typists. Many searches contain mispelled words, and users will expect these searches to magically work. This magic is often done using levenshtein distance. In…
972
Exploiting the most prominent AI agent benchmarks
Every week, a new AI model climbs to the top of a benchmark leaderboard. Companies cite these numbers in press releases. Investors use them to justify valuations. Engineers use them to pick which model to deploy. The implicit promise is simple: a higher score means a more capable system.
973
How to build a `Git diff` driver
How to write an external tool for `git diff` to delegate complex diffs to.
974
Now is the best time to write code by hand
As more engineers use the irresistible LLMs their skills atrophy, practicing will make you special.
975
Write less code, be more responsible
My thoughts on AI-assisted programming.
976
A communist Apple II and fourteen years of not knowing what you're testing
It is Friday. KPMG , the consultancy behemoth that delivers business Venn diagrams for outrageous prices, informs us that 70 percent of UK business leaders will keep spending on AI even when they can’t prove it does anything — the consultancy helpfully suggests we stop calling it “investment” and start calling it a…
977
Watgo – A WebAssembly Toolkit for Go
I'm happy to announce the general availability of watgo - the W eb A ssembly T oolkit for G o. This project is similar to wabt (C++) or wasm-tools (Rust), but in pure, zero-dependency Go.
978
OpenClaw’s memory is unreliable, and you don’t know when it will break
We made a YouTube video showing how NonBioS can deploy OpenClaw on a fresh Linux VM automatically - zero human intervention, about 7 minutes start to finish.
979
Understanding Clojure's Persistent Vectors, pt. 1 (2013)
Ever wondered how Clojure's persistent vector actually works? This is part 1 of a blog series which aims to explain them.
980
Code is run more than read (2023)
Code is read more than written, code is run more than read. I think this line of thought can be extended beyond code-writing, and used as a rule of thumb to identify problems and make decisions.
981
Native Instant Space Switching on macOS
Arhan's Blog
982
Rust Threads on the GPU
At VectorWare , we are building the first GPU-native software company . Today, we are excited to announce that we can successfully use Rust's std::thread on the GPU. This milestone marks a significant step towards our vision of enabling developers to write complex, high-performance applications that leverage the full…
983
Bitmap fonts make computers feel like computers again
On why bitmap fonts still carry more life than most default tech type.
984
Instant 1.0, a backend for AI-coded apps
Instant 1.0 is out! This essay shows a bunch of demos, to explain why we think Instant is the best backend for AI-coded apps. We also cover the architecture that makes all of it work.
985
The M×N problem of tool calling and open-source models
Tool calling with closed-source models is seamless. You pass a list of functions to the API, the model calls them, you get structured JSON back.
986
USB for Software Developers: An introduction to writing userspace USB drivers
A basic introduction to USB for people that don't need to know what happens on the wire
987
988
I ported Mac OS X to the Nintendo Wii
Mac OS X 10.0 (Cheetah) running natively on the Nintendo Wii
989
Git commands I run before reading any code
Principal Software Engineer & Codebase Rescue20262,338 points509 commentsTools & Productivity details
Five git log commands that diagnose a new codebase before you open a single file: code churn hotspots, bus factor, bug clusters, and crisis patterns.
990
Audio Reactive LED Strips Are Diabolically Hard
I spent years building one of the most popular LED strip visualizers on GitHub. It's the kind of project that's easy to get started but diabolically hard to master.