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