Résultats
2 articlesTrier
34:11EN
GOTO Conferences· 23 oct. 2026Anatoliy Bilenko and Alberto Carretero: Making Database Protocols Reliable with Formal Methods and AIAnatoliy Bilenko, Alberto Carretero · CanonicalCanonical’s database engineers connect executable specifications, model-based tests, failure exploration, and reconstructed execution histories—and explain why none of these techniques proves a real system correct on its own.
13:12EN
OpenAI· 7 oct. 2026Alexandra Lato on Building Stack Overflow for Agents and Stack Internal with CodexAarti Bagul, Alexandra Lato · OpenAIStack Overflow’s VP of Product explains how a small team used Codex with opposite constraints on two products—and why agent-native design means letting agents contribute knowledge, not just read it.