Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
Show HN: CausaNova – Deterministic runtime for LLM constraints via Ontology (petzi2311.github.io)
2 points by CausaNova 44 days ago | hide | past | favorite | 1 comment


Hello HN,

I watched Alex Karp’s recent talk at Davos/WEF where he stated: "Half your enterprise doesn't work on the battlefield. It works in a lab on a PowerPoint."

As a self-taught architect fighting German bureaucracy, I felt that. So I built an engine to fix the "Execution Gap" between LLM capabilities and strict operational constraints.

The Solution: CausaNova I built a deterministic .NET 8 runtime (Zero-Dependency) that acts as a firewall between the "Intent" (AI) and the "Action" (Reality).

It is already domain-agnostic. While the demo shows a kinetic defense scenario, the engine doesn't care about the target. We have already implemented ontologies for:

    HTML: Rendering strict UI components.

    SQL: Enforcing safe query states.

    Math: Solving geometric constraints.

    PLC/Hardware: controlling signals. To CausaNova, these are just domains in a JSON DSL.
How it works:

    Logic over Code: We stripped business logic out of the C# code entirely.

    Ontology as Config: Rules are defined in a strict JSON schema.

    The Resolver: The runtime uses an internal solver (SMT-style logic) to validate every request against the current state before execution.

    Tactical Edge: No cloud required. Runs on low SWaP hardware.
Why? Because "Ethics" is a debate, but "Logic" is a binary state. I wanted a system where I can hot-reload the "Rules of Engagement" (JSON) without recompiling the kernel.

The Stack: .NET 8 (AOT), Zero external dependencies.

I’m looking for feedback on the ontology structure and offline-inference strategies. Roast my architecture.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: