From WSL to bare-metal Linux
A tale about fixing eBPF spinlock issues in the Linux kernel
A Decade of Slug
The Paxos algorithm, when presented in plain English, is very simple (2021)
Python 3.15’s JIT is now back on track
Introducing postmarketOS Duranium: a more reliable postmarketOS
I haven't made anything with AT Proto yet
A small proposal for mixing PQ KEMs into Noise
A sufficiently detailed spec is code
syntaqlite: high-fidelity devtools that SQLite deserves
Building a Shell
The web in 1000 lines of C
Leanstral: Open-Source foundation for trustworthy vibe-coding | Mistral AI
yes, all longest regex matches in linear time is possible
Self Hosted Search
Seeing the Web
The Data Center as a Computer
Age-Gating Isn’t About Kids, It’s About Control
"LinkedIn Speak" was added to Kagi Translate
How We Made Payload Search 60x Faster in ClickHouse
A few notes about the MacBook Neo
The Silent Struggle: Anxiety in Software Development
Memory Allocation Strategies
Every layer of review makes you 10x slower
The Road Not Taken: A World Where IPv4 Evolved
Jepsen: MariaDB Galera Cluster 12.1.2
building a software protection system from first principles
I’ve added human.json to my website
Oxyde ORM - Django-like Pydantic-driven Async ORM
Lightweight Linux flow data collector
Avian Physics 0.6
typenix: Full typing for Nix based on TypeScript
The Gemini Protocol in 2026
Free airport ride exchange platform
Video Encoding and Decoding with Vulkan Compute Shaders in FFmpeg
When perfection is table stakes
Modeling Token Buckets in PlusCal and TLA+
Gleam v1.15.0 released
clangd for CUDA device code
AI is making CEOs delusional