From a moving garbage collector to a director's morning brief — I build systems end to end.
CS student at Western · backend, runtimes, and agent infrastructure.
Drag a visible crease to test the fold. Use left and right arrow keys to step forms.
A statically typed language on verified bytecode with a precise moving, two-generation GC.
Hard part: Objects move mid-execution and every reference survives; nothing runs unproven.
EVIDENCE · deterministic stress scheduling · 46-iteration correctness log
STACK · C++ · bytecode VM · precise moving GC
A six-package agent-infrastructure lab — policy, memory, tracing, tools — behind one governed console.
Hard part: The console never invents an outcome. Every status on screen comes from a value in the runtime's report.
EVIDENCE · hosted Gateway demo, deterministic, no LLM in the loop · shadow-mode baseline
STACK · Python · FastAPI · React · six packages
A deterministic model checker that explores every meaningfully different interleaving of a concurrent program.
Hard part: Happens-before and independence analysis across SC, TSO, and PSO memory models — pruning equivalent schedules without missing a race, and shipping a minimal reproducing schedule with every reported bug.
EVIDENCE · minimal repro schedules · lasso witnesses · deterministic replay
STACK · C++20 · DPOR · three memory models
Each of these has a world. You've been reading the still versions.
A map-first evening atlas for Toronto that refuses to claim what it can't verify.
Hard part: Provider evidence drives every pin — no hours, Wi-Fi, or quiet are ever asserted without proof.
EVIDENCE · live demo instance · recorded walkthrough · macOS app in alpha
STACK · TypeScript · React · SwiftUI · MCP
An upload-driven morning brief over the daily performance report, with provenance on every number.
Hard part: Read-only validation, immutable snapshots, atomic publish — a figure can always walk back to its cell.
EVIDENCE · public demo on declared sample data · latency + accessibility + renderer gates green
STACK · Next.js · FastAPI · Postgres
The rushed version ends here. If you're still reading, you weren't rushed.
TAKE THE ODYSSEY ⟶