AI Coding Live News

On November 3, model-compression company Pruna AI open-sourced P-H3-Image, which turns MiniMax-H3, the open-weights video model MiniMax released this summer, into a text-to-image and image-editing model. Per Pruna: sampling drops from 50 to 8 steps, a 4 MP image on one B200 goes from 12.4 s to 2.6 s, the 4-bit set is a 20 GB download (vs 143 GB for H3), and peak VRAM at 8 MP is about 21 GB. It renders 2 to 16 MP and edits with multiple reference images. Weights are on Hugging Face with native ComfyUI support. It keeps the MiniMax H3 Community License, which by default excludes the EU, UK, South Korea and the US.

Zoom

Anthropic's Frontier Red Team published a research post on November 2 and open-sourced FlashProve under Apache 2.0. A model provider commits to hidden weights once, then attaches a zero-knowledge proof to each reply, so a user without the weights can check on an ordinary CPU that the reply really came from that model. That targets routing services that quietly swap in cheaper models and tampered token streams. Anthropic reports about 110 tokens/s on one H100 for Llama 4 Maverick (400B MoE, 4-bit), proofs of about 19 MB per 1,024-token request, and roughly 70-95x the GPU time of vLLM inference. It is an unmaintained research prototype limited to 1,024-token contexts and greedy decoding of an integer version of the model. Anthropic engineer Steve Weis shared the release on X.

Zoom

On November 2, OpenAI announced the Grid Protectors Program on its official blog: working with utilities and regulators so its future self-built compute campuses (its new term for data centers) cut electricity use when the grid is strained, while paying the full infrastructure and electric-service costs. The pilot is the planned campus in Effingham County, Georgia (Project Camellia), which Georgia Power says needs about 3,200 MW and commits up to 1,000 MW of flexible demand response, equal per OpenAI to the average use of roughly 700,000 households. The campus is still in development.

Zoom

On October 29, Randall Balestriero and Yann LeCun posted "Proving and Improving the Platonic Representation Hypothesis with JEPAs" (arXiv 2610.39302), affiliated with Brown University, NYU and AMI Labs. The paper proves that JEPAs trained separately on different modalities learn the same representation up to one rotation whenever their positive pairs are two observations of one scene ("good views"), and argues that next-token prediction is a JEPA with "bad views", which is why language models only align with vision through scale. The authors report that good views need 42x fewer training samples than next-token prediction to reach the same alignment, and that a 109M text JEPA scores 0.184 alignment with DINOv2 versus 0.154 for Qwen2.5-72B (author-reported). Code and a live demo are public; Balestriero's announcement post has about 1,054 likes and 72K views.

Zoom

a16z's Charts of the Week for Oct 30 (by Moses Sternstein) looks at the "Rack Spread": GPU rental prices are rising while token prices fall. The official a16z X account summed it up on Oct 31: since May, average token prices are down 67% and token spend is up more than 120%. By the article's napkin math, Ramp data gives roughly 122%, and Ornn's blended price multiplied by OpenRouter volume gives roughly 160%. A separate post says that since mid-July B300 rentals are up 106%, B200 up 66% and H100 up 17%. a16z also stresses that these indexes come from small, biased samples and do not show true total demand.

Zoom

On October 29 Pika released Pika H3 Flex, a joint audio-video generator post-trained on MiniMax H3, with weights on Hugging Face, code on GitHub, and ComfyUI and Diffusers support. Pika says it distilled sampling from 50 denoising steps to six, averages about 1.8x faster DiT denoising than Fal H3 Max at 768p, and can produce a 15-second clip with soundtrack in as little as about 7 seconds; the hosted API adds 1080p to 4K upscaling and five exportable audio stems (dialogue, score, SFX, foley, ambience). All speed and quality figures are vendor-reported.

Zoom

AI data company micro1 released Dual-Arm Sim, which has 10 general-purpose frontier models control a two-arm Franka Panda robot in a simulated operating room built on NVIDIA Isaac Sim, using only camera images and robot sensors, across four tasks: swapping instruments, replacing a faulty drug cartridge, passing a sample between hands, and packing a surgical kit. Only 11 of 800 trials were completed, all by Gemini 4 Argon (9) and GPT-6 Astra (2). Models claimed "task complete" in 213 trials and were wrong every time. All 200 traces of the cartridge-swap task are public on Hugging Face.

Zoom

On Oct 29 Amp shipped macOS Satellites: threads keep running on a Linux orb, and when work needs macOS Amp boots a fresh cloud Mac with Xcode and simulators, uses it only to build, run and test, and returns screenshots, logs and screen recordings to the thread. mac.medium costs $2/hour and mac.large $4/hour; the beta is waitlisted. CEO Quinn Slack says agents need a Mac only about 35% of the time even for macOS-heavy work.

Zoom

GitHub Next officially released PDD Kit (Property-Driven Development Kit), establishing a formal verification toolkit tailored for autonomous coding agents. Addressing the pervasive reliability gap where agent-generated code passes isolated unit tests but crashes on subtle edge cases, PDD Kit combines property-driven specifications with automated formal solvers. Instead of testing arbitrary sample inputs, PDD Kit mathematically proves that agent code adheres to rigorous invariant specifications across every possible input, preventing regressions and elevating coding agents from probabilistic generation to provable correctness.

Zoom

The Microsoft VS Code team announced Canvases in VS Code Preview (v1.142), introducing dedicated shared visual workspaces connecting developers with autonomous coding agents. Addressing the severe UX limitations of cramped sidebar chat windows—where complex multi-file architectural modifications and agent diffs become hard to track—Canvases provides an expansive, interactive infinite-canvas whiteboard. Developers and agents (such as GitHub Copilot, Claude Code, and Cline) can collaboratively organize system flowcharts, live interactive code diffs, execution traces, and unit test rollouts side by side.

Zoom

On Oct 20, AI startup humans& released its first model, Ampersand v0.1, pitched as a collaborator that helps groups reach individual and shared goals rather than an assistant that completes tasks alone. It is trained from Z.ai's GLM 5.3 (about 744B total, about 40B active parameters) with long-horizon multi-party RL against simulated users played by humans&'s own user model, Persimmon. It is available now, with no waitlist, through an API compatible with OpenAI's Agents API.

Zoom