#llm-coding

The latest AI and developer news about #llm-coding, with the original source and a short summary.

PickOpenComputer Hosts 'Ship Video' Agent Using Claude Opus 5.5 to Generate Explainer Videos from Code

The open-source agent generates deterministic MP4s by having the LLM write HTML/CSS/JS code that is rendered via headless Chromium and ffmpeg, rather than using a generative video model.

·2·2026.09.25 05:00

Trail of Bits Uses AI Agents to Build Custom Security Tooling and Formal Proofs for Miden zkVM Audit

AI agents generated an LSP server, decompiler, and 95 Lean correctness proofs over six months, uncovering a high-severity vulnerability that could allow fund theft.

·1·2026.09.18 13:00

SWE-rebench Multilingual Benchmark Update

SWE-rebench announced a multilingual software engineering benchmark update that goes beyond Python to include 5 languages such as Go, Java, and Rust.

·1·2026.07.29 01:00

New Technique Unveiled for Writing CUDA Kernels for AI Agents

HuggingFace has unveiled a new skill that helps AI agents write CUDA kernels directly.

·1·2026.02.13 09:00