#Ai Coding

Go's Real AI Advantage Is the Toolchain, Not the Types

Google's pitch for agent-written Go is part marketing, part correct theory of verification. Here's which half is which.

Article · 2d ago3

Parallel Coding Agents Are Rediscovering the Blackboard

When Claude Code sessions collide, a markdown file in git beats fancy orchestration — and a 1970s AI pattern explains why.

Article · 3d ago1

The Real Math Behind Databricks' 70% AI Coding Savings

The headline number is compounded arithmetic, but the four levers underneath are a playbook worth stealing.

Article · 6d ago2

The Punk Rock Case Against AI-Generated Code

Hobbyist coding scenes are banning LLM output, and their reasons are more material than purism.

Article · 1w ago5

AI Coding Metrics Have a 14 Percent Problem

The researchers behind SPACE say your GenAI dashboards grade the slice of engineering that was never the bottleneck.

Article · 1w ago0

Your Coding Standards Are Becoming Agent Skills

Tikal's 28-skill ADLC framework shows where team standards are headed — and how easy it is to overbuild.

Article · 1w ago0

Retyping AI Code Is a Symptom, Not the Cure

A viral plea to hand-copy every line of LLM output gets the mechanism wrong and the diagnosis right.

Article · 1w ago0

AI Wrote 60,000 Lines of Proofs So You Can Read 93

A formally verified CSG kernel in Lean 4 shows where trust in machine-written code actually lands.

Article · 2w ago0

Cursor's CORS Fix Is a Critical Vulnerability

AI assistants keep reflecting the Origin header with credentials on — the one pattern that turns an authenticated API into an open door.

Article · 2w ago0

Your Management Playbook Assumed Code Was Expensive

DORA, GitClear, and METR data all confirm the bottleneck moved from writing code to verifying it.

Article · 2w ago0

Better Than a Compiler, Trusted Like One

exe.dev's case for not reading AI-generated code is the sharpest yet, but it borrows a guarantee LLMs don't offer.

Article · 3w ago4

GitHub's Copilot SDK Puts Agents in Your Stack

Six language clients expose the same agent runtime as Copilot CLI, so apps can ship planning and tools without building orchestration.

Article · 4w ago7

Microsoft's CLI Agents: Social Spread, Real Lift, Real Cost

A rare internal study plus a hard June deadline show how enterprises actually adopt AI coding agents.

Article · 4w ago0

Spec Kit Puts Specs Ahead of the Agent

GitHub's open toolkit turns intent into a living contract so coding agents stop freelancing your architecture.

Article · 1mo ago0

The Cost of the Compiler in the Age of AI

Scarf's migration from Haskell to Python reveals how agentic workflows are rewriting the rules of language selection.

Article · 1mo ago0