<?xml version="1.0" encoding="UTF-8"?><oembed><type>video</type><version>1.0</version><html>&lt;iframe src=&quot;https://www.loom.com/embed/3a98996e531540ef8d63e6cd7b07228c&quot; frameborder=&quot;0&quot; width=&quot;1920&quot; height=&quot;1440&quot; webkitallowfullscreen mozallowfullscreen allowfullscreen&gt;&lt;/iframe&gt;</html><height>1440</height><width>1920</width><provider_name>Loom</provider_name><provider_url>https://www.loom.com</provider_url><thumbnail_height>1440</thumbnail_height><thumbnail_width>1920</thumbnail_width><thumbnail_url>https://cdn.loom.com/sessions/thumbnails/3a98996e531540ef8d63e6cd7b07228c-e8911c64dbc87559.gif</thumbnail_url><duration>203.9766</duration><title>Fixing Vibecoding with Formal Validation 🚀</title><description>In this video, I introduce Paradigm and our approach to fixing vibecoding through formal validation. We address the challenges of vibecoding breaking at scale and how our system can generate verified and validated applications. I also share details about our design partner and the potential $500,000 scope if we deliver successfully. Please take a look at how our agentic system works and the benefits it brings. Your feedback on this would be greatly appreciated!</description></oembed>