BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ

Register Sign in

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.

Log In

or

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

Developing Meta's Orion AR Glasses

Jinsong Yu shares deep architectural insights into the Orion AR glasses, detailing the use of 11 custom microcontrollers for thermal dissipation, the SLAM/VIO needed for world-locked rendering, and input fusion (EMG, eye/hand tracking). He concludes with critical lessons for technical leaders on setting direction, managing complexity through testing, and strategic hardware-software co-design.

All in development

Architecture & Design

Featured in Architecture & Design

Holistic Engineering: Organic Problem Solving for Complex Evolving Systems

Late projects. Architectures that drift from their original design. Code that mysteriously evolves into something nobody planned. These persistent problems in software development often stem not from technical failures, but from forces we pretend don't exist—reward systems that incentivize the wrong behaviors, organizational structures that ignore domain boundaries, and human dynamics.

All in architecture-design

AI Infrastructure

Featured in AI, ML & Data Engineering

AI-Driven Software Delivery: Leveraging Lean, ChOP & LLMs to Create More Effective Learning Experiences at QCon

Wes Reisz discusses an experiment to deliver a QCon certification using a Retrieval-Augmented Generation (RAG) architecture and supervised coding agents (Claude Sonnet/Cursor). He breaks down the 4-week serverless video transcription pipeline, RAG variations (hybrid, graph), and the process of structuring prompts for 95% AI-generated code.

All in ai-ml-data-eng

Culture & Methods

Featured in Culture & Methods

AI Amplifies Team Strengths and Weaknesses in Software Development

In this podcast, Shane Hastie, Lead Editor for Culture & Methods, spoke to Jon Kern and Anita Zbieg about how AI amplifies both delivery efficiency and weaknesses in development teams, the importance of fundamental collaboration practices, and maintaining holistic system thinking.

All in culture-methods

DevOps

Featured in DevOps

When Reverse Proxies Surprise You: Hard Lessons from Operating at Scale

Operating massive reverse proxy fleets reveals hard lessons: optimizations that work on smaller systems fail at scale; mundane oversights like missing commas cause major outages; and abstractions meant to simplify become hidden fragility points. Success requires profiling on target hardware, relentlessly monitoring boring details, keeping hot paths lean, and trusting instrumentation over theory.

All in devops

Events

Helpful links

Choose your language

QCon San Francisco 2025

Learn how senior teams scaled GenAI search, migrated ML systems, & built global streaming platforms.

Register now.

QCon AI New York 2025

Go from AI demos to real engineering impact. Learn to embed LLMs, govern & scale securely.

Early Bird ends Dec 9.

QCon London 2026

Benchmark against top engineering teams. Learn what works in AI, architecture, data, security & FinTech.

Early Bird ends Dec 9.

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

Launch pricing ends Dec 9.

InfoQ Homepage Interviews Adam Wick on Security, Formal Methods, Types, Unikernels, HaLVM, DRM

Adam Wick on Security, Formal Methods, Types, Unikernels, HaLVM, DRM

Download

37:00

Bio

Adam Wick (@acwpdx ) leads the systems software group at R&D company Galois, Inc. Galois does research in formal methods, programming languages, OS, compiler engineering, and security. Adam has worked in a variety of fields from HW synthesis to web apps, but has recently focused on network and OS security. Amongst his current jobs, he also maintains HaLVM and oversees Galois' projects using it..

About the conference

Software is Changing the World. QCon empowers software development by facilitating the spread of knowledge and innovation in the developer community. A practitioner-driven conference, QCon is designed for technical team leads, architects, engineering directors, and project managers who influence innovation in their teams.

Jan 08, 2016

Interview with

Adam Wick

by

Werner Schuster

BT