301
A type-safe, realtime collaborative Graph Database in a CRDT
Open-source TypeScript property graph database from codemix.
Topics /
Software Engineering
The most popular blog posts about software engineering on Hacker News. 455 posts.
302
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.
303
Zig 0.16.0 Release Notes
Zig is a general-purpose programming language and toolchain for maintaining robust , optimal , and reusable software.
304
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.
305
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.
306
A better R programming experience thanks to Tree-sitter
Modern tooling for parsing, searching, formatting, editing R code, just like for other programming languages.
307
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.
308
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.
309
Maintenance: Of Everything, Part One
An in-depth exploration of maintenance, and a powerful argument for its civilizational importance.
310
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.
311
Zluda 6 release (run unmodified CUDA applications on non-Nvidia GPUs)
Hi, and welcome to the latest ZLUDA update! Since I skipped the last update, this special issue covers all the developments made in ZLUDA since the start of the year. We now have two new major workloads: PhysX ( PhysX pre-alpha ) and Blender ( Textures support ). Much of this overlaps with Much improved Windows…
312
Symbolica 2.0: Programmable Symbols for Python and Rust
Technical articles and release notes about Symbolica, symbolic computation, numerical methods, and high-performance computer algebra.
313
Claude Is Not a Compiler
Or: the difference between vibe-coding and vibe-engineering.
314
Benchmarking coding agents on Databricks' multi-million line codebase
Databricks shares results from its internal coding benchmark, evaluating coding agents on a multi-million line codebase to optimize engineering cost and performance.
315
The Fil-C Optimized Calling Convention
Fil-C achieves memory safety even for programs that behave adversarially. That includes casting function pointers to the wrong signature and then calling them, exporting a function with one signature in one module and then importing it with a different signature in another, or even exporting a symbol as a function in…
316
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.
317
Racket v9.1
_posted by Stephen De Gabrielle and John Clements_ We are pleased to announce Racket v9.1 is now available from https://download.racket-lang.org/. As of this release:: Documentation organization and navigation can be specialized by language family, to...
318
Strace-ui, Bonsai_term, and the TUI renaissance
We’ve always found strace useful but somewhat hard to work with. Its output is often inscrutable, it’s hard to follow subprocesses or threads, and if you wan...
319
Spinning around: Please don’t – Common problems with spin locks
Embark on a journey about why you should sometimes trust your OS more than yourself.
320
gRPC: From service definition to wire format
A comprehensive deep dive into the gRPC protocol, from service definitions and streaming models to the low-level HTTP/2 framing and wire format.
321
Markdown in /src
In this essay, Carson Gross argues that Markdown is now an important source artifact for software systems built with LLMs, and that, following the principle of locality, it should live in /src, alongside the code it produces.
322
Highlights from Git 2.54
The open source Git project just released Git 2.54. Here is GitHub’s look at some of the most interesting features and changes introduced since last time.
323
Xanadu was waiting for agents
From the Zed Blog: Ted Nelson specified the docuverse sixty years ago. The technology finally arrived, and so did its native users.
324
The back cover of C++: The Language raises questions not answered by front cover
Not doing the reading.
325
Building a real-time AI tutor for 5-year-olds
We set out to build the first AI tutor to teach math and reading to kids ages 4-9. For AI to actually teach a five-year-old, pedagogy must be baked into the engineering. A child can't wait for a slow reply, can't read a chat interface, and can't unhear anything a model gets wrong. We wanted to share some of the…
326
I rewrote PostHog's SQL parser, 70x faster, while barely looking at the code
After the success of using agents to improve query performance through autoresearch , I wanted to try something more ambitious. I rewrote PostHog's…
327
GC and Exceptions in Wasmtime
The Wasm GC and exceptions proposals are both enabled by default in today’sWasmtime 47 release! We are excited to help bring more languages to WebAssemblyand everywhere that Wasmtime runs. Getting to this point involved large Wasmtimecha...
328
Replacing Pull Requests with Delta
From the Zed Blog: Delta is now in public beta. Replacing pull requests is our first step toward replacing GitHub.
329
Clojure: Transducers
Transducers are composable algorithmic transformations. They are independent from the context of their input and output sources and specify only the essence of the transformation in terms of an individual element. Because transducers are decoupled from input or output sources, they can be used in many different…
330
Node.js 26.0.0 (Now with Temporal)
Node.js® is a free, open-source, cross-platform JavaScript runtime environment that lets developers create servers, web apps, command line tools and scripts.