Tools

Languages: Rust, Python, Lean 4, Go, TypeScript.

Editor: VS Code + Claude Code.

Terminal: Ghostty, zsh, tmux.

Rust: cargo-nextest, cargo-watch, maturin (PyO3). ruff + uv for Python.

Search/replace: ripgrep, fd, sd, ast-grep.

Infrastructure: Pulumi, AWS (S3, CloudFront, Route 53, Lambda), Colima/Docker.

Writing: Lume, KaTeX, Typst (diagrams), matplotlib (plots).

Hardware: MacBook Pro M-series.