31
Efficient algorithms, the Exponential Time Hypothesis, and losing the plot
On efficient algorithms, the exponential time hypothesis, and losing the plot.
New
The latest blog posts to take off on Hacker News. 1,419 posts.
32
Prospero: A new coding harness for a more civilized age
I’ve been fascinated with local LLMs for a couple of years now. The better open weight models, including some that inference on regular, higher-end consumer hardware at tolerable speeds, are now reliable enough to handle simpler programming tasks. This requires a coding harness, but so far this year I’ve been…
33
Switch Lowering in GCC
We have seen in a previous post that switch statements are more complex than they seem. The compiler is able to implement them as a decision tree (even though maybe it shouldn't). Is that everything it can do?
34
Postgres 19 is late because so many more bugs are being found now
Over the past decade, the timing of PostgreSQL major releases has become very predictable: no earlier than the middle of September, and no l...
35
Sanstun: A sans-IO, parallel-friendly WireGuard implementation in Rust
Our sans-IO WireGuard implementation in Rust, optimized for ease of use, security and performance through a parallel-friendly and idiomatic API.
36
Claude Code VS Code extension with backdoor released on Cursor marketplace
Yesterday, Anthropic were compromised and used to stage a global supply chain attack.
37
Backdoor in Claude Code for VS Code extension on the Cursor Marketplace
Phorion has detected a backdoor in the official Claude Code for VS Code extension bundle on the Cursor Marketplace that drops a persistent SSH backdoor across macOS, Linux, and Windows. This write-up …
38
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
Leo de Moura on Formal Proofs, AI Agents, and the End of “Trust Me” Code. Subscribe: Apple • Spotify • … More
39
Why are good developers so wary of agentic development?
Good developers’ caution about agentic development comes from knowing that built isn’t the same as working in production.
40
Forging a Microsoft Edge Full Chain with Logic Bugs Only
This is what I built for Pwn2Own Berlin 2026 — a completely handmade, logic-only Microsoft Edge Full Chain, with no memory corruption, and no AI at all! 🔥
41
The case of the 9 bit AES key
Several PDF implementations advertise AES-256, but generate the 256-bit key from either a very small state space, or from insecure random sources.
42
The Agent SDK
The Agent SDK is the framework we use to build our own managed agents like Bugbot, Security Reviewer, and Rollouts. Define agents in code and deploy them with one command.
43
44
Tips for more effective fuzz testing with AFL++
Fuzz testing is incredibly effective for mechanically discovering software defects, yet remains underused and neglected. Pick any program that must gracefully accept complex input, written in any language , which has not yet been been fuzzed, and fuzz testing usually reveals at least one bug. At least one program…
45
Reading and writing are less symmetric than you (probably) think
I am talking about the I/O operations as used in computing here. A typical example of how this kind of thing is exposed are the POSIX syscalls read(2) and write(2), which have the following C funct…
46
Four Months of Zig
It has been about four months since I returned to Zig after being absent for a few years. In this time, I have written some software in Zig and reengaged with the community, online and in person. I decided to share some of that experience, including what I have liked about Zig so far and what I haven't. I'll include…
47
Ghostty 1.4
Release notes for Ghostty 1.4.0, released on October 27, 2026.
48
A new faster algorithm to compute 64-bit signed floor division
The missing chapter of Hacker's Delight
49
50
Why a program doesn't work when run from a batch file, but works when clicked
Mimicking the operation more accurately.
51
Iterating Backwards in C
This is shorter than some of my other posts, but I keep seeing people doing this wrong. It's even worse now in the LLM era.
52
A Man from the Future: Why Johnny Can't Stop Abstracting
I have come to suspect that to most people thinking is painful. Some of us are addicted to thinking. Some of us find it a necessity. Johnny ...
53
Sebastian Raschka's from-scratch video course on building reasoning models
Over 11 hours of coding videos on evaluation, inference-time scaling, reinforcement learning, and distillation, with Python and PyTorch.
54
Fixing Tool-Call Accuracy in vLLM
Tool call accuracy is an important part of serving open-weight AI models. When your tool calls aren’t accurate, the model builds up on nonsensical context. We’ve been carrying our own fork of vLLM to hit 100% in tool call schema accuracy with Kimi and DeepSeek. Fortunately, vLLM 0.31 added support for constrained…
55
Pharo 14
Pharo is a pure object-oriented programming language and a powerful environment focused on simplicity and immediate feedback.
56
SIMD-accelerated computer vision on a $2 microcontroller
An accelerated FAST feature detector for the ESP32-S3 leveraging 128-bit SIMD instructions, achieving ~2x the performance of the reference implementation.
57
OpenLDK: Bringing the Java World into Common Lisp
Java classes become CLOS classes, seven JVM languages share one Lisp expression, and a saved Spring Boot application launches in 84 milliseconds.
58
We should be more ambitious with the software we build
Since early this year, Michael Malis (of pgrust ) has been showing me interesting things he's done and saying
59
Small Programs and Languages
My Implementing a Forth article got some great feedback, particularly around the subject of tiny Forth implementations. (And it was an excuse to list some of the tiniest Forths I’ve seen.)
60
Bbtree: Fastest Ordered Map
How bbtree, a drop-in replacement for std's BTreeMap, cuts cache misses, instructions and cache coherence traffic, and how it is kept correct.