Yuki is Bored
Professional Penguin Strangler
Links
👋 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