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, bitches, physics, quantum computing, fairy tales.