SPEAKER
Tsvetan Tsvetanov
Co-owner and lead software engineer @ Camplight
Tsvetan builds software factories for a living. As a Co-founder at Camplight, he has a pipeline in production at a pharma client where agent-authored changes land in critical paths of the system — and 30 colleagues supporting 15 clients on the strength of that kind of leverage. Before Camplight he led teams at Via. He came to autonomous delivery through TDD, CI/CD, and hexagonal architecture, which is why his answer to "how do you merge without review" is about guardrails rather than vibes.
Upcoming sessions
See complete program2 November
1:40 PM · 90 min
Stop Context Drift: Building Software with Deterministic Agents
AI coding agents are surprisingly good at writing code. The problem is keeping them aligned with what you actually asked for as a project grows.
In this 90-minute hands-on workshop, we'll build an application with nWave and follow an idea all the way to working code. We'll see how nWave turns expectations into executable checks, uses Agda and TLA+ to verify design decisions, and runs implementation through a deterministic execution system designed to prevent context drift between intent, design, code, and validation.
Rather than prompting an agent and reviewing what comes back, we'll work through an expectation-driven development loop where each step produces constraints for the next. Along the way, we'll examine the generated code, tests, and verification artifacts to understand what the system can guarantee — and where human judgment still belongs.
You'll leave with a working application and a concrete model for building agentic development workflows where correctness doesn't depend on an agent remembering the right context.