Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Unlock the full InfoQ experience

Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with content, and download exclusive resources.

Don't have an InfoQ account?

Stay updated on topics and peers that matter to youReceive instant alerts on the latest insights and trends.
Quickly access free resources for continuous learningMinibooks, videos with transcripts, and training materials.
Save articles and read at anytimeBookmark articles to read whenever youre ready.

Logo - Back to homepage

News Articles Presentations Podcasts Guides

Topics

Development

Featured in Development

The Free-Lunch Guide to Idea Circularity

Holly Cummins discusses why "nothing is new under the sun" in tech. She maps historical architectural tradeoffs to modern cloud, microservices, and AI hype cycles. She connects financial debt (post-ZIRP) and technical debt to epistemic and sleep debt, showing engineering leaders how to navigate shifts in assumptions, embrace sustainability, and revive proven engineering disciplines.

All in development

Architecture & Design

Featured in Architecture & Design

Parting the Clouds: The Rise of Disaggregated Systems

Murat Demirbas discusses the shift toward disaggregated cloud database architectures driven by cloud economics. He explains how decoupling compute from storage enables elastic scaling, cost efficiency, and fault isolation. He shares how classical Paxos roles foreshadowed disaggregation, while analyzing network tradeoffs, shared-memory evolution, and self-assembling database designs.

All in architecture-design

AI Infrastructure

Featured in AI, ML & Data Engineering

Securing MCP in Production: Defense-in-Depth Beyond the Gateway

This article presents a defense-in-depth approach for securing Model Context Protocol (MCP) deployments in production. It outlines four architectural control layers: safe execution, management infrastructure, outbound trust, and semantic integrity, arguing that production security requires enforcement beyond the gateway at the earliest trustworthy control points.

All in ai-ml-data-eng

Culture & Methods

Featured in Culture & Methods

Getting Rid of LeetCode Interviews in the World of AI

Daniel Doubrovkine explains why traditional LeetCode whiteboard interviews fail to evaluate senior engineering talent. He discusses his own experience bombing basic algorithm tests despite decades of leadership, and shares actionable frameworks for redefining the interview loop. Discover how evaluating human judgment, system design, and hands-on AI collaboration yields far better hiring signals.

All in culture-methods

DevOps

Featured in DevOps

Platform Engineering for Everyone - Success Can’t Be Coded

Max Korbacher explains why successful internal development platforms cannot be built on tech alone. He discusses the pitfalls of infrastructure-first thinking, the importance of a clear product mindset, and how to measure real value using DevEx and SPACE metrics. Learn how to align your team, manage tech debt, and foster a thriving community to ensure lasting platform adoption.

All in devops

Events

Helpful links

Choose your language

AI Security & Privacy Engineering Certification

Secure and govern production AI systems, from sensitive data to guardrails, evals, and audits.
Online. Register now.

Architect Certification

Distributed systems, decentralized decisions, platform engineering, and AI architecture.
Online. Register Now.

Engineering Leadership Certification

Work through leadership decisions with senior peers facing similar technical trade-offs.
Online. Register Now.

QCon San Francisco

What's working across AI, architecture, and leadership, from the teams doing it.
Register. Early bird ends August 11.

QCon AI New York

Production AI across agents, context, evals, security, and infrastructure, from the senior engineers building it.
Registration open.

QCon London

What early-adopter teams have proven in production, across 15 engineering tracks.
Register. Early bird ends August 11.

InfoQ Homepage AI Assisted Coding Content on InfoQ

Podcasts

RSS Feed

Intended for architects and senior developers.

About this Podcast

Discussions on intentional corporate culture and software management approaches.

Culture & Methods

Formal Methods for Every Engineer in an AI-Powered Future

In this podcast Shane Hastie, Lead Editor for Culture & 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.

Gabriela Moreira
on Jul 10, 2026

Icon

23:13
Sponsored Content by

Icon

Unlock the full InfoQ experience

Don't have an InfoQ account?

Topics

The Free-Lunch Guide to Idea Circularity

Parting the Clouds: The Rise of Disaggregated Systems

Securing MCP in Production: Defense-in-Depth Beyond the Gateway

Getting Rid of LeetCode Interviews in the World of AI

Platform Engineering for Everyone - Success Can’t Be Coded

Helpful links

Choose your language

Podcasts

About this Podcast

Formal Methods for Every Engineer in an AI-Powered Future

The Free-Lunch Guide to Idea Circularity

AI-Enabled Security Researchers Discover How a Crafted Video Can Provide Attackers Access to Your PC

Ink & Switch Introduces Bijou64: Canonical Variable-Length Integer Encoding for Safe Parsing

Dropbox Integrates MCP and Dash to Close the Gap Between Security Design and Code Review

Parting the Clouds: The Rise of Disaggregated Systems

Rethinking Data: Moving From the Traditional Three-Tier Web Stack to Client-Side Event Sourcing

AI-Assisted Software Development: Team Profiles and Capabilities for Putting Research into Action

Getting Rid of LeetCode Interviews in the World of AI

Achieving Compliance as a Platform Engineering Team by Helping Developers

Securing MCP in Production: Defense-in-Depth Beyond the Gateway

The Future of Engineering: Mindsets That Matter When Code Isn’t Enough

Netflix Details its In-House LLM Serving Platform with Triton and vLLM

Terraform Introduces tfpolicy, an HCL-based Policy-as-Code Framework

Microsoft Three-Layer LLM Routing Architecture for AI Agents on AKS

GitHub Introduces Default "Cooldown" Policy for Dependabot Version Updates

Online InfoQ Architect Certification

Online InfoQ Engineering Leadership Certification

Online InfoQ AI Security & Privacy Engineering Program

QCon San Francisco

QCon AI New York

QCon London 2027

InfoQ Software Architects' Newsletter

Podcasts

About this Podcast