Dev
TLA+ By Example: A Practical Guide to Formal Verification
2/24/2026

Business
Microsoft Appoints Engineering Quality Czar as Nadella Seeks to Address Software Reliability Concerns
2/5/2026

Trends
The AI-Driven Shift to Typed Languages: Reliability in the Age of Generated Code
1/9/2026

Vulnerabilities
AI Coding Degrades: Silent Failures Emerge
1/8/2026