February 2026

Hoare Logic for Code and Cloud: What 1969 Computer Science Offers 2026 Engineering

A team shipped a vibe-coded Lambda function last month. Claude generated it, the tests passed, and it went to production. Two days later, the function processed a payment with a negative amount. The API contract said amounts must be positive integers, but nobody wrote that down anywhere the code could check. The generated code did […]

Hoare Logic for Code and Cloud: What 1969 Computer Science Offers 2026 Engineering Read More »

Designing Multi-Model AI Systems on AWS: Routing, RAG, and Inference Optimization

A team I worked with ran their entire product on Claude 3.5 Sonnet. Every request – from simple classification to complex document analysis – hit the same model at $6 per million input tokens and $30 per million output tokens. When they implemented Bedrock’s Intelligent Prompt Routing to split traffic between Haiku and Sonnet based

Designing Multi-Model AI Systems on AWS: Routing, RAG, and Inference Optimization Read More »

AI Safety Engineering: From Constitutional Classifiers to Circuit Tracing

Anthropic ran a public red teaming exercise against their Constitutional Classifiers system via HackerOne, offering up to $15,000 to anyone who could find a universal jailbreak. 405 invited participants spent over 3,000 hours (mean estimate: 4,720 hours) trying to answer ten targeted CBRN queries at a harmful threshold. No report succeeded. One apparent universal jailbreak

AI Safety Engineering: From Constitutional Classifiers to Circuit Tracing Read More »