Uses

The tools and software that I use on a daily basis.

Development Environment

• Operating System: NixOS
• Editor: nvim-nix (shameless plug)
• Terminal: kitty, tmux, bash
• Window Manager: Hyprland

Programming

• Development: Common Lisp (SBCL), Nix, C, Haskell
• Proof assistant: Agda
• Version control: Git

Research Tools

• Typesetting: LaTeX
• Bibliography: Zotero + BibTeX

Infrastructure

• Configuration: Nix flakes
• Secrets: sops-nix with age encryption and multiple key support
• Deployment: SSH-based with nixos-rebuild

Hardware

• Primary: Yoga 7 16IRL8 82YN, 16GB RAM