Tag

Claude

7 articles

Latest in Claude

Claude Writes 180 Million Lines of Proofs to Verify 123 Open Source Libraries

Formal verification has long been the gold standard for software correctness. It has also been too expensive for almost everyone. New research from Anthropic suggests that’s changing. Anthropic’s Frontier Red Team, working with fo…

Oct 23, 20263 min

All Claude Articles

Showing 1–7 of 7

Oct15

Blogs

Claude Platform Now Sends Agent Traces Straight to Your Observability Stack

Anthropic is making it easier to see what Claude-based agents do in production. The company has added OpenTelemetry trace export to the Claude Platform. Developers can now send tra…

3 min

Oct08

Aditi Consulting Achieves Anthropic Select Tier After Putting Claude Into Production Across Its Business and Client Environments

The milestone follows Aditi’s broader effort to reshape its business, client delivery, and engineering workforce. BELLEVUE, Wash., Oct. 6, 2026 — Aditi Consulting has achieved Sele…

3 min

Sep21

Blogs

Claude Code Adds AGENTS.md Fallback, Cutting Instruction File Sprawl

Claude Code now supports AGENTS.md, giving development teams a shared instruction format across multiple AI coding agents and reducing configuration drift.

3 min

Jun18

Anthropic Hits Pause on Claude Agent SDK Billing Change, For Now

Anthropic paused its Claude Agent SDK billing overhaul hours before launch. Here’s what changed, why, and what IT leaders should track now.

3 min

Apr28

DevSecOps

When AI Goes Really, Really Wrong: How PocketOS Lost All Its Data

You can’t make this crap up. You just wish you could. Jer Crane, founder of the small vertical software company, PocketOS, reported on X that the AI Cursor coding agent and a Railw…

3 min

Apr24

Blogs

Microsoft Turns to Anthropic’s Mythos to Improve Cyber Defense

Microsoft has unveiled plans to incorporate Anthropic’s Claude Mythos Preview model and other AI models into its Security Development Lifecycle, embedding AI directly into the stag…

3 min