Jeff Emanuel
Building in NY
Explained projects
franken_engine: FrankenEngine: The JavaScript Runtime That Tries to Prove Its Own Claims
A Rust runtime for hostile extension workloads, where containment, replay, and evidence are built into the engine instead of bolted on after the breach.
franken_numpy: FrankenNumPy: Rebuilding NumPy in Safe Rust, Then Proving It Against NumPy Itself
A clean-room array library with one unusual rule: every edge case has to survive a live oracle check, a conformance ledger, and a zero-unsafe codebase.
The Illusion of Zero Latency: Unpacking frankensearch
How a Rust-based hybrid engine uses structured concurrency and a two-tier progressive pipeline to eliminate retrieval bottlenecks for local agents.
The Flight Recorder for JavaScript: Inside franken_node
While Node and Bun race for milliseconds, a trust-native Rust runtime brings aerospace-grade forensics, deterministic replay, and active isolation to the V8 ecosystem.
Executing Formal Verification in the Browser: Inside asupersync_website
How a React 19 visual laboratory replaces the static README to prove the safety of a cancel-correct Rust runtime.
Simulating the Database: How frankensqlite_website Turns Docs Into a Laboratory
Instead of static architecture diagrams, this Next.js showcase uses WebAssembly and React to let engineers play with B-Trees, WAL lanes, and fountain codes directly in the browser.
franken_whisper: The Bayesian Hypervisor for the Agentic Ear
How a zero-unsafe Rust orchestrator unified the fragmented Whisper ecosystem into a high-reliability streaming engine for AI agents.
FrankenJAX: Clean-Room Mathematics and the Pursuit of the Perfect Trace
How a solo developer is rebuilding JAX from first principles in Rust to achieve bit-stable, verifiable numerical sovereignty.
PageRank for Your Technical Debt: How beads_viewer_rust Solves the Triage Trap
Moving beyond "Priority: High" with a graph-aware engine built for autonomous agent swarms.
storage_ballast_helper: Predictive Self-Healing for the AI Agent Era
How a Rust-based daemon uses industrial control theory and sacrificial files to prevent disk exhaustion during high-velocity coding loops.
beads_viewer: Beyond the Kanban: How bv Uses Graph Theory to Solve Project Deadlocks
A high-performance TUI that treats your issue tracker like a neural network, identifying critical paths and articulation points that stall entire engineering teams.
Decoding the Noise: Inside llm_aided_ocr
How a hybrid pipeline pairs classic extraction with language models to turn garbage scans into perfect Markdown.
The Stealth Proxy for AI Agents: Inside remote_compilation_helper
How a Rust-based interceptor tricks local AI models into building on remote clusters, saving your laptop battery without changing a single prompt.
Agentic Coding Flywheel Setup: Building an OS for AI
How a declarative shell architecture turns a raw Ubuntu VPS into a high-velocity, self-healing factory for autonomous coding agents.
MCP Agent Mail: The Coordination Layer for Chaotic AI Swarms
When multiple autonomous agents work on the same codebase, they overwrite each other's work. Here is how one developer used Git hooks, SQLite, and an email metaphor to force them to collaborate.
The Terminal That Reads Itself: Inside NTM
How a Go-based orchestrator reverse-engineers AI CLI outputs to manage parallel coding swarms in tmux.
Yet to be explained
skillranker
Explain
Rust CLI powered by Jev from TypeSafe.ai that ranks agent skills for the next step using live session context. Includes Claude Code hooks, structured JSON, abstention, and local feedback. Requires a TypeSafe API key.
franken_drone_geometry_reconstruction
Explain
Agent-native, evidence-grade operating substrate for turning owner-authorized drone video into metrically honest semantic digital twins
franken_surveillance_system
Explain
Pure-Rust, evidence-native, local-first sensor fabric and semantic control plane for owner-authorized cameras and capture drones
frankengit
Explain
Git-compatible, agent-native, repairable, self-hostable code forge and GitHub alternative.
classic-patents.com
Explain
An open-source digital museum restoring history's most consequential patents into pristine OCR transcripts, rigorous Plain English engineering breakdowns, and interactive real-time simulations.
frankensonos
Explain
Memory-safe Rust controller for your own Sonos speakers on your own LAN — reliable SSDP/UPnP-SOAP/GENA interoperability (S1 + S2), a Spotify-library classical DJ, and a CLI + HTTP API + MCP server so AI agents can run the house, including off-LAN over Tailscale.
dwarf_fortress_mcp
Explain
A semantic, transactional, replayable MCP control plane that lets autonomous AI agents operate Dwarf Fortress as a long-lived civilization. Safe-Rust phase-0B scaffold: MVCC world state, witnessed semantic plans, evidence-backed effects, deterministic replay.
franken_overlap
Explain
Ultra-fast sparse-spectral textual overlap detection and approximate alignment in safe Rust
franken_code_browser
Explain
Spatial Rust source browser with a native Metal Mac app. Notarized developer-preview DMG and Homebrew cask available.
franken_remote
Explain
A tailnet-native remote workstation in Rust: hardware-accelerated HEVC-only video over your existing Tailscale identity, on the Asupersync runtime. Freshness over throughput, input authority that ends cleanly, no accounts or pairing. Spec-first: comprehensive design plan, pre-implementation.
franken_alignment
Explain
Evidence-carrying control system for powerful AI agents, featuring epistemic MVCC, authority graphs, progressive ATP evidence, and decision-sensitive introspection in pure safe Rust.
annus-mirabilis.com
Explain
Interactive critical edition and discovery lab for Einstein's four 1905 Annalen der Physik papers: pinned facsimiles, reviewed German text, a new aligned English translation, explanations at every depth, live semantic equations, and FrankenSim-backed physics instruments.
beads_bend
Explain
A law-proved port of br (beads_rust), the local-first, dependency-aware issue tracker for AI coding agents, to the Bend 2 language. Golden-tested against the original on every lane; early work in progress.
franken_threed
Explain
Three.js-compatible application specializer with a Rust/Wasm + WebGPU execution core: compiles ordinary Three.js apps into specialized update kernels, packed GPU state, and persistent render schedules. Full r186 compatibility, zero feature cuts, honest 2x/3x benchmark gates.
toon_bend
Explain
Byte-for-byte port of the toon CLI (toon_rust: JSON <-> TOON, the token-efficient format for LLM context) to Bend 2. Golden-tested against the pinned original on 4 executor lanes (interpreter, native C at 1 and N threads, JavaScript), 368 machine-checked laws, a software binary64, zero unsafe.
franken_native_capsule
Explain
Separately owned native-code capsule for FrankenEngine (ADR-0010)
franken_manim_hoeffding_explainer
Explain
A narrated 3Blue1Brown-style explainer of Hoeffding's D, rendered end to end in Rust by franken_manim
readme_smoke_wt-pages
Explain
Issue tracker dashboard