Ben Thompson argues that Anthropic's safety-first posture, far from being a constraint, has become its core market advantage — the thing that won it enterprise trust and government attention even as it complicates its product decisions.
Willison lays out why coding agents have made engineers faster without making them obsolete: the hard part of the job was never typing code, and the more code AI generates, the more human judgment is needed to direct, review, and integrate it.
Jane Street walks through how it actually uses formal methods in production — model checking, property-based testing, and lightweight proofs — and argues these techniques are becoming practical for ordinary engineering, not just safety-critical niches.
A developer traces why a perfectly valid ePub fails to load on Kobo readers down to Adobe's aging DRM and EPUB-rendering stack, which much of the e-reader industry still quietly depends on.