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 1h ago 0

Gemini 3.7 Flash's Half-Price Launch Has an Expiration Date

Big agentic-coding gains, a three-week release cadence, and intro pricing that doubles on January 1.

Rachel Goldstein

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 · 2w 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 · 2w 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 · 2w 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 · 2w 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 · 2w 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 · 2w 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 · 2w 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 · 2w 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 · 2w 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 · 2w 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 · 2w 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 · 2w 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 · 2w 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 · 2w ago1

An LLM on an $8 Chip Is Mostly a Memory Trick

The ESP32-S3 demo matters less for what it writes than for how it splits hot and cold parameters.

Article · 2w ago0