⇩ Markdown
considering dark software factories
→
dark software factory -- key media
→
blog post - OpenAI harness engineering 2026-02
→
review - Open AI harness blog post - 2026-02-22
→
blog post - AI will make formal verification go mainstream
→
Martin Kleppmann
Martin Kleppmann