Nick Buser

A self-hosted internal developer platform on my own hardware: git push an app and it builds, deploys, and serves on the LAN.

A small ML platform on one consumer GPU: Kueue quota, Volcano gangs and Slurm on Kubernetes sharing one card, models that wake on request, and telemetry across the stack.

A control plane for coding-agent sessions: tickets, handoffs, and decisions that agents read over MCP and a CLI, a harness that gates each change before it merges, and a web app where one person approves what lands.

A full-stack explorer of notes and visualizations across thinkers and works, with an optional Lean 4 proof-checking seam.

Interactive grammar instruments for language study — drag a sentence apart, turn a register dial, swap a particle, and the grammar answers back.

A browser strategy game built around its own ruleset and win condition.

A formal workbench for Brandom’s inferentialism — a deontic scorekeeper tracking commitments and entitlements across perspectives.

A batch-first workbench for treating heterogeneous formalisms — TLA+, Lean, z3, egglog, Maude — as transition systems behind one kernel-owned contract, each tool wrapped as a JSON-RPC adapter.