👋 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.