AI-Assisted Coding - Correct by Construction Not by Generation

Learn about a transformative approach to AI-assisted coding in this one-hour lecture from Topos Institute that challenges the conventional generative paradigm. Explore how constructive methods can produce more reliable and verifiable code compared to traditional generative approaches. Discover techniques for building code that is correct by construction rather than relying on post-generation verification and testing. Examine practical applications and methodologies that prioritize code correctness from the ground up, offering a fresh perspective on leveraging AI in software development.