probabilistic-minds-consortium/void-mathematics-fully-finite-coq-verified

AI that stops talking when it stops knowing. Finite math, Coq verified, parasitic layers for any LLM.

3 best points · 1 comments · 2 Hacker News posts · 0 GitHub stars · View on GitHub

Hacker News discussions

• Finite math system, verified in Coq – for theory nerds and alt. IT ppl (3 points, 1 comments, by kwojno, 2025-08-06)
• Show HN: CPU-based Neural Net. Zero floats. Returns "I don't know" (1 points, 0 comments, by kwojno, 2026-02-02)