Sharing AI Progress in Mathematics
(openai.com)OpenAI just dropped 700 preprints of mathematical proofs and counterexamples
(github.com)Mistral Large 4
(mistral.ai)Decisions API is in public beta
(developers.openai.com)Vibecoding Photoshop: Time and pressure
(andreklein.net)EmbeddingGemma 2: An open, lightweight multimodal embedding model
(blog.google)Penguin Mail – open-source Rust email client for Linux with AI
(penguin-mail.com)Integer multiplication below n log n
(github.com)Nobel Prize in Physics 2026: Francis Halzen
(www.nobelprize.org)OpenTPU – An open-source AI accelerator, developed by AI
(github.com)Claude Code’s suggested message feature: I think the real customer is the model
(www.zohaib.cc)Paramount Skydance has completed its $111B merger with Warner Bros. Discovery
(arstechnica.com)LLMs may have helped my RSI
(vaughanhilts.me)The Query Transformation Pipeline
(readyset.io)How Fast is Python 3.15?
(blog.miguelgrinberg.com)Benchmark in Milliseconds
(matklad.github.io)UniEvo-VL: Self-Distillation Training for Multimodal Model Self-Improvement
(arxiv.org)OpenSSH 10.6
(www.openssh.org)Berthd
(berthd.app)State of Devs 2026 survey results: developers are exhausted
(2026.stateofdevs.com)Stanford scientists found a way to regrow cartilage and stop arthritis
(www.sciencedaily.com)Toronto-Based VPN Provider Plans to Quit Canada over Lawful-Access Bill
(citizenlab.ca)Show HN: I turned my iPhone and a $20 smart plug into an f-stop timer
(peterszentkiralyi.eu)The Early History of Smalltalk (1993)
(worrydream.com)Mathematics of Geothermal Energy
(www.ebsco.com)Erdosproblems.com Succumbs to the AI Onslaught
(www.erdosproblems.com)System-level ad-blocking in Android
(kevinboone.me)Polars 2.0
(pola.rs)