<?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>Grafana Applies SLOs and Error Budgets to AI Agent Behaviour</title>
      <link>https://www.infoq.com/news/2026/10/grafana-slo-ai-agent/?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/10/grafana-slo-ai-agent/en/headerimage/generatedHeaderImage-1791475262295.jpg"/&gt;&lt;p&gt;Grafana Labs is proposing a familiar reliability engineering approach for one of the less familiar problems in modern software: how to measure whether an AI agent is actually behaving well.&lt;/p&gt; &lt;i&gt;By Craig Risi&lt;/i&gt;</description>
      <category>AIOps</category>
      <category>Agentic AI Architecture</category>
      <category>Observability</category>
      <category>Grafana</category>
      <category>AI Development</category>
      <category>AI, ML &amp; Data Engineering</category>
      <category>DevOps</category>
      <category>news</category>
      <pubDate>Fri, 16 Oct 2026 12:00:00 GMT</pubDate>
      <guid>https://www.infoq.com/news/2026/10/grafana-slo-ai-agent/?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-10-16T12:00:00Z</dc:date>
      <dc:identifier>/news/2026/10/grafana-slo-ai-agent/en</dc:identifier>
    </item>
    <item>
      <title>Mini book: Evolutionary Architecture in Practice</title>
      <link>https://www.infoq.com/minibooks/evolutionary-architecture/?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/minibooks/evolutionary-architecture/en/smallimage/thumb-1791282847807.jpg"/&gt;&lt;p&gt;Discover how to keep software evolvable as systems, technology, and teams shift. This edition explores agentic fitness functions for semantic drift, treating human comprehension as a core design metric, cross-cloud guardrails for regional autonomy, and aligning technical boundaries with Conway’s Law. Move beyond static diagrams to continuous feedback systems that keep change safe and intentional.&lt;/p&gt; &lt;i&gt;By InfoQ&lt;/i&gt;</description>
      <category>Evolutionary Architecture</category>
      <category>Agentic AI Architecture</category>
      <category>Domain Driven Design</category>
      <category>InfoQ Certification Program</category>
      <category>Distributed Systems</category>
      <category>Platform Engineering</category>
      <category>Architecture ICSAET</category>
      <category>Leadership</category>
      <category>Artificial Intelligence</category>
      <category>Sociotechnical Architecture</category>
      <category>AI, ML &amp; Data Engineering</category>
      <category>Architecture &amp; Design</category>
      <category>Development</category>
      <category>minibook</category>
      <pubDate>Fri, 16 Oct 2026 11:30:00 GMT</pubDate>
      <guid>https://www.infoq.com/minibooks/evolutionary-architecture/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>InfoQ</dc:creator>
      <dc:date>2026-10-16T11:30:00Z</dc:date>
      <dc:identifier>/minibooks/evolutionary-architecture/en</dc:identifier>
    </item>
    <item>
      <title>Helidon 27 Introduces Restructured Programming Models and New Messaging and Data Modules</title>
      <link>https://www.infoq.com/news/2026/10/helidon-27-released/?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/10/helidon-27-released/en/headerimage/java-istock-image-01-1792149493797.jpg"/&gt;&lt;p&gt;The release of Helidon 27 is the first release that follows the Oracle Tip &amp; Tail Model of Library Development by which the Tip adopts the latest Java technology while the Tail provides a more stable and secure baseline. Concurrent with the release of JDK 27, new features in Helidon 27 include: an introduction to new major modules, Helidon Messaging and Helidon Data JDBC.&lt;/p&gt; &lt;i&gt;By Michael Redlich&lt;/i&gt;</description>
      <category>JDK 27</category>
      <category>Open JDK</category>
      <category>Java</category>
      <category>Helidon Nima</category>
      <category>Helidon</category>
      <category>Java Verified Portfolio</category>
      <category>Architecture &amp; Design</category>
      <category>Development</category>
      <category>news</category>
      <pubDate>Fri, 16 Oct 2026 11:20:00 GMT</pubDate>
      <guid>https://www.infoq.com/news/2026/10/helidon-27-released/?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-10-16T11:20:00Z</dc:date>
      <dc:identifier>/news/2026/10/helidon-27-released/en</dc:identifier>
    </item>
    <item>
      <title>Presentation: Exploding GPUs</title>
      <link>https://www.infoq.com/presentations/ai-security-kubernetes-gpu-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/presentations/ai-security-kubernetes-gpu-threats/en/mediumimage/andrew-martin-medium-1790846331295.jpeg"/&gt;&lt;p&gt;Andrew Martin discusses why AI security is fundamentally tied to Kubernetes security. He shares insights into the evolving AI threat landscape, covering non-deterministic agent behavior, GPU supply chain vulnerabilities, shared compute risks, and practical defense strategies - from prompt firewalling to agentic identity - to help secure cloud-native AI workloads in production environments.&lt;/p&gt; &lt;i&gt;By Andrew Martin&lt;/i&gt;</description>
      <category>Containers</category>
      <category>Agents</category>
      <category>Cloud-Native</category>
      <category>Kubernetes</category>
      <category>Transcripts</category>
      <category>Infrastructure</category>
      <category>QCon London 2026</category>
      <category>AI Security</category>
      <category>GPU</category>
      <category>AI, ML &amp; Data Engineering</category>
      <category>Architecture &amp; Design</category>
      <category>Development</category>
      <category>DevOps</category>
      <category>presentation</category>
      <pubDate>Fri, 16 Oct 2026 11:00:00 GMT</pubDate>
      <guid>https://www.infoq.com/presentations/ai-security-kubernetes-gpu-threats/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Andrew Martin</dc:creator>
      <dc:date>2026-10-16T11:00:00Z</dc:date>
      <dc:identifier>/presentations/ai-security-kubernetes-gpu-threats/en</dc:identifier>
    </item>
    <item>
      <title>AWS Introduces Strands Decider 2B and Strands Box for AI Agent Development</title>
      <link>https://www.infoq.com/news/2026/10/aws-strands-agents/?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/10/aws-strands-agents/en/headerimage/generatedHeaderImage-1792079603910.jpg"/&gt;&lt;p&gt;AWS has introduced two open-source projects for AI agent development: Strands Decider 2B, a small model designed to make decisions within agent workflows, and Strands Box, a sandbox for controlling agent execution. Both projects address different aspects of building agents that use tools, execute code, and interact with external systems.&lt;/p&gt; &lt;i&gt;By Daniel Dominguez&lt;/i&gt;</description>
      <category>Large language models</category>
      <category>Agents</category>
      <category>Typesafe</category>
      <category>AWS</category>
      <category>Artificial Intelligence</category>
      <category>AI, ML &amp; Data Engineering</category>
      <category>news</category>
      <pubDate>Fri, 16 Oct 2026 10:47:00 GMT</pubDate>
      <guid>https://www.infoq.com/news/2026/10/aws-strands-agents/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Daniel Dominguez</dc:creator>
      <dc:date>2026-10-16T10:47:00Z</dc:date>
      <dc:identifier>/news/2026/10/aws-strands-agents/en</dc:identifier>
    </item>
    <item>
      <title>Article: Cryptographic Foundation of Mobile ID Systems: An ISO/IEC 18013-5 Enterprise Architecture Blueprint</title>
      <link>https://www.infoq.com/articles/enterprise-mobile-id-mdl-blueprint/?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/enterprise-mobile-id-mdl-blueprint/en/headerimage/enterprise-mobile-id-mdl-blueprint-header-1791967143918.jpg"/&gt;&lt;p&gt;This article provides a framework for asking the right architectural questions before an enterprise commits to an mDL provider or library. It shows which components can be abstracted safely, which trust boundaries must remain visible to the enterprise, what cryptographic and interoperability properties should be verified, and how requirements change across real-world use cases.&lt;/p&gt; &lt;i&gt;By Praveen Kumar Gopalakrishnan&lt;/i&gt;</description>
      <category>Regulation</category>
      <category>Mobile</category>
      <category>Standardization</category>
      <category>Authentication</category>
      <category>Provisioning</category>
      <category>Enterprise</category>
      <category>Mobile Privacy</category>
      <category>Interop</category>
      <category>Identity Management</category>
      <category>Digital Identity</category>
      <category>Access Control</category>
      <category>Government</category>
      <category>Architecture &amp; Design</category>
      <category>Development</category>
      <category>article</category>
      <pubDate>Fri, 16 Oct 2026 09:00:00 GMT</pubDate>
      <guid>https://www.infoq.com/articles/enterprise-mobile-id-mdl-blueprint/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Praveen Kumar Gopalakrishnan</dc:creator>
      <dc:date>2026-10-16T09:00:00Z</dc:date>
      <dc:identifier>/articles/enterprise-mobile-id-mdl-blueprint/en</dc:identifier>
    </item>
    <item>
      <title>Chainguard Launches Secure Workspaces and Checks for AI Coding Agents</title>
      <link>https://www.infoq.com/news/2026/10/chainguard-workspaces-checks/?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/10/chainguard-workspaces-checks/en/headerimage/generatedHeaderImage-1792079610138.jpg"/&gt;&lt;p&gt;Software supply chain security company Chainguard has announced two beta products for running and testing code written by developers and AI agents. Chainguard Workspaces provides remote development environments based on hardened microVMs, while Chainguard Checks moves continuous integration into the development loop. The company announced both products at its Assemble London event.&lt;/p&gt; &lt;i&gt;By Matt Saunders&lt;/i&gt;</description>
      <category>Containers</category>
      <category>AI Security</category>
      <category>DevOps</category>
      <category>news</category>
      <pubDate>Fri, 16 Oct 2026 09:00:00 GMT</pubDate>
      <guid>https://www.infoq.com/news/2026/10/chainguard-workspaces-checks/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Matt Saunders</dc:creator>
      <dc:date>2026-10-16T09:00:00Z</dc:date>
      <dc:identifier>/news/2026/10/chainguard-workspaces-checks/en</dc:identifier>
    </item>
    <item>
      <title>Microsoft Commits Maia to Multi-Gigawatt Inference, and Its Efficiency Metric Draws Questions</title>
      <link>https://www.infoq.com/news/2026/10/azure-maia-300/?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/10/azure-maia-300/en/headerimage/generatedHeaderImage-1791943943820.jpg"/&gt;&lt;p&gt;Microsoft will scale its Maia accelerator family to multi-gigawatt deployments from 2027, making it the primary inference system for its own products. Maia 300 collapses scale-up and scale-out onto one Ethernet fabric and moves KV state between prefill and decode workers without leaving it. Practitioners have questioned the tokens-per-watt claim that leads the announcement.&lt;/p&gt; &lt;i&gt;By Steef-Jan Wiggers&lt;/i&gt;</description>
      <category>Hardware</category>
      <category>Cloud</category>
      <category>Performance</category>
      <category>Architecture</category>
      <category>AI, ML &amp; Data Engineering</category>
      <category>Architecture &amp; Design</category>
      <category>Development</category>
      <category>DevOps</category>
      <category>news</category>
      <pubDate>Fri, 16 Oct 2026 06:02:00 GMT</pubDate>
      <guid>https://www.infoq.com/news/2026/10/azure-maia-300/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Steef-Jan Wiggers</dc:creator>
      <dc:date>2026-10-16T06:02:00Z</dc:date>
      <dc:identifier>/news/2026/10/azure-maia-300/en</dc:identifier>
    </item>
    <item>
      <title>Instagram Modernized its UI with an AI-Native Architecture, Cutting Token Costs by 33%</title>
      <link>https://www.infoq.com/news/2026/10/instagram-compose-migration/?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/10/instagram-compose-migration/en/headerimage/aws-reliability-dns-1792077775251.jpg"/&gt;&lt;p&gt;Instagram Direct migrated its Android UI from the legacy Android View system to Jetpack Compose, creating an AI-native UI codebase that is easier for AI coding agents to understand, modify, and maintain. According to Instagram engineers, the migration reduced UI code volume by 50% and token costs per AI agent session by 33%.&lt;/p&gt; &lt;i&gt;By Sergio De Simone&lt;/i&gt;</description>
      <category>Jetpack Compose</category>
      <category>Mobile</category>
      <category>Performance</category>
      <category>Facebook</category>
      <category>AI coding agents</category>
      <category>Android</category>
      <category>Development</category>
      <category>news</category>
      <pubDate>Thu, 15 Oct 2026 16:00:00 GMT</pubDate>
      <guid>https://www.infoq.com/news/2026/10/instagram-compose-migration/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Sergio De Simone</dc:creator>
      <dc:date>2026-10-15T16:00:00Z</dc:date>
      <dc:identifier>/news/2026/10/instagram-compose-migration/en</dc:identifier>
    </item>
    <item>
      <title>Optimizing Software Workflow: Exploring Fundamental Impacts in Technology</title>
      <link>https://www.infoq.com/news/2026/10/optimize-software-workflow/?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/10/optimize-software-workflow/en/headerimage/header-1791282094936.jpg"/&gt;&lt;p&gt;Software only has value when shipped; faster release cadence matters. Development, deployment, and operations require different thinking, metrics, and investments. There are four impacts in tech: product success, compute capacity, engineering capacity, and strategic innovation. The biggest expense is people. AI shifts engineers toward deeper problem understanding, not fewer engineers.&lt;/p&gt; &lt;i&gt;By Ben Linders&lt;/i&gt;</description>
      <category>Capacity Planning</category>
      <category>Measurement</category>
      <category>Metrics</category>
      <category>Software Engineering</category>
      <category>Agile Conferences</category>
      <category>Applied Research</category>
      <category>Planning</category>
      <category>Artificial Intelligence</category>
      <category>Delivering Value</category>
      <category>Culture &amp; Methods</category>
      <category>news</category>
      <pubDate>Thu, 15 Oct 2026 11:33:00 GMT</pubDate>
      <guid>https://www.infoq.com/news/2026/10/optimize-software-workflow/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Ben Linders</dc:creator>
      <dc:date>2026-10-15T11:33:00Z</dc:date>
      <dc:identifier>/news/2026/10/optimize-software-workflow/en</dc:identifier>
    </item>
    <item>
      <title>Presentation: What 25 Trillion Tokens Reveal About How Developers Actually Adopt AI Agents</title>
      <link>https://www.infoq.com/presentations/agentic-ai-developer-trust-adoption/?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/agentic-ai-developer-trust-adoption/en/mediumimage/brendan-oleary-medium-1791452159106.jpeg"/&gt;&lt;p&gt;Brendan O'Leary discusses how real-world AI adoption depends on building trust rather than chasing model benchmarks. Drawing from 40 trillion tokens of usage data, he explains the four rungs of the AI adoption ladder and analyzes key failure points in context construction, multi-model routing, and feedback loops to help engineering leaders successfully scale agentic workflows.&lt;/p&gt; &lt;i&gt;By Brendan O’Leary&lt;/i&gt;</description>
      <category>Agentic AI Architecture</category>
      <category>Code Reviews</category>
      <category>Agents</category>
      <category>AI Coding</category>
      <category>Adoption</category>
      <category>Context Engineering</category>
      <category>Transcripts</category>
      <category>QCon AI Boston 2026</category>
      <category>AI, ML &amp; Data Engineering</category>
      <category>Architecture &amp; Design</category>
      <category>Development</category>
      <category>presentation</category>
      <pubDate>Thu, 15 Oct 2026 11:00:00 GMT</pubDate>
      <guid>https://www.infoq.com/presentations/agentic-ai-developer-trust-adoption/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Brendan O’Leary</dc:creator>
      <dc:date>2026-10-15T11:00:00Z</dc:date>
      <dc:identifier>/presentations/agentic-ai-developer-trust-adoption/en</dc:identifier>
    </item>
    <item>
      <title>Grafana Tempo 3.1 Adds Query-Based Trace Redaction and Sampling-Aware TraceQL Metrics</title>
      <link>https://www.infoq.com/news/2026/10/grafana-tempo-31/?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/10/grafana-tempo-31/en/headerimage/generatedHeaderImage-1791965478500.jpg"/&gt;&lt;p&gt;Grafana Labs has released Tempo 3.1, the first minor update to the 3.0 architecture. It adds TLS and additional SASL mechanisms to the Kafka client, lets operators redact traces with a TraceQL query instead of a list of trace IDs, and introduces an experimental query-time hint that corrects TraceQL metrics for sampled data.&lt;/p&gt; &lt;i&gt;By Claudio Masolo&lt;/i&gt;</description>
      <category>Observability</category>
      <category>Grafana</category>
      <category>DevOps</category>
      <category>news</category>
      <pubDate>Thu, 15 Oct 2026 10:00:00 GMT</pubDate>
      <guid>https://www.infoq.com/news/2026/10/grafana-tempo-31/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Claudio Masolo</dc:creator>
      <dc:date>2026-10-15T10:00:00Z</dc:date>
      <dc:identifier>/news/2026/10/grafana-tempo-31/en</dc:identifier>
    </item>
    <item>
      <title>Article: Server-Side DPoP and Token Exchange in Spring Security 7</title>
      <link>https://www.infoq.com/articles/spring-security-7-server-side-dpop-token-exchange/?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/spring-security-7-server-side-dpop-token-exchange/en/headerimage/spring-security-7-server-side-dpop-token-exchange-header-1791884636157.jpg"/&gt;&lt;p&gt;Spring Authorization Server now lives inside Spring Security 7 under the same Maven coordinates, so the upgrade is a version bump. This server-side guide covers enabling DPoP and RFC 8693 Token Exchange, explains why 7.1 apps can silently stop enforcing DPoP until they call .dPoP(), and shows how to combine both into narrowed, sender-constrained tokens for service-to-service and agentic calls.&lt;/p&gt; &lt;i&gt;By Dhruv Agnihotri&lt;/i&gt;</description>
      <category>Java</category>
      <category>Spring</category>
      <category>Spring Security</category>
      <category>Architecture &amp; Design</category>
      <category>Development</category>
      <category>article</category>
      <pubDate>Thu, 15 Oct 2026 09:00:00 GMT</pubDate>
      <guid>https://www.infoq.com/articles/spring-security-7-server-side-dpop-token-exchange/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Dhruv Agnihotri</dc:creator>
      <dc:date>2026-10-15T09:00:00Z</dc:date>
      <dc:identifier>/articles/spring-security-7-server-side-dpop-token-exchange/en</dc:identifier>
    </item>
    <item>
      <title>Meta Extends Confidential Computing to AI Glasses with Private Processing</title>
      <link>https://www.infoq.com/news/2026/10/meta-private-process-ai-glasses/?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/10/meta-private-process-ai-glasses/en/headerimage/generatedHeaderImage-1790823797609.jpg"/&gt;&lt;p&gt;Meta has extended Private Processing to AI glasses, using confidential VMs, trusted execution environments, remote attestation, anonymous credentials, OHTTP routing, and TEE-based storage to process AI workloads and persistent user context in the cloud.&lt;/p&gt; &lt;i&gt;By Leela Kumili&lt;/i&gt;</description>
      <category>Agentic AI Architecture</category>
      <category>Storage</category>
      <category>Privacy</category>
      <category>Data Privacy</category>
      <category>Wearable Tech</category>
      <category>VM</category>
      <category>Facebook</category>
      <category>Trust</category>
      <category>AI Security</category>
      <category>AI, ML &amp; Data Engineering</category>
      <category>Architecture &amp; Design</category>
      <category>Development</category>
      <category>news</category>
      <pubDate>Wed, 14 Oct 2026 13:57:00 GMT</pubDate>
      <guid>https://www.infoq.com/news/2026/10/meta-private-process-ai-glasses/?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-10-14T13:57:00Z</dc:date>
      <dc:identifier>/news/2026/10/meta-private-process-ai-glasses/en</dc:identifier>
    </item>
    <item>
      <title>Presentation: How to Find Resilience Bugs in Systems that Don't Exist</title>
      <link>https://www.infoq.com/presentations/formal-methods-principles/?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/formal-methods-principles/en/mediumimage/hillel-wayne-medium-1790846078119.jpeg"/&gt;&lt;p&gt;Hillel Wayne discusses how formal methods principles - such as property strength, state-space verification, and environment assumptions - help software engineers uncover critical architectural bugs early. He shares practical mental models like "adversarial non-determinism" to reason about concurrency, edge cases, and distributed system failures without needing complex mathematical tools.&lt;/p&gt; &lt;i&gt;By Hillel Wayne&lt;/i&gt;</description>
      <category>Concurrency</category>
      <category>Distributed Systems</category>
      <category>Transcripts</category>
      <category>Reliability</category>
      <category>QCon London 2026</category>
      <category>Verification</category>
      <category>Debugging</category>
      <category>Resilience</category>
      <category>Architecture &amp; Design</category>
      <category>Culture &amp; Methods</category>
      <category>Development</category>
      <category>presentation</category>
      <pubDate>Wed, 14 Oct 2026 11:00:00 GMT</pubDate>
      <guid>https://www.infoq.com/presentations/formal-methods-principles/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</guid>
      <dc:creator>Hillel Wayne</dc:creator>
      <dc:date>2026-10-14T11:00:00Z</dc:date>
      <dc:identifier>/presentations/formal-methods-principles/en</dc:identifier>
    </item>
  </channel>
</rss>
