Ledgers, ERP, market analysis, treasury
AI & ML interests
Alternative Attention · SUBLEQ · Resonance Words · Integer Computing · Deterministic AI · Algorithmic Routing · DAG Computing
Recent Activity
IDEs, MCP servers, dev tools, browsers, deployment
ISAs, compilers, emulators, virtual machines, runtimes
25+ LaTeX papers on mathematical foundations, AI agent architecture, cryptanalysis, entropy theorems, and tournament results.
CUDA kernels for Ampere GPUs, bare-metal processors in Ada, Apollo Guidance Computers in 7 languages, and embedded fleet hardware.
Multi-agent orchestration with formal verification gates. BOB family, sovereign kernels, event buses, and deterministic routing.
TempleOS, art, open-source governance, digital society
AES verification, attestation, policy engines, cryptographic protocols
Quantum circuits, topological computing, entropy analysis, quantum walks
QLoRA training, corpus curation, deterministic pipelines, and WORM-sealed fine-tuning infrastructure.
Zero-sorry Lean 4 theorems, Agda formalizations, and cross-language verification. Every proof compiles. No axiom admits.
Small, local-first language models. Nemotron fine-tunes, reward models, deterministic routing, and GGUF exports. Everything runs on consumer GPUs.
Ledgers, ERP, market analysis, treasury
TempleOS, art, open-source governance, digital society
IDEs, MCP servers, dev tools, browsers, deployment
AES verification, attestation, policy engines, cryptographic protocols
ISAs, compilers, emulators, virtual machines, runtimes
Quantum circuits, topological computing, entropy analysis, quantum walks
25+ LaTeX papers on mathematical foundations, AI agent architecture, cryptanalysis, entropy theorems, and tournament results.
QLoRA training, corpus curation, deterministic pipelines, and WORM-sealed fine-tuning infrastructure.
CUDA kernels for Ampere GPUs, bare-metal processors in Ada, Apollo Guidance Computers in 7 languages, and embedded fleet hardware.
Zero-sorry Lean 4 theorems, Agda formalizations, and cross-language verification. Every proof compiles. No axiom admits.
Multi-agent orchestration with formal verification gates. BOB family, sovereign kernels, event buses, and deterministic routing.
Small, local-first language models. Nemotron fine-tunes, reward models, deterministic routing, and GGUF exports. Everything runs on consumer GPUs.