Toronto, Canada
Research, projects, and essays from shower thoughts.
Computer Science and Cognitive Science at the University of Toronto. I build private networks, self-hosted services, and privacy tooling. The blog is for findings, know-how, and the occasional rant.
Freedom is the freedom to say that two plus two make four. If that is granted, all else follows.
Selected projects
Serval
Configuration and scripts served from a URL that never moves, filled in per caller. Every revision is kept and any of them can be restored, and unlike a Gist, an edit stops the cache from serving the stale copy.
- Rust
- ·PostgreSQL
- ·Content-addressed
Letterbox
An Android mail client that does not tell the sender you opened their email. Remote images are blocked by default; the ones you allow are fetched through a WARP tunnel the app builds itself in Rust, with no proxy operator logging the request either.
- Kotlin
- ·Rust
- ·Android
SKILLs
Reusable procedures for coding agents, written as Markdown that names no particular project. Any repository can read them; this site is one that does.
- Agents
- ·Markdown
- ·Tooling
PromptPipe
Messaging infrastructure for behavioral studies. Participants answer on WhatsApp with nothing to install, and delivery is recorded apart from responses: a prompt that never arrived stays distinguishable from one nobody answered.
- Go
- ·Study infrastructure
Recent posts
The FORGIVE protocol
Fabric-Overload Relief: Gradients under Iteration-Varying Exemption. A receiver acknowledges past bytes a switch trimmed, within a loss budget that tightens on steps most sensitive to loss. A congested ML training network can then trade bounded loss for less time spent throttled.
Machine-checked proofs for AI-written software
A product manager writes the requirements, one agent turns them into Lean, another writes the code, and the checker proves the code satisfies the spec. The human reviews only the formalization, and most of that pipeline already works today.
Research participants who pay themselves
A country quiz got fifteen minutes of careful answers and a referral out of me, for nothing. What it would take to build a research study that recruits itself the same way through social media, and what the free participants cost you in bias.