Yuki is Bored

👋 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, Lisp, F*, Coq.
• ✍ Helping people one note at a time: notes.yukiisbo.red.
• 🖌 Character art by Luciel Teo. CC BY-SA 4.0