zkdefi · notes

#macos

Consensus by what hasn't been said out loud

A walking, breathing PoC of Mirco Richter's Crisis protocol — a DAG-based BFT consensus that achieves total order in fully open peer-to-peer networks by *deducing* votes from causal structure instead of sending them. Plus a SwiftUI visualizer that walks the protocol end-to-end in extreme slow motion, and an agent-coordination layer that lifts the same machinery from machines reaching agreement to AI agents reaching agreement.

A monitor-only research scaffold for a hashpower-buying strategy

Tooling to study a "buy hashpower on Braiins, mine through OCEAN" strategy in monitor-only mode — recommendations, never orders. The whole point is the discipline of separating *deciding what the right trade is* from *placing it*.

Modeling absolute temperature from powermetrics, in a tmux split

Apple Silicon doesn't expose junction temperatures to userspace. So model them. A tmux-based wall display that takes `powermetrics` output, runs a thermal model with tunable thetas and a clamshell factor, and shows estimated CPU/GPU temperatures alongside the raw power numbers.

One command to herd every JupyterLab on the laptop

A cross-project Jupyter coordinator. `jupyter-hub status`, `ports`, `stop-all`, `orphans`, `which 8889`. The problem it solves is small. The reason it solves it well is that it treats your project layout as authoritative instead of asking you to remember which terminal owns which port.

A local-first refinery for the corpus you've already read

A macOS app for ingesting your corpus — papers, notebooks, archives, the stuff you've read once and need to find again — and exposing it through semantic search and a 3D concept visualization. Local-first. Nothing leaves the device. The model isn't "search engine"; it's "refinery."

A puncturable-key system with an iOS emergency-puncture companion

GGM-tree puncturable keys in Go. A macOS app/server manages derivation, provider issuance, asset encryption. A native iOS app exists for one purpose — remotely puncturing a provider when something has gone wrong. The asymmetry between primary and emergency surfaces is the point.

A harness for letting AI agents trade against the future

Polymarket as a substrate for letting LLM-driven agents propose, defend, and rebalance positions on the future itself — a quiet sandbox for studying how machine reasoning behaves when it has skin in the game.