Hey there! I'm an SRE, software developer, and system administrator, currently working as a Production Engineer/SRE at Facebook. I work as part of the Linux Kernel team, responsible for kernel-related developments that improve the overall reliability and performance of Facebook's user-facing products. In general, my drive is in conceiving, designing, and improving systems that make Facebook and the wider industry better.
Most of my active work revolves around making operating systems more efficient at scale, developing things like the Linux kernel, cgroups, systemd, and a number of other emerging technologies.
Outside of that, I dabble in photography and sim racing.
Recent blog posts
- mutt support for Gmail's "mute" feature
- psi-notify: Alerting before CPU/memory/IO becomes oversaturated
- Unprivileged userland containers without root or userns
- "1195725856" and other mysterious numbers
- Linux memory management at scale
More posts are available on the archive page.
Software
I am a contributor to and maintainer of a number of projects, including:
- cgroup v2 — modern resource control and accounting
- clipmenu — a clipboard manager with a dmenu frontend
- GNU bash — the GNU project's shell
- hypothesis — an advanced QuickCheck style testing library for Python
- Linux — a free and open-source OS kernel
- mpv — videos on the command line
- oomd — next-generation OOM killer
- osquery — an OS instrumentation, monitoring, and analysis framework
- pass — the standard Unix password manager
- psi-notify — proactively detect machine oversaturation
- srt — a Python library to deal with SRT files
- systemd — a system and service manager for Linux
- taglib-rust — Rust FFI bindings for taglib
- the Pro Git book — a guide to Git and its internals
- zsh — a highly feature-rich shell
I also maintain the following personal projects:
- nota — super simple daily logs with your $EDITOR + git
- mack — an opinionated, fast music organiser
- mpdmenu — control mpd from dmenu
- tzupdate — update /etc/localtime automatically using geolocation
- xinput-toggle — tool to manipulate arbitrary xinput devices
- yturl — watch YouTube videos on the command line
You can find other projects on my GitHub, although if they're not on this list, I'm probably not actively developing or maintaining them.
Selected talks
- Linux Memory Management at Scale — SREcon/FOSDEM
- cgroupv2: Linux's new unified resource hierarchy — FOSDEM/DevOpsDays/ASG
- Lessons learned running SSL at scale — FOSDEM
- The Web Foundation model — University College London lecture
- Shell pitfalls and code smells — LVL.UP Kuala Lumpur
- Pragmatic minimalism as a software design tool — LVL.UP Kuala Lumpur
Other content on this domain
- Assorted technology-related notes
- Project quality dashboard
- Sim racing data/notes
- My old TF2 configs
- RYM profile export
- Old game miscellany
- Privacy policy