👋 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.
- ✍ Helping people one note at a time: notes.yukiisbo.red.
- 🖌 Character art by Luciel Teo. CC BY-SA 4.0.
Please visit yukiisbo.red for contact information if you wish to contact me.