Uses
The languages, tools and setup I reach for day to day.
# Languages
- Go
- my default for ledgers, WALs, and anything where p99 latency or concurrency bugs actually hurt
- Rust
- when I need zero-copy guarantees, CosmWasm contracts, or TLSNotary/ZK host integrations
- TypeScript
- for everything facing a human or an LLM—Next.js, Fastify APIs, and CLI/editor tooling
- Solidity
- EVM protocols, ERC-4337 account abstraction, and deterministic risk state machines
- Python
- kept strictly for evaluation harnesses, statistical runs, and quick adversarial scripts
- Daml
- for Canton Network workflows where sub-transaction privacy is non-negotiable
# Infrastructure
- PostgreSQL & Redis
- boring on purpose—serializable ledger state in Postgres, ephemeral locks and queues in Redis
- Kafka & gRPC
- when services need replayable event logs and typed binary wires instead of JSON over HTTP
- IPFS & Tor
- content-addressed storage and onion routing for publishing that survives domain seizures
- Docker, AWS & Neon
- reproducible local stacks and serverless Postgres when spinning up new protocol backends
# AI & agents
- Claude & OpenAI
- Claude for architecture and long-context refactoring; OpenAI models inside multi-provider evals
- Model Context Protocol (MCP)
- how I wire local tools, git state, and repo graphs into coding agents without glue code
- OpenGit Composer
- dogfooding my own VS Code extension to split messy working trees into clean atomic commits
- Mosaic Eval
- my own harness for testing whether multi-model routing actually beats a single frontier model
# Contracts & ZK
- Foundry
- invariant fuzzing and fast Solidity tests—I only touch Hardhat when a legacy repo forces it
- Circom & Noir
- writing ZK circuits small enough to prove in a browser or mobile client
- TLSNotary
- proving what a web server returned without trusting an oracle or revealing the session
- ERC-4337
- session keys, scoped budgets, and paymasters so humans and agents don't sign raw transactions
# Desk
- MacBook Pro (M-Series)
- one machine in a backpack—runs local Docker clusters, Go benchmarks, and circuit builds anywhere
- VS Code / Windsurf
- vim keybindings, minimal chrome, and custom agent workflows wired in
- Ghostty + zsh
- GPU-accelerated terminal, starship prompt, and tmux for long-running remote sessions