Skip to content
View dhilipsiva's full-sized avatar
🏠
Working from home
🏠
Working from home

Organizations

@nitimis

Block or report dhilipsiva

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
dhilipsiva/README.md

dhilipsiva

An Optimistic Nihilist who loves Science, Rust, Python, FOSS, WebAssembly, WebRTC, Web3, Distributed Systems, and symbolic reasoning.

Hands-on architect and lifelong builder — over a decade taking systems from whiteboard to production. Dropout, self-taught, open-source by default. I build things that hold themselves up.

// now

  • nibli — a hallucination firewall: Lojban compiled to first-order logic, demand-driven backward chaining, a proof tree on every answer. Rust → WebAssembly. Zero-hallucination means inference soundness, not premise truth — like Lean. → run it live
  • dhilipsiva.dev — my site, which ships its own AI: two LoRA fine-tunes of me and the real nibli engine, all running in your browser via candle (Rust→WASM). No servers, no cookies, open source — training pipeline included. → chat with my twin
  • The Fixed Point of Thought — a book on symbolic reasoning for builders, with nibli as the case study. Drafting in the open. (working title)
  • Technical reviewer on Ultimate WebAssembly for High-Performance Apps (Srinivas Shanmugam, Orange Education, 2026).

// built

nibli symbolic reasoning engine · botwork single-binary Rust RPA · webapp-checklist the pre-launch list every site trips over (~366★) · awesome-programmer the dropout's path, written down (~102★) · awesome-rust-ml a curated map of the Rust ML ecosystem.

FOSS by default — freedom is a design constraint I refuse to relax.

// stack

Rust Python WebAssembly WebRTC NixOS Symbolic Reasoning Distributed Systems

NixOS everywhere · helix + fish + zellij · the terminal is the IDE.

// elsewhere

dhilipsiva.dev · LinkedIn · dev.to · Stack Overflow · dhilipsiva@pm.me

Nothing is owed. Build anyway.

Pinned Loading

  1. webapp-checklist webapp-checklist Public

    Technical details that a programmer of a web application should consider before making the site public.

    Python 366 25

  2. awesome-programmer awesome-programmer Public

    A collection of resources to learn from and become a self-taught awesome programmer.

    102 23

  3. email-template-generator email-template-generator Public

    Email Template Generator. Generate responsive, maintainable & unified templates for Sendgrid, Mandrill, etc. Using SASS, Pug and common layout.

    CSS 30 10

  4. garuda garuda Public

    Automagically Exposing Django ORM over gRPC for microservices written in any other languages

    Python 24 2

  5. botwork botwork Public

    botwork is a single-binary, generic and open-source automation framework written in Rust for acceptance testing & RPA

    Rust 30 2

  6. orm-choices orm-choices Public

    Helpful decorators + utils for choice fields (Django choices or SQLAlchemy ChoiceType). Do choices the pythonic way.

    Python 13 2