Blog

  • 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.