type-driven design Archives - LT Tech Blog

Explainers How it works

Why Reliability Requires Functional Programming and Algebraic Data Types

TL;DR The article argues that functional programming and algebraic data types (ADTs) push many classes of bugs out of reach…

December 28, 2025

You missed

GenAI (models, assistants) OpenAI / Anthropic / xAI

Anthropic blocks OpenCode CLI use of Claude Max via API access

January 9, 2026

M&A Policy / Compliance

China signals probe into Meta’s acquisition of AI firm Manus

January 9, 2026

Explainers Policy / Compliance

Logistics Is Dying — Why Mail and Parcel Delivery Are Breaking Down

January 9, 2026

Policy / Compliance Threats & Incidents

Testimony Says ICE Agent in Renee Good Shooting Served as Firearms Trainer

January 9, 2026