Blog

  • The Slop Machine, a slot-machine like device that produces bugs, vulnerabilities, and downtime

    The Slop Machine

    Joe Kiniry, Shpat Morina formal-methods engineering ai

    The better AI-generated code looks, the easier it is to trust a process that isn't giving you any evidence about its outcomes

  • Abstract blog graphic for Correctness Accelerates Innovation

    Correctness Accelerates Innovation

    Joe Kiniry formal-methods engineering ai

    Rigor reduces rework, improves delegation, and lets teams move faster with less fear when AI agents are part of the workflow.

  • Sigil Logic

    Introducing Sigil Logic

    Joe Kiniry announcement

    Sigil Logic is building AI-augmented tooling that makes rigorous engineering and formal methods practical for everyday software teams.