👋 Hello world! I’m Yuki, a hacker who tinkers with technology.
- 👷 Sitting at the helm of 🚢 Kubernetes clusters and maintaining 🐋 Docker images for food.
- 🛠 Proud user of 🐡 OpenBSD, 😈 FreeBSD, and ❄ NixOS.
- 🧑💻 Interested in functional programming and formal verification: Haskell, OCaml, Lisp, Coq.
- ✍ Writes about a variety of things at yukiisbo.red/notes.
- 🖌 Character art by Luciel Teo. CC BY-SA 4.0.