USES

Uses

Tools and software I use daily for development, infrastructure, and productivity.

DEVELOPMENT

Editors

Neovim ↗ Primary editor with LSP, Treesitter, and custom keymaps. Rust, Go, Python, C++ support.
VS Code ↗ Secondary editor for web dev, TypeScript, and quick edits.
CLion ↗ C++ and Rust development with CMake integration and debugger.

Terminal

WezTerm ↗ GPU-accelerated terminal emulator with Lua config and multiplexing.
Git ↗ Advanced workflows: rebase, bisect, worktrees, submodules. Forgejo for private repos.

Languages

Rust ↗ Systems programming, WASM, async/await. Primary language for new projects.
Go ↗ Backend services, CLI tools, Echo framework.
Python ↗ Automation, data processing, testing.
TypeScript ↗ Full-stack web development.
Lean 4 ↗ Formal verification and theorem proving for critical algorithms.

Tools

Docker ↗ Multi-stage builds, distroless images, compose for local dev.
Valgrind ↗ Memory analysis, leak detection, and profiling for C/C++.
Makefile Build automation for C/C++ and multi-language projects.

INFRASTRUCTURE

Hosting & Edge

Cloudflare Pages ↗ Static site hosting with edge functions for this portfolio.
Cloudflare Workers ↗ Serverless edge compute for API proxies and data transformations.

Git & CI/CD

Forgejo ↗ Self-hosted Gitea fork for private repositories and CI/CD.
GitHub Actions ↗ Automated builds, tests, and deployments.

Self-Hosted

TrueNAS Scale ↗ Self-hosted NAS with ZFS, Docker, and VM hosting.
Proxmox VE ↗ KVM/QEMU and LXC container management.
Traefik ↗ Edge router with automatic SSL and service discovery.
Keycloak ↗ Identity and access management for self-hosted services.

Databases

PostgreSQL Primary relational database with JSONB and partitioning.
TimescaleDB Time-series extension for PostgreSQL.
Redis Caching and message queues.