site
hi
links
reading log
todo
learn Lean, Haskell, Nix