Hi! I’m Isaac, a medical student from the UK, interested in systems programming, especially in Rust.

My main project is Pebble, a kernel and userspace written in Rust to explore modern ideas about operating systems. It is still in its early stages, but I’m excited to see where it goes.

I’m a member of the Rust OSDev organisation, where I host the acpi and pci_types crates, and contribute to some other projects.

I also dabble in programming languages, (very) amateur mathematics, firmware, and some other stuff.