AI

Deep, developer-first coverage of artificial intelligence — from frontier model releases and benchmarks to agents, RAG pipelines, and the AI-native tools changing how we ship software. No hype, just what actually matters to engineers.

Article 2d ago 7

Your Slack Bot's Database Is Now a Claude Session

Vercel's template wires Claude Managed Agents into Chat SDK, and the thin bridge is the point.

Rachel Goldstein

Kimi K3 Turns a Year of Efficiency Tricks Into 2.8T Parameters

Moonshot's new flagship validates hybrid attention, latent MoE, and 4-bit training at frontier scale — and redefines open weights.

Article · 1mo ago1

Linear Attention Just Graduated to Frontier Scale

Kimi Linear looked like another attention paper in October — now its KDA design underpins a 2.8T-parameter flagship.

Article · 1mo ago2

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 · 1mo ago0

The $500 Fine-Tune Is Real, but the Eval Is the Moat

A tiny GRPO run on two workstation GPUs outscored five frontier models at catalog review — asterisks included.

Article · 1mo ago1

A $500 RL Fine-Tune Beat the Frontier. Sort Of.

The self-scored benchmark deserves skepticism, but the playbook behind it is real, cheap, and already running at Shopify scale.

Article · 1mo ago1

Anthropic's Open-Weights Position Is Narrower Than It Looks

Amodei's three policy asks target frontier releases and industrial distillation, not the weights already on your GPU.

Article · 1mo ago5

FeyNoBg's Best Part Isn't the Model

The Apache-2.0 training library matters more than the non-commercial weights it ships with.

Article · 1mo ago0

Microsoft doesn't need to beat GPT, just route around it

In-house MAI models are absorbing Copilot's everyday traffic while OpenAI keeps the frontier tier.

Article · 1mo ago1

The Real Cost of 'Just Use vLLM,' According to Netflix

Netflix's Model Runtime team details the version pinning, GIL workarounds, and preemption bugs behind production LLM inference.

Article · 1mo ago2

Kimi K3 Is Open. You Still Can't Run It.

Moonshot's 2.8-trillion-parameter release is the biggest open-weights drop ever, and it redefines what open means.

Article · 1mo ago2

Subscription Arbitrage Comes for Cursor

A tiny Rust proxy runs Claude Code on Cursor's backend, replaying the exact trick Anthropic killed in April.

Article · 1mo ago0

Tao at ICM: AI Makes Proofs Cheap and Trust Expensive

The ICM 2026 lecture reframes AI-for-math as a pipeline problem software teams will recognize immediately.

Article · 1mo ago4

Terence Tao's Proof-Abundance Problem Is Software's Too

His ICM 2026 lecture on Goodhart's law and verification bottlenecks maps directly onto AI code generation.

Article · 1mo ago1

A Solo Dev Squeezed Usable TTS Into 9.36M Parameters

Inflect-Micro-v2 isn't the breakthrough its headline implies, but it resets the floor for offline speech on cheap CPUs.

Article · 1mo ago2

Kimi Code and the CLI Agent Land Grab

Moonshot's rewritten terminal agent is open source, single-binary, and priced to undercut the frontier labs.

Article · 1mo ago1