Compilers of Intent

The talk examines how AI can transform any language into verified, executable code, exploring future programming practices and what constitutes a robust solution.

Overview

If Agentic Coders are able to take any language and “compile” them to working code, verifiable code – what will programming look like in the future? What does a good solution look like? This talk is an exploration of these ideas