attobop.net

posts

You've seen 100 species. How many exist? Regions for set inclusion Why 561 passes Fermat's test A difference table is a discrete derivative Passive WiFi channel hopping as active sensing Common on the board, rare in English Exact Bernoulli sampling from fair and biased coins

projects

code

vicinity Approximate nearest-neighbor search anno Text annotation and entity extraction metallix A local inference engine for Apple Silicon, built around Rust and Metal. muxer Multi-objective bandit routing with drift detection netbraid Netbraid tests how network observations relate while keeping their sources separate proofyloops CLI and MCP server for debuggable Lean 4 proof workflows hypha Power-aware coordination for local sensor and compute nodes piku Experimental local coding agent with terminal and browser workspaces

sound

keyboard shortcuts

1 – 7select first seven modes

selector / arrowsall eight modes

← →prev / next mode

spacereset / reseed

shift + dragdeath mode

cmd / altpassive cursor

pcycle palette

ttoggle trail

sscreenshot

ffullscreen

? / hthis help

escclose