nibli
A zero-hallucination symbolic reasoning engine — a hallucination firewall for the LLM era. Lojban in, first-order logic out; every answer derived, never guessed, with a proof trace on every conclusion.
Hands-on Technical Architect — Rust, Python, distributed systems, WebAssembly, and symbolic reasoning.
Over a decade architecting, building, and scaling systems end to end. Lately I'm retrofitting symbolic reasoning for the LLM era — building nibli, a hallucination firewall that derives instead of predicts, and writing a book about it.
A zero-hallucination symbolic reasoning engine — a hallucination firewall for the LLM era. Lojban in, first-order logic out; every answer derived, never guessed, with a proof trace on every conclusion.
A pure-Rust System 2 reasoning kernel — minimal knowledge, maximal logic. A transformer that thinks in explicit steps: think, call, result.
A gamified Gen-AI product answering questions about all 1,330 Thirukkural couplets — in Tamil, English, or Tanglish. Tamil heritage × AI, built under Nitimis.
A working book on symbolic reasoning for builders — how logic, recursion, and self-reference become real systems. Equal parts Gödel, Rust, and lab notebook. Drafting in the open.
Long-running thoughts on building, logic, freedom, and the occasional detour into Tamil and philosophy of mind.
An Optimistic Nihilist who loves Science, Rust, Python, FOSS, WebAssembly, WebRTC, Web3, Distributed Systems, and symbolic reasoning.
Find me where the source lives.