~/work
a few projects.
01 / Civilization Agent Sandbox
ARES
A small world for AI agents. They suggest a move; Rust checks it before the world changes. Every state change is deterministic and atomic.
notes — ARES
- 01 Bounded proposal
Complete six-part allocation plus the expected base tick.
- 02 Rust validates
Build a candidate state, then check every invariant.
- 03 Commit or reject
S(0) becomes S(1) once; rejection leaves state untouched.
Rust / Cargo / 3 crates / Atomic commit / Frontier v0.1
02 / Distributed Compute Control Plane
Rust Edge Compute Node
A Rust control plane for a small compute cluster. I’m interested in what happens when a worker disappears.
notes — Rust Edge Compute Node
- 01 Workers report
GPU telemetry, uptime, version, and heartbeat state.
- 02 Orchestrator leases
Capability filter, priority queue, and renewable job lease.
- 03 Failure recovers
Stale nodes are evicted and expired work returns to the queue.
Rust / Tokio / Tonic / gRPC / Ratatui
03 / Particle Simulation
High-Performance Physics Engine
An excuse to learn what makes a simulation fast. C++17, Verlet integration, and particle collisions. Spatial hashing and benchmarks are next.
notes — High-Performance Physics Engine
- 01 Integrate
Current and previous positions advance through Verlet steps.
- 02 Resolve
Boundary bounces and all-pairs particle contacts on CPU.
- 03 Render + measure
SFML frame output with FPS and particle diagnostics.
C++17 / CMake / SFML / Verlet / O(n²) contacts
04 / Speculative Decoding Gateway
Speculative Inference Proxy
I’m testing whether speculative decoding is worth the extra machinery. This proxy compares both paths and measures the wait.
notes — Speculative Inference Proxy
- 01 Route
One request selects the baseline or speculation-enabled arm.
- 02 Engine owns speculation
Draft proposal and target verification stay inside vLLM.
- 03 Stream + measure
Pass SSE through while recording first output and total latency.
Rust / Axum / vLLM / SSE / OpenMetrics
~/tools
usually within reach.
01
Systems programming
- Rust
- C++
- Linux
- Bash
- Tokio
02
AI infrastructure
- Python
- PyTorch
- vLLM
- FastAPI
- Eval Harnesses
03
Distributed infrastructure
- Docker
- gRPC
- Tonic
- GitHub Actions
04
Security labs
- Hack The Box
- Web Security
- Prompt Injection
- Threat Modeling
05
Interfaces
- TypeScript
- React
- MapLibre
- Dashboards