901
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.
902
Maintenance: Of Everything, Part One
An in-depth exploration of maintenance, and a powerful argument for its civilizational importance.
903
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.
904
Scheme Is a Hoot
Lately I've been spending time learning Scheme and using it to implement the concepts I'm learning in my physics classes as time permits. One of the most exciting things I've been doing with this is getting my Scheme to compile to the Web thanks to Hoot. One of the biggest challenges has been the fact that Hoot is…
905
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…
906
Why does C have the best file API
Ok, the title is a tongue-in-cheek, but there's very little thought put into files in most languages. It always feels a bit out of place... except in C. In fact, what you get is usually a worse version of C.
907
Postmortem for Kernel Soundness Bug #14576
Leonardo de Moura — Creator of Lean and Z3
908
I imported the full Linux kernel git history into pgit
I imported the entire Linux kernel git history into pgit's PostgreSQL-backed storage. 1,428,882 commits, 24.4 million file versions, 20 years of development. Here's what the kernel looks like when you can just ask.
909
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.
910
Playing with Vision Embeddings
Poking at the geometry of an image model's feature space.
911
The compiler was supposed to end programming too
In 1954, IBM said FORTRAN would virtually eliminate coding and debugging. What the numbers say about AI and software work in 2026, and my guess at a developer's Tuesday in 2031.
912
Claude Is Not a Compiler
Or: the difference between vibe-coding and vibe-engineering.
913
Don't Roll Your Own
This is going to be a rant about modern web design practices. But before I get to that, let me begin with a familiar principle from the world of cryptography. Among software developers, and especially among those who work on security-sensitive systems, there is a well-known maxim: Don't roll your own crypto. This does…
914
Bytecode VMs in surprising places (2024)
In response to a question on Twitter 1 , Richard Hipp wrote about why SQLite uses a bytecode VM for executing SQL statements.
915
SBCL: the ultimate assembly code breadboard (2014)
Paul Khuong's personal blog. Some Lisp, some optimisation, mathematical or computer.
916
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.
917
I Don't Like Magic
Knock, knock! Who’s there? Control freak (now you say “control freak who?”)
918
Everyone says assembly is untyped—everyone is wrong
TL;DR: I believe Odin's inline assembly is currently the best out of any language.The most important aspects are of this article listed below. I am not aware of any other assembly (GCC/Clang/Rust/Go...) that would combine all of these aspects:Inline assembly is organized into "templates", similar to and callable as…
919
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…
920
The lost malloc()
Prompted by another project idea that popped into my mind, I did some Unix archaeology and looked at the original sources . This is the most fun I've ever had reading someone else's code - probably due to the historical significance. But also because of how delightfully approachable it was, compared to modern…
921
What is Codemode
If you just need bash, why do you need codemode?
922
Code is cheap now, but software isn't
The barrier to entry for building software has collapsed. The barrier to building something that matters hasn’t moved an inch.
923
Malleable computing, Emacs, and you
It all started with a routine task. I use GitHub issues for all of my public-facing projects but my preference is keeping track of things in Org Agenda. To reconcile the two, I would manually...
924
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.
925
My fast zero-allocation webserver using OxCaml
Building httpz, a high-performance HTTP/1.1 parser with zero heap allocation using OxCaml's unboxed types, local allocations, and mutable local variables.
926
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...
927
The Sideprocalypse
You can't open a feed today without having AI boosters fling word salad like "agentic engineering" or "openclaw" into your beautiful but disapproving face. I'm terrible at predicting the future—you should ask me about selling NVIDIA stock in early 2022 some time—but one thing seems…
928
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...
929
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.
930
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.