currently: symbolic reasoning Bangalore, India

From whiteboard
to production.

An optimistic nihilist, hands-on architect and lifelong builder who loves Science, Rust, Python, FOSS, WebAssembly, WebRTC, web3, distributed systems, 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.

// things i built

A few things worth pointing at

See all →
active

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.

Architected & built · open-source
RustWASMSymbolic ReasoningLogic
active

botwork

A single-binary Rust automation framework for acceptance testing and RPA — plain-text human-readable syntax, extensible via Rust, Python, and JavaScript.

Architected & built · open-source
RustRPATesting
active

dhilipsiva.dev

This website — a Zola static site that ships its own AI: two LoRA fine-tuned twins and the real nibli engine, all running in your tab via Rust→WASM. The site is its own demo, and the source is open — training pipeline included.

Architected & built · open-source
RustWASMZolaLoRA
// from the bookshelf

What I'm writing

All books →
Cover: The Fixed Point of Thought
in progress

The Fixed Point of Thought

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.

// now
building  nibli — a hallucination firewall reading  Gödel, Escher, Bach (again) writing  The Fixed Point of Thought role  Technical Architect @ STGI
What I'm doing now →

Find me where the source lives.