pinned
Running
Snapkitty
🐈
Deterministic systems, verified end to end
AI & ML interests
Alternative Attention · SUBLEQ · Resonance Words · Integer Computing · Deterministic AI · Algorithmic Routing · DAG Computing
Recent Activity
pinned
Running
Sovereign LISP Machine
💻
Run LISP or EmojiScript code instantly in your browser
pinned
Running
Twin-O-Matic
🤖
Create interactive 3D scenes from text prompts
Running
Formal Verification
✅
Lean 4, Agda and cross-language proofs
Running
Quantum Computing and Physics
🔬
Quantum walks, TLM/JXCL and physics engines
Running
Research and Papers
📚
Papers, tournament results and open scholarship
Running
Compilers and Runtimes
⚙
Compilers, VMs, emulators and languages
Running
Infrastructure and Tools
🔧
MCP servers, IDEs, browsers and dev tools
Running
Security and Cryptography
🔒
Attestation, WORM audit chains, policy engines
Running
Models and Training
🧠
Language models, checkpoints and training stacks
Running
GPU Kernels and Hardware
⚡
CUDA kernels, RTL accelerators and embedded OS
Running
Agents and Orchestration
🤖
Multi-agent systems and orchestration engines
Running
Community and Culture
🏰
Saint Errant Digital Society, art and culture