BT

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.

Log In

or

Don't have an InfoQ account?

Register

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

How to Use Apache Spark to Craft a Multi-Year Data Regression Testing and Simulations Framework

Vivek Yadav, an engineering manager from Stripe, shares his experience in building a testing system based on multi-year worth of data. He shares insights into why Apache Spark was the choice for creating such a system and how it fits in the "traditional" engineering practices.

All in development

Architecture & Design

Featured in Architecture & Design

Scaling Cloud and Distributed Applications: Lessons and Strategies

The article shares goals and strategies for scaling cloud and distributed applications, focusing on lessons learned from cloud migration at Chase.com at JP Morgan Chase. The discussion centers on three primary goals and the strategies addressing the goals, concluding how these approaches were achieved in practice. For those managing large-scale systems, these lessons provide valuable guidance!

All in architecture-design

AI Infrastructure

Featured in AI, ML & Data Engineering

GenAI Security: Defending Against Deepfakes and Automated Social Engineering

In this episode, QCon AI New York 2025 Chair Wes Reisz speaks with Reken CEO and Google Trust & Safety founder Shuman Ghosemajumder about the erosion of digital trust. They explore how deepfakes and automated social engineering are scaling cybercrime and argues defenders must move beyond default trust, utilizing behavioral telemetry and game theory to counter attacks that simulate human behavior.

All in ai-ml-data-eng

Culture & Methods

Featured in Culture & Methods

Empathy Driven Platforms: You Build It, Let’s Run It Together

Erin Doyle explains the evolution from siloed IT Ops to the Platform Team model, revealing why the "You Build It, You Run It" principle created new cognitive load. She shares the Empathy-Driven Platforms strategy - the ultimate attack against engineering roadblocks. Discover ways platform teams can build empathy, foster psychological safety, and adopt a product mindset.

All in culture-methods

DevOps

Featured in DevOps

Trust No One: Securing the Modern Software Supply Chain with Zero Trust

Emma Yuan Fang explains the Zero Trust mindset required to combat modern software supply chain attacks. She details security controls for dependency management, including SBOM (Software Bill of Materials), artifact signing, Git commit signing, and CI/CD hardening. Learn how to implement security gating, enforce policies as code, and manage secrets across your build and runtime environments.

All in devops

Events

Helpful links

Choose your language

QCon AI New York 2025

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

SOLD OUT!

QCon London 2026

Learn what works in AI, architecture, data, security & FinTech.

Early Bird ends Dec 9.

QCon AI Boston

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

Launch pricing ends Dec 9.

InfoQ Homepage Interviews Stephanie Weirich on Dependent Typing, Extending Haskell, Type System Research

Development

Stephanie Weirich on Dependent Typing, Extending Haskell, Type System Research

Download

28:53

Bio

Stephanie Weirich has been a functional programmer since 1993 and a Penn faculty member since 2002. She's crazy about types. GitHub: sweirich Twitter: @fancytypes

About the conference

Code Mesh, the Alternative Programming Conference, focuses on promoting useful non-mainstream technologies to the software industry. The underlying theme is "the right tool for the job", as opposed to automatically choosing the tool at hand.

Feb 05, 2016

BT

Unlock the full InfoQ experience

Don't have an InfoQ account?

Topics

How to Use Apache Spark to Craft a Multi-Year Data Regression Testing and Simulations Framework

Scaling Cloud and Distributed Applications: Lessons and Strategies

GenAI Security: Defending Against Deepfakes and Automated Social Engineering

Empathy Driven Platforms: You Build It, Let’s Run It Together

Trust No One: Securing the Modern Software Supply Chain with Zero Trust

Helpful links

Choose your language

Stephanie Weirich on Dependent Typing, Extending Haskell, Type System Research

Bio

About the conference

This content is in the Code Mesh topic

Related Topics:

Sponsored Content

Related Editorial

Related Sponsors

Popular across InfoQ

Reddit Migrates Comment Backend from Python to Go Microservice to Halve Latency

Kubernetes Community Retires Popular Ingress NGINX Controller

Helm Improves Kubernetes Package Management with Biggest Release in 6 Years

Cloudflare Introduces Remote Bindings for Local Development

Google Launches Agent Development Kit for Go

How to Use Apache Spark to Craft a Multi-Year Data Regression Testing and Simulations Framework

QCon AI New York

QCon London

QCon AI Boston

InfoQ Software Architects' Newsletter

Stephanie Weirich on Dependent Typing, Extending Haskell, Type System Research

Bio

About the conference

This content is in the Code Mesh topic

Related Topics:

Sponsored Content

Related Editorial

Related Sponsors

Popular across InfoQ