-
Gitolite
-
I wrote an API client for my water-cooled bed
-
Meta Garbage Collection: Using OCaml's GC to GC Rust
-
Minimal Git CI using hooks
-
InvisiCaps: The Fil-C Capability Model
-
JSON5E - JSON5 for Humans
-
What is your favorite blog to read recently?
-
Building an AmigaOS Development Environment in 2026
-
What are you doing this week?
-
7 Sandbox Escape Vulnerabilities Across 4 Coding Agent Vendors
-
A deep dive into my Forgejo setup
-
email encryption
-
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code
-
Cagire - Forth-based live coding sequencer
-
Type Safe Servant Auth Roles
-
Fuzzing for fun - unauthenticated denial of service in snac2
-
The death and rebirth of my home server
-
Dependable C
-
Git email patch review addon for Thunderbird
-
Running microVMs in Proxmox VE, The Easy Way
-
Mathematicians still don’t know the fastest way to multiply numbers
-
Shake Blog
-
Extending MVCC to be serializable, in TLA+ (2024)
-
More emulation goodness, an Intel Itanium (IA-64) emulator that boots Windows
-
Using LLM-based Verification to Eliminate Bugs in Linux's Network Stack
More