I'm a software engineer working mostly on backend and distributed systems.
On the Internet, I'm probably better known as 0xAX.
- Currently, I'm a backend engineer at Cennso, previously Travelping.
- I'm deeply interested in performance engineering, databases and storage systems, Linux internals, and observability.
- I'm the author of linux-insides and asm.
- I write about systems and low-level topics at Understanding systems from the inside.
- Most of my time is spent in GNU Emacs. If you're curious about my setup, my dotfiles are here.
- Outside of programming, I play chess ♞.
- linux-insides - A book-in-progress about the Linux kernel and its insides 🐧
- asm - A course on x86-64 assembly programming for Linux ⚙️
- ob-lean - Support for Lean 4 in Org Babel 🧩
- BootLife - Conway's Game of Life running directly from a 512-byte x86 boot sector 💾
- go-algorithms - Algorithms and data structures in Go 🧠
- make-snippets - Set of reusable snippets for make 🏗️
You can find a list of my open-source contributions here.