cfg: macos, zshrc, kitty, ranger, gitconfig, nvim, tmux, zellij, emacs/doom emacs, nixos-config, hammerspoon, zathurarc
I’m interested in math, food, theoretical CS, sleep, proof assistants (specifically Lean & Coq), phylosophy, physics, quantum computing, fairy tales, intent & context engineering, LLM‑induced psychosis, in spring to walk for hours along the river and watch the ice melt