<?xml version="1.0" encoding="UTF-8"?>
<rss xmlns:dc="http://purl.org/dc/elements/1.1/" version="2.0">
  <channel>
    <title>InfoQ</title>
    <link>https://www.infoq.com</link>
    <description>InfoQ feed</description>
    <item>
      <title>The Path to Sovereign Data: Challenges and Priorities in Local-First Computing</title>
      <link>https://www.infoq.com/news/2026/07/data-ownership-localfirst/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</link>
      <description>&lt;img src="https://res.infoq.com/news/2026/07/data-ownership-localfirst/en/headerimage/generatedHeaderImage-1783923656378.jpg"/&gt;&lt;p&gt;A panel on data ownership challenged the definition of "ownership," arguing it must extend beyond simple account control to include structural independence, interoperability, and community governance. Speakers like Zenna Fiscella, Paul Frazee, Boris Mann, and Robin Berjon emphasised the need for shared standards, unbundled platforms, and better tools to support user sovereignty.&lt;/p&gt; &lt;i&gt;By Olimpiu Pop&lt;/i&gt;</description>
      <category>Data Governance</category>
      <category>Distributed Data</category>
      <category>Sovereignty</category>
      <category>Architecture &amp; Design</category>
      <category>AI, ML &amp; Data Engineering</category>
      <category>news</category>
      <pubDate>Mon, 13 Jul 2026 14:14:00 GMT</pubDate>
      <guid>https://www.infoq.com/news/2026/07/data-ownership-localfirst/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Olimpiu Pop</dc:creator>
      <dc:date>2026-07-13T14:14:00Z</dc:date>
      <dc:identifier>/news/2026/07/data-ownership-localfirst/en</dc:identifier>
    </item>
    <item>
      <title>How DoorDash Built an AI Shopping Assistant That Doesn’t Rely on the LLM Alone</title>
      <link>https://www.infoq.com/news/2026/07/doordash-ai-ask-assistant/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</link>
      <description>&lt;img src="https://res.infoq.com/news/2026/07/doordash-ai-ask-assistant/en/headerimage/generatedHeaderImage-1782515732223.jpg"/&gt;&lt;p&gt;DoorDash details the architecture behind Ask DoorDash, its AI-powered conversational shopping assistant, combining LLMs, specialized AI agents, MCP-based tooling, and an intelligence layer with persistent consumer memory and live backend data. Early results show up to 24% higher checkout conversion, 17% larger baskets, and improved intent accuracy using memory-backed sessions.&lt;/p&gt; &lt;i&gt;By Leela Kumili&lt;/i&gt;</description>
      <category>Memory</category>
      <category>Platform Engineering</category>
      <category>Model Context Protocol (MCP)</category>
      <category>Retrieval-Augmented Generation</category>
      <category>Distributed Systems</category>
      <category>Artificial Intelligence</category>
      <category>ChatBots</category>
      <category>Natural Language Processing</category>
      <category>Large language models</category>
      <category>Prompt Engineering</category>
      <category>Agents</category>
      <category>Microservices</category>
      <category>Architecture &amp; Design</category>
      <category>Development</category>
      <category>AI, ML &amp; Data Engineering</category>
      <category>news</category>
      <pubDate>Mon, 13 Jul 2026 14:08:00 GMT</pubDate>
      <guid>https://www.infoq.com/news/2026/07/doordash-ai-ask-assistant/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Leela Kumili</dc:creator>
      <dc:date>2026-07-13T14:08:00Z</dc:date>
      <dc:identifier>/news/2026/07/doordash-ai-ask-assistant/en</dc:identifier>
    </item>
    <item>
      <title>Java News Roundup: TornadoVM 5, JHipster, Google ADK, OmniFish Build of Payara, Introducing Vidocq</title>
      <link>https://www.infoq.com/news/2026/07/java-news-roundup-jul06-2026/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</link>
      <description>&lt;img src="https://res.infoq.com/news/2026/07/java-news-roundup-jul06-2026/en/headerimage/java-news-roundup-image-1783946170119.jpg"/&gt;&lt;p&gt;This week's Java roundup for July 6th, 2026, features news highlighting: the GA release of TornadoVM 5.0; point releases of JHipster, Keycloak and Google ADK; maintenance releases of GraalVM Native Build Tools and Micronaut; the OmniFish Build of Payara and introducing Vidocq, a new implementation of the Jakarta EE 11 Core Profile and MicroProfile 7.1.&lt;/p&gt; &lt;i&gt;By Michael Redlich&lt;/i&gt;</description>
      <category>JDK 28</category>
      <category>OmniFish</category>
      <category>TornadoVM</category>
      <category>GraalVM</category>
      <category>Google ADK for Java</category>
      <category>Vidocq</category>
      <category>Keycloak</category>
      <category>JDK 27</category>
      <category>Micronaut</category>
      <category>Java</category>
      <category>JHipster</category>
      <category>Architecture &amp; Design</category>
      <category>Development</category>
      <category>news</category>
      <pubDate>Mon, 13 Jul 2026 12:40:00 GMT</pubDate>
      <guid>https://www.infoq.com/news/2026/07/java-news-roundup-jul06-2026/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Michael Redlich</dc:creator>
      <dc:date>2026-07-13T12:40:00Z</dc:date>
      <dc:identifier>/news/2026/07/java-news-roundup-jul06-2026/en</dc:identifier>
    </item>
    <item>
      <title>Presentation: Road to Compliance: Will Your Internal Users Hate Your Platform Team?</title>
      <link>https://www.infoq.com/presentations/platform-engineering-team-compliance/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</link>
      <description>&lt;img src="https://res.infoq.com/presentations/platform-engineering-team-compliance/en/mediumimage/davidedepaolis-medium-1783501596614.jpeg"/&gt;&lt;p&gt;Davide de Paolis discusses the realities of rolling out cloud infrastructure compliance without fracturing developer relations. Drawing from a real-world platform team reboot at Sevdesk, he explains how to implement "minimum viable governance" on AWS, utilize event-driven Slack alerting to automate policy feedback, and shift from rigid enforcement to high-empathy, data-driven collaboration.&lt;/p&gt; &lt;i&gt;By Davide de Paolis&lt;/i&gt;</description>
      <category>Collaboration</category>
      <category>InfoQ Dev Summit Munich 2025</category>
      <category>Platform Engineering</category>
      <category>Transcripts</category>
      <category>Culture &amp; Methods</category>
      <category>presentation</category>
      <pubDate>Mon, 13 Jul 2026 12:20:00 GMT</pubDate>
      <guid>https://www.infoq.com/presentations/platform-engineering-team-compliance/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Davide de Paolis</dc:creator>
      <dc:date>2026-07-13T12:20:00Z</dc:date>
      <dc:identifier>/presentations/platform-engineering-team-compliance/en</dc:identifier>
    </item>
    <item>
      <title>Article: Removing a Hidden Round Trip from a Multi-Region AWS API</title>
      <link>https://www.infoq.com/articles/aws-multi-region-signing/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</link>
      <description>&lt;img src="https://res.infoq.com/articles/aws-multi-region-signing/en/headerimage/aws-multi-region-signing-header-1783602485181.jpg"/&gt;&lt;p&gt;When a series of regional outages forced a rethink of a multi-region AWS API, the team discovered that an obstacle to global failover was hiding in plain sight: a pre-flight discovery call baked into every client session years earlier as the only available option. This article describes what it took to remove it, and what the rollout actually cost.&lt;/p&gt; &lt;i&gt;By Suresh Gururajan&lt;/i&gt;</description>
      <category>Cloud</category>
      <category>Resilience</category>
      <category>Low Latency</category>
      <category>AWS</category>
      <category>Authentication</category>
      <category>multi-region</category>
      <category>Architecture &amp; Design</category>
      <category>Development</category>
      <category>DevOps</category>
      <category>article</category>
      <pubDate>Mon, 13 Jul 2026 11:00:00 GMT</pubDate>
      <guid>https://www.infoq.com/articles/aws-multi-region-signing/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Suresh Gururajan</dc:creator>
      <dc:date>2026-07-13T11:00:00Z</dc:date>
      <dc:identifier>/articles/aws-multi-region-signing/en</dc:identifier>
    </item>
    <item>
      <title>Podcast: Governance in the Age of AI: A Conversation with Sarah Wells</title>
      <link>https://www.infoq.com/podcasts/governance-age-ai/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</link>
      <description>&lt;img src="https://res.infoq.com/podcasts/governance-age-ai/en/smallimage/the-infoq-podcast-logo-thumbnail-1783430790261.jpg"/&gt;&lt;p&gt;In this podcast, Michael Stiefel spoke to Sarah Wells about the relationship of governance to software architecture. Governance enables teams to work effectively by establishing procedures that minimize system complexity, improve security, and reduce repetitive tasks. Targeted checklists help engineers by reducing the stress over these procedures.&lt;/p&gt; &lt;i&gt;By Sarah Wells&lt;/i&gt;</description>
      <category>The InfoQ Podcast</category>
      <category>Architecture</category>
      <category>Artificial Intelligence</category>
      <category>Enterprise Architecture</category>
      <category>Design</category>
      <category>Large language models</category>
      <category>Architecture &amp; Design</category>
      <category>podcast</category>
      <pubDate>Mon, 13 Jul 2026 11:00:00 GMT</pubDate>
      <guid>https://www.infoq.com/podcasts/governance-age-ai/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Sarah Wells</dc:creator>
      <dc:date>2026-07-13T11:00:00Z</dc:date>
      <dc:identifier>/podcasts/governance-age-ai/en</dc:identifier>
    </item>
    <item>
      <title>How to Build More Resilient Local-First Applications With AT Protocol Infrastructure</title>
      <link>https://www.infoq.com/news/2026/07/atproto-webapp/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</link>
      <description>&lt;img src="https://www.infoq.com/styles/static/images/logo/logo_bigger.jpg"/&gt;&lt;p&gt;Jake Lazaroff discussed the AT Protocol as a framework for distributed applications beyond social networking. He emphasised a local-first architecture where users maintain data in PDSs while leveraging shared infrastructure for synchronisation and updates. The presentation included experiments showcasing collaborative tools and highlighted the benefits of reduced reliance on app-specific backends.&lt;/p&gt; &lt;i&gt;By Olimpiu Pop&lt;/i&gt;</description>
      <category>Web Applications</category>
      <category>Distributed Data</category>
      <category>AT Protocol</category>
      <category>Development</category>
      <category>Architecture &amp; Design</category>
      <category>news</category>
      <pubDate>Mon, 13 Jul 2026 07:07:00 GMT</pubDate>
      <guid>https://www.infoq.com/news/2026/07/atproto-webapp/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Olimpiu Pop</dc:creator>
      <dc:date>2026-07-13T07:07:00Z</dc:date>
      <dc:identifier>/news/2026/07/atproto-webapp/en</dc:identifier>
    </item>
    <item>
      <title>Cloudflare Identifies Race Condition in hyper’s HTTP/1 Implementation</title>
      <link>https://www.infoq.com/news/2026/07/cloudflare-hyper-bug-fix/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</link>
      <description>&lt;img src="https://res.infoq.com/news/2026/07/cloudflare-hyper-bug-fix/en/headerimage/generatedHeaderImage-1782836612244.jpg"/&gt;&lt;p&gt;Cloudflare recently documented how its development team identified and fixed a rare bug in the widely used Rust HTTP library hyper that could silently truncate large HTTP responses while still returning a successful 200 OK status. The issue had existed for years, was triggered only under specific timing conditions, and has now been fixed upstream.&lt;/p&gt; &lt;i&gt;By Renato Losio&lt;/i&gt;</description>
      <category>Debugging</category>
      <category>Rust</category>
      <category>Concurrency</category>
      <category>Open Source</category>
      <category>HTTP</category>
      <category>Cloudflare</category>
      <category>Development</category>
      <category>DevOps</category>
      <category>news</category>
      <pubDate>Sun, 12 Jul 2026 06:18:00 GMT</pubDate>
      <guid>https://www.infoq.com/news/2026/07/cloudflare-hyper-bug-fix/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Renato Losio</dc:creator>
      <dc:date>2026-07-12T06:18:00Z</dc:date>
      <dc:identifier>/news/2026/07/cloudflare-hyper-bug-fix/en</dc:identifier>
    </item>
    <item>
      <title>Cloudflare Introduces Temporary Accounts for Autonomous Worker Deployment</title>
      <link>https://www.infoq.com/news/2026/07/cloudflare-temp-accounts/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</link>
      <description>&lt;img src="https://res.infoq.com/news/2026/07/cloudflare-temp-accounts/en/headerimage/generatedHeaderImage-1782506205282.jpg"/&gt;&lt;p&gt;Cloudflare has recently introduced temporary accounts that let AI agents deploy Cloudflare Workers immediately, without first creating or authenticating with a permanent account. If left unclaimed, the accounts and their deployments expire automatically after 60 minutes.&lt;/p&gt; &lt;i&gt;By Renato Losio&lt;/i&gt;</description>
      <category>Cloud Computing</category>
      <category>Serverless</category>
      <category>Cloud</category>
      <category>AIOps</category>
      <category>Cloudflare</category>
      <category>Authentication</category>
      <category>Agents</category>
      <category>DevOps</category>
      <category>AI, ML &amp; Data Engineering</category>
      <category>news</category>
      <pubDate>Fri, 10 Jul 2026 15:16:00 GMT</pubDate>
      <guid>https://www.infoq.com/news/2026/07/cloudflare-temp-accounts/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Renato Losio</dc:creator>
      <dc:date>2026-07-10T15:16:00Z</dc:date>
      <dc:identifier>/news/2026/07/cloudflare-temp-accounts/en</dc:identifier>
    </item>
    <item>
      <title>Slack Introduces Agent Driven End-to-End Testing to Improve Resilience in UI Test Automation</title>
      <link>https://www.infoq.com/news/2026/07/slack-agentic-e2e-testing-ui/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</link>
      <description>&lt;img src="https://www.infoq.com/styles/static/images/logo/logo_bigger.jpg"/&gt;&lt;p&gt;Agentic testing is an AI-driven approach to end-to-end test automation introduced by Slack engineering. It uses AI agents that execute workflows based on intent rather than fixed scripts, adapting to UI and system changes at runtime. The approach aims to reduce brittle tests in distributed systems while complementing deterministic unit, integration, and E2E testing strategies.&lt;/p&gt; &lt;i&gt;By Leela Kumili&lt;/i&gt;</description>
      <category>Software Engineering</category>
      <category>UI Testing</category>
      <category>Slack</category>
      <category>Test Automation</category>
      <category>Test Design</category>
      <category>Automated testing</category>
      <category>Integration Testing</category>
      <category>Agents</category>
      <category>Test Driven</category>
      <category>Architecture &amp; Design</category>
      <category>Development</category>
      <category>AI, ML &amp; Data Engineering</category>
      <category>news</category>
      <pubDate>Fri, 10 Jul 2026 13:48:00 GMT</pubDate>
      <guid>https://www.infoq.com/news/2026/07/slack-agentic-e2e-testing-ui/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Leela Kumili</dc:creator>
      <dc:date>2026-07-10T13:48:00Z</dc:date>
      <dc:identifier>/news/2026/07/slack-agentic-e2e-testing-ui/en</dc:identifier>
    </item>
    <item>
      <title>Presentation: Chaos Engineering GPU Clusters</title>
      <link>https://www.infoq.com/presentations/chaos-engineering-gpu/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</link>
      <description>&lt;img src="https://res.infoq.com/presentations/chaos-engineering-gpu/en/mediumimage/bryan-oliver-medium-1782819161258.jpeg"/&gt;&lt;p&gt;Bryan Oliver discusses the frontier of AI infrastructure: chaos engineering for large-scale GPU clusters. He shares how engineering leaders can handle complex topologies, network protocols like RDMA, and NUMA misalignments. Discover seven practical fault-injection strategies to maximize multi-million dollar hardware efficiency and build robust observability loops.&lt;/p&gt; &lt;i&gt;By Bryan Oliver&lt;/i&gt;</description>
      <category>Infrastructure</category>
      <category>QCon AI 2025</category>
      <category>GPU</category>
      <category>Chaos Engineering</category>
      <category>Transcripts</category>
      <category>DevOps</category>
      <category>AI, ML &amp; Data Engineering</category>
      <category>presentation</category>
      <pubDate>Fri, 10 Jul 2026 13:42:00 GMT</pubDate>
      <guid>https://www.infoq.com/presentations/chaos-engineering-gpu/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Bryan Oliver</dc:creator>
      <dc:date>2026-07-10T13:42:00Z</dc:date>
      <dc:identifier>/presentations/chaos-engineering-gpu/en</dc:identifier>
    </item>
    <item>
      <title>Linux Foundation Launches Akrites to Protect Critical Open Source Software from AI-Powered  Threats</title>
      <link>https://www.infoq.com/news/2026/07/akrites-open-source-ai-threats/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</link>
      <description>&lt;img src="https://res.infoq.com/news/2026/07/akrites-open-source-ai-threats/en/headerimage/generatedHeaderImage-1783328525989.jpg"/&gt;&lt;p&gt;The Linux Foundation has launched Akrites, a new industry-wide initiative aimed at defending the world's most critical open source software against a rapidly evolving generation of AI-enabled cyber threats.&lt;/p&gt; &lt;i&gt;By Craig Risi&lt;/i&gt;</description>
      <category>Artificial Intelligence</category>
      <category>Threat detection</category>
      <category>Linux</category>
      <category>Threats</category>
      <category>DevOps</category>
      <category>AI, ML &amp; Data Engineering</category>
      <category>news</category>
      <pubDate>Fri, 10 Jul 2026 12:00:00 GMT</pubDate>
      <guid>https://www.infoq.com/news/2026/07/akrites-open-source-ai-threats/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Craig Risi</dc:creator>
      <dc:date>2026-07-10T12:00:00Z</dc:date>
      <dc:identifier>/news/2026/07/akrites-open-source-ai-threats/en</dc:identifier>
    </item>
    <item>
      <title>GitHub Copilot CLI Gets Tabs and No-Config-File Tool Setup in Redesigned Terminal UI</title>
      <link>https://www.infoq.com/news/2026/07/copilot-cli-terminal-ga/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</link>
      <description>&lt;img src="https://res.infoq.com/news/2026/07/copilot-cli-terminal-ga/en/headerimage/header-1783593957858.jpeg"/&gt;&lt;p&gt;GitHub has made the redesigned GitHub Copilot CLI terminal interface generally available. It adds a tabbed layout for sessions, gists, issues, and pull requests; an in-session, form-driven setup for MCP servers, skills, and plugins that avoids hand-editing config files; and a cleaner, theme-aware, more accessible UI with screen reader support.&lt;/p&gt; &lt;i&gt;By Mark Silvester&lt;/i&gt;</description>
      <category>Software Engineering</category>
      <category>AI Assisted Coding</category>
      <category>Model Context Protocol (MCP)</category>
      <category>copilot</category>
      <category>DevOps</category>
      <category>Development</category>
      <category>news</category>
      <pubDate>Fri, 10 Jul 2026 10:00:00 GMT</pubDate>
      <guid>https://www.infoq.com/news/2026/07/copilot-cli-terminal-ga/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Mark Silvester</dc:creator>
      <dc:date>2026-07-10T10:00:00Z</dc:date>
      <dc:identifier>/news/2026/07/copilot-cli-terminal-ga/en</dc:identifier>
    </item>
    <item>
      <title>Article: Trade-Offs in Multi-Region Architectures: Latency vs. Cost</title>
      <link>https://www.infoq.com/articles/multi-region-latency-cost-tradeoffs/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</link>
      <description>&lt;img src="https://res.infoq.com/articles/multi-region-latency-cost-tradeoffs/en/headerimage/multi-region-latency-cost-tradeoffs-header-1783416229477.jpg"/&gt;&lt;p&gt;Adding cloud regions changes latency and cost in ways simple math can't capture. This article presents a framework from multiple launches: decompose your latency budget before committing to infrastructure, choose deployment patterns by consistency and traffic profile, and optimize before expanding. A phased approach cut latency 35% through routing alone, before a new region brought it under 60ms.&lt;/p&gt; &lt;i&gt;By Uttara Asthana&lt;/i&gt;</description>
      <category>Architecture</category>
      <category>Cloud</category>
      <category>Availability</category>
      <category>Performance</category>
      <category>Architecture &amp; Design</category>
      <category>Development</category>
      <category>DevOps</category>
      <category>article</category>
      <pubDate>Fri, 10 Jul 2026 09:00:00 GMT</pubDate>
      <guid>https://www.infoq.com/articles/multi-region-latency-cost-tradeoffs/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Uttara Asthana</dc:creator>
      <dc:date>2026-07-10T09:00:00Z</dc:date>
      <dc:identifier>/articles/multi-region-latency-cost-tradeoffs/en</dc:identifier>
    </item>
    <item>
      <title>Podcast: Formal Methods for Every Engineer in an AI-Powered Future</title>
      <link>https://www.infoq.com/podcasts/formal-methods-ai-powered-future/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</link>
      <description>&lt;img src="https://res.infoq.com/podcasts/formal-methods-ai-powered-future/en/smallimage/engineering-culture-podcast-thumbnail-1783939027592.jpg"/&gt;&lt;p&gt;In this podcast Shane Hastie, Lead Editor for Culture &amp; Methods spoke to Gabriela Moreira about making formal methods accessible through the Quint specification language, how AI is dramatically lowering the barrier to entry for formal specification and model-based testing, and why defining correct system behaviour remains essential human work in an AI-driven world.&lt;/p&gt; &lt;i&gt;By Gabriela Moreira&lt;/i&gt;</description>
      <category>Testing</category>
      <category>AI Assisted Coding</category>
      <category>Requirements</category>
      <category>Engineering Culture Podcast</category>
      <category>Culture &amp; Methods</category>
      <category>podcast</category>
      <pubDate>Fri, 10 Jul 2026 09:00:00 GMT</pubDate>
      <guid>https://www.infoq.com/podcasts/formal-methods-ai-powered-future/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Gabriela Moreira</dc:creator>
      <dc:date>2026-07-10T09:00:00Z</dc:date>
      <dc:identifier>/podcasts/formal-methods-ai-powered-future/en</dc:identifier>
    </item>
  </channel>
</rss>
