Sharing AI progress in mathematics
(openai.com)Strands Decider 2B: a small, open-source, decision model
(strandsagents.com)Decisions API is in public beta
(developers.openai.com)Penguin Mail – open-source Rust email client for Linux with AI
(penguin-mail.com)La Cueva BBS in Mexico in 1993 (session replay)
(nanochess.org)Mistral Large 4
(mistral.ai)ESP32-C3 Adblock
(github.com)EmbeddingGemma 2: An open, lightweight multimodal embedding model
(blog.google)What Is Codemode
(lucumr.pocoo.org)The cost of lies: A Mineserver story
(www.jeremyreimer.com)AnyPS5: Port PS5 binaries to PC without emulation (87% system libraries mapped)
(github.com)Claude Code’s suggested message feature: I think the real customer is the model
(www.zohaib.cc)Calling It Quits on ServerFault
(sysadmin1138.net)Jev-Driven SRE Diagnosis: What Worked and What Failed
(www.sregym.com)Improving and Stabilizing the Racoon2 IKE Daemon in NetBSD
(blog.netbsd.org)OpenTPU – An open-source AI accelerator, developed by AI
(github.com)The art of defusing a second world war bomb
(www.theguardian.com)LLMs may have helped my RSI
(vaughanhilts.me)Treg (OpenRouter for Tools)
(github.com)What's Earth's dominant species by mass?
(signoregalilei.com)How Fast is Python 3.15?
(blog.miguelgrinberg.com)California closed the Montana license plate loophole
(www.thedrive.com)State of Devs 2026
(2026.stateofdevs.com)Hackers obtain counterfeit TLS certificates for Google and other large services
(arstechnica.com)Xbox has secured exclusive GTA 6 streaming rights
(www.theverge.com)Benchmark in Milliseconds
(matklad.github.io)Paramount Skydance has completed its $111B merger with Warner Bros. Discovery
(arstechnica.com)Show HN: NanoMuse – An open-source AI agent for your phone and computer
(github.com)Nobel Prize in Physics 2026: Francis Halzen
(www.nobelprize.org)