# Projects

attobop.net is the publishing surface: an interactive automata instrument and the essays. The colophon covers the machinery.

# Research

• subsume – subsumption and ontology reasoning over geometric and embedding representations. Written up in regions for set inclusion.
• fingerprints – finite-sample entropy and unseen-species estimation. Written up in you’ve seen 100 species.
• flowmatch – flow matching on the torus, the sphere, and SO(3).

# Tools

• metallix – local inference engine for Apple Silicon, in Rust and Metal.
• vicinity – approximate nearest-neighbour search.
• anno – text annotation and entity extraction.
• muxer – multi-objective bandit routing with drift detection.
• netbraid – network evidence and replay.
• proofyloops – CLI and MCP tooling for debuggable Lean 4 proof workflows.
• hypha – power-aware coordination for local sensor and compute nodes.
• piku – experimental local coding workspace.