Top story
TOP STORY Transformers Are Inherently Succinct. New paper proves transformers are formally succinct and that key verification problems (emptiness, equivalence) are EXPSPACE-complete, making rigorous LLM verification provably intractable. OpenReview
Research
BRepCLIP: Contrastive Multimodal Pretraining for CAD Understanding. Applies contrastive multimodal pretraining to CAD boundary representation primitives for improved geometric understanding. Hugging Face
Regret Minimization with Adaptive Opponents in Repeated Games. New algorithms adapt regret minimization strategies to opponent behavior in repeated game settings. Hugging Face
KITScenes Multimodal Dataset. New multimodal dataset release targeting autonomous driving research and benchmarking. Hugging Face
Tools
TinyTPU: Systolic Array Running Live in the Browser. A SystemVerilog systolic array compiled to WASM and RTL-verified against numpy, demonstrating ML accelerator concepts interactively in-browser. Reddit
Running Python in a Sandbox with MicroPython and WASM. Tutorial on using MicroPython compiled to WASM as a lightweight, sandboxed Python execution environment. Simon Willison
dots.tts, New TTS Model from Xiaohongshu. Xiaohongshu (RedNote) releases dots.tts, a new text-to-speech model. Twitter
OpenLumara: Token-Efficient Agent Framework for Local LLMs. Hand-coded, modular AI agent with a minimal system prompt designed specifically for local model deployments. Reddit
Industry
NVIDIA Cold-Starts 120B Model in Under 5 Seconds on Kubernetes. NVIDIA demonstrates dramatically fast cold-start times for a 120B parameter model in a Kubernetes deployment. Twitter
S&P 500 Rejects SpaceX, Blocking Path for OpenAI and Anthropic. S&P 500 index committee denies SpaceX entry and signals OpenAI and Anthropic face the same structural barriers to inclusion. Ars Technica
AI Cited a Fabricated Author in 6 Days Despite Crawler Blocks. Pre-registered experiment finds AI models correctly attributed a newly invented author within 6 days even while all known crawlers were blocked, raising serious questions about knowledge acquisition. Reddit
Community
Thousand Token Wood: Multi-Agent Economy on a 3B Model. Hackathon project ships a fully functional multi-agent economic simulation running on a 3B parameter model. Hugging Face Blog
My Agent Skill for Test-Driven Development. Practical exploration of a specify-encode-fulfill methodology for using AI agents in TDD workflows. Saturn CI
AI Detection Text Scanners Do Not Work. Developer concludes through personal testing that AI text detectors are fundamentally unreliable across the board. Reddit