Rails on the BEAM
Why Nobody Can Verify What Booted Your Server
Private Open Source
Understanding the Ultrahonk Verifier
The Design of AI Memory Systems
Making a Type Checker/LSP for Nix
Baby’s Second Garbage Collector
Signals, the push-pull based algorithm
Build your own Dial-up ISP with a Raspberry Pi
Claude Code Found a Linux Vulnerability Hidden for 23 Years
Slap: Functional Concatenative Language... with a Borrow Checker?
Big-Endian Testing with QEMU
apfel: Free AI already on your Mac
Lisette — Rust syntax, Go runtime
What are you doing this weekend?
Idiomatic Lisp and the nbody benchmark
Open Source, Incentives, and Why 'Monetize Later' Often Backfires
Adobe wrote to my hosts file
SSH certificates: the better SSH experience
800 Rust terminal projects in 3 years
Offensive Cybersecurity Time Horizons
1SubMl: experimental ML-like programming language with a unified module and value language, and more
A CSS Engine in OCaml
Formal Methods
samply: Command-line sampling profiler for macOS, Linux, and Windows
Gentoo GNU/Hurd
OpenBSD on Motorola 88000 processors
A Rave Review of Superpowers (for Claude Code)
I used AI. It worked. I hated it
landdown - Simple sandboxing for shell scripts
How we built a virtual filesystem for our Assistant
LinkedIn Is Illegally Searching Your Computer
Rewrites.bio: 60x speedup in Genomics QC + AI rewrite guidelines for Science
Activating Two Trap Cards at Once, or: A Gentle Response to the Popularity of Vibecoding
Euro-Office, ONLYOFFICE, and their licensing dispute
Validating Hare’s Sort Module using Symbolic Execution
I may have solved a long standing problem with Object Oriented systems
Taking multi-master MariaDB for a spin, reproducing a Jepsen report
jj v0.40.0 released
A quick look at __pledge_open(2)
