25+ LaTeX papers on mathematical foundations, AI agent architecture, cryptanalysis, entropy theorems, and tournament results.
AI & ML interests
Alternative Attention · SUBLEQ · Resonance Words · Integer Computing · Deterministic AI · Algorithmic Routing · DAG Computing
Recent Activity
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.
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.
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.