871
A tale about fixing eBPF spinlock issues in the Linux kernel
A system freeze led us deep into Linux spinlock internals, where we helped find not one but three bugs in the kernel's resilient locking code used by eBPF.
Topics /
Software Engineering
The most popular blog posts about software engineering on Hacker News. 1,413 posts.
872
873
GPT-5.6 Luna vs. GPT-6 Astra: Is a $1.20 Model Good Enough for Code Review?
Run a cheap model on every PR and escalate to a stronger one: on 50 PRs it found 120 verified bugs for $4.13 versus 108 for GPT-5.6 Sol alone.
874
JIT Compiling Code in 5μs
Build a copy-and-patch JIT compiler in Rust, generate ARM64 machine code, and benchmark it against an interpreter and handwritten implementation.
875
Factorio 2.1 Experimental Release
Hello, we hope your week has been pleasant.
876
Zig’s Io.Threaded is neat
std.Io.Threaded is one of the implementations of Zig's new Io interface that enables concurrency. This is a boring just use threads impl. I personally find it neat though --- it does this weird thing that I wanted to do for ages, that to my knowledge no one else is doing properly, and implements it better than I…
877
Index, Count, Offset, Size
Wherein we make progress towards solving one of the most vexing problems of Computer Science — naming things.
878
Lies we tell ourselves about email addresses
Bear with me, because some of these "lies" are going to feel obvious, or like unimportant trivia. In all honesty, that's not that far from the truth. However, I hope you'll let me try to build a detailed and fun illustration showing how something as mundane as email can break our expectations in surprising ways.
879
LLMs Are Not a Higher Level of Abstraction
" A picture is worth 10K words - but only those to describe the picture. Hardly any sets of 10K words can be adequately described with pictures."
880
Are arrays functions?
A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.
881
There is more to code review than (automatable) detection
The abstract for article “ The End of Code Review: Coding Agents Supersede Human Inspection ” paints this picture for the reader…
882
I'm writing a history of Visual Basic, Chapter 1 is up
Starting a long-form history of Visual Basic on EvilGeniusLabs.ca. Chapter 1 covers the BASIC dynasty Microsoft had been running since 1975, the California developer Microsoft bought to put a face on it, and the launch pitch Bill Gates seeded in BYTE Magazine eighteen months before VB shipped. Six articles, focused on…
883
The Isolation Trap: Erlang
Erlang's mailbox design is more disciplined than Go's channels: only the owning process can read from a mailbox, and sends are asynchronous. Yet the four failure modes of shared mutable state still show up, just in different shapes.
884
Video Encoding and Decoding with Vulkan Compute Shaders in FFmpeg
In this blog we explore how FFmpeg uses Vulkan Compute to seamlessly accelerate encoding and decoding of even professional-grade video on consumer GPUs — unlocking GPU compute parallelism at scale, without specialized hardware. This approach complements Vulkan Video's fixed-function codec support, extending…
885
DuckDB 1.5.2 – SQL database that runs on laptop, server, in the browser
We are releasing DuckDB version 1.5.2, a patch release with bugfixes, performance improvements, and support for the DuckLake 1.0 lakehouse format.
886
A type-safe, realtime collaborative Graph Database in a CRDT
Open-source TypeScript property graph database from codemix.
887
Improving C# Memory Safety
The `unsafe` keyword is being redesigned to mark caller-facing contracts rather than just syntax. Safety obligations between callers and callees become visible and reviewable. The model is motivated by the rise of AI-assisted code generation and arrives as a preview in .NET 11.
888
Zig 0.16.0 Release Notes
Zig is a general-purpose programming language and toolchain for maintaining robust , optimal , and reusable software.
889
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…
890
What is agentic engineering?
What is agentic engineering? - Agentic Engineering Patterns
891
892
The Third Hard Problem
It’s not off-by-one errors.
893
A deep dive into Apple's .car file format
Reverse-engineering the .car file format used by Apple's asset catalogs and how to parse it without Apple's proprietary tools
894
895
896
Developing provably correct Rust code with Verus
How the Verus "program verifier", which automatically checks code against a mathematical specification of its functionality, helps increase security assurance in software projects.
897
Interfaze: A new model architecture built for high accuracy at scale
A complete walkthrough of Interfaze: what it is, who we benchmark against (Gemini-3-Flash, Claude-Sonnet-4.6, GPT-5.4-Mini, Grok-4.3, plus task specialists like Reducto, SAM 3, Scribe v2), full results across 9 benchmarks, and code examples for OCR, object detection, and web search.
898
A better R programming experience thanks to Tree-sitter
Modern tooling for parsing, searching, formatting, editing R code, just like for other programming languages.
899
We found a bug in the hyper HTTP library
By rearchitecting the Images binding, we accidentally uncovered a bug that existed in the open-source hyper library across multiple major versions.
900
You need to rewrite your CLI for AI agents
Human DX optimizes for discoverability. Agent DX optimizes for predictability. What I learned building a CLI for agents first.