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

Making Augmented Reality Accessible: A Case Study of Lens in Maps

Ohan Oda discusses making the Lens in Maps AR feature accessible to visually impaired users. He explains the motivations, ideation, and challenges faced, sharing valuable lessons on designing inclusive AR experiences and the impact on users, including his work on precision with AR.

All in development

Architecture & Design

Featured in Architecture & Design

Designing for Defense: Architecting APIs with Zero Trust Principles

Renato Losio and a panel of security experts discuss designing for defense and architecting APIs with Zero Trust principles. They explain Zero Trust concepts, address challenges developers face in applying these, and highlight common API vulnerabilities.

All in architecture-design

AI Infrastructure

Featured in AI, ML & Data Engineering

AI Agents & LLMs: Scaling the Next Wave of Automation

The panelists demystify AI agents and LLMs. They define agentic AI, detail architectural components, and share real-world use cases and limitations. The panel explores how AI transforms the SDLC, addresses concerns about accuracy and bias, and discusses the Model Context Protocol (MCP) and future predictions for AI's impact.

All in ai-ml-data-eng

Culture & Methods

Featured in Culture & Methods

Building a Product-First Engineering Culture in the Age of AI

In this podcast, Shane Hastie, Lead Editor for Culture & Methods, spoke to Zach Lloyd about building a product-first engineering culture, and the critical importance of developers learning to effectively use AI tools while maintaining responsibility for code quality and understanding fundamental programming principles.

All in culture-methods

DevOps

Featured in DevOps

One Network: Cloud-Agnostic Service and Policy-Oriented Network Architecture

Anna Berenberg talks about One Network, Google's unified service networking overlay, which centralizes policy, simplifies operations across diverse environments, and enhances developer velocity. Learn about its open-source foundation, global traffic management, and vision for future multi-cloud and mobile integration.

All in devops

Events

Helpful links

Choose your language

InfoQ Dev Summit Munich

Learn practical solutions to today's most pressing software challenges. Register now with early bird tickets.

QCon San Francisco

Explore insights, real-world best practices and solutions in software development & leadership. Register now.

QCon AI New York

Learn how leading engineering teams run AI in production-reliably, securely, and at scale. Register now.

QCon London

Understand emerging trends like advanced AI/ML integration, FinOps, modern security practices & team leadership. Join now.

InfoQ Homepage Type Theory Content on InfoQ

Articles

RSS Feed

Development

It Ain't Necessarily So: Exploring Type Systems for Verifying Musical Correctness

Chris Ford explores what makes music correct and how we might encode it in a type system.

Chris Ford
on Jun 28, 2019

Unlock the full InfoQ experience

Don't have an InfoQ account?

Topics

Making Augmented Reality Accessible: A Case Study of Lens in Maps

Designing for Defense: Architecting APIs with Zero Trust Principles

AI Agents & LLMs: Scaling the Next Wave of Automation

Building a Product-First Engineering Culture in the Age of AI

One Network: Cloud-Agnostic Service and Policy-Oriented Network Architecture

Helpful links

Choose your language

Articles

It Ain't Necessarily So: Exploring Type Systems for Verifying Musical Correctness

Making Augmented Reality Accessible: A Case Study of Lens in Maps

From C to Rust: inside Meta’s Developer-Led Messaging Migration

Effective Practices for Coding with a Chat-Based AI

Designing for Defense: Architecting APIs with Zero Trust Principles

Optimizing Search Systems: Balancing Speed, Relevance, and Scalability

Guardian's Secure Messaging: Open Source Messaging Uses Millions of App Users as Traffic Cover

Building a Product-First Engineering Culture in the Age of AI

How to Build Secure Software without Sacrificing Productivity

From Legacy to Value: Building Digital Banking Products Across Central and Eastern Europe

Inaugural MCP Dev Summit Charts AI Integration's Future

Google DeepMind Announces Robotics Foundation Model Gemini Robotics On-Device

Hugging Face Launches Reachy Mini Robots for Human-Robot Interaction

Docker Expands Compose for Agent Development and Ties in Cloud Offload Support

Microsoft Launches Azure DevOps MCP Server in Public Preview

Docker Desktop 4.42 Launches with Native IPv6, Integrated MCP Toolkit, and AI Model Packaging

InfoQ Dev Summit Munich

QCon San Francisco

QCon AI New York

QCon London

InfoQ Software Architects' Newsletter

Articles