11 on this site · 108 links
.plan-26-24: Apparently a professor now; still debugging io_uring at midnight14th Jun 2026
.plan-26-22: From digital rewilding in Edinburgh to uring and Tessera hackery31st May 2026Building OxCaml packages for Debian, Fedora, Homebrew and Arch17th May 2026
An io_uring IO implementation for Lean1st Apr 2026
Towards a frugal userspace for Linux1st Dec 2024Lineage first computing: towards a frugal userspace for Linux1st Dec 2024
Enabling Lightweight Privilege Separation in Applications with MicroGuards1st Oct 2023
Void Processes: Minimising privilege by default1st Jan 2021
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems1st Oct 2015
The Wild West of UNIX I O5th Feb 2012Installing Ubuntu on XenServer2nd Jul 2008