Sharing AI progress in mathematics
(openai.com)Strands Decider 2B: a small, open-source, decision model
(strandsagents.com)Calling It Quits on ServerFault
(sysadmin1138.net)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)The cost of lies: A Mineserver story
(www.jeremyreimer.com)Mistral Large 4
(mistral.ai)EmbeddingGemma 2: An open, lightweight multimodal embedding model
(blog.google)What Is Codemode
(lucumr.pocoo.org)Claude Code’s suggested message feature: I think the real customer is the model
(www.zohaib.cc)ESP32-C3 Adblock
(github.com)AnyPS5: Port PS5 binaries to PC without emulation (87% system libraries mapped)
(github.com)Improving and Stabilizing the Racoon2 IKE Daemon in NetBSD
(blog.netbsd.org)Utah to let AI examine patients and prescribe medication without human oversight
(www.techspot.com)Jev-Driven SRE Diagnosis: What Worked and What Failed
(www.sregym.com)LLMs may have helped my RSI
(vaughanhilts.me)The art of defusing a second world war bomb
(www.theguardian.com)OpenTPU – An open-source AI accelerator, developed by AI
(github.com)Treg (OpenRouter for Tools)
(github.com)What's Earth's dominant species by mass?
(signoregalilei.com)State of Devs 2026
(2026.stateofdevs.com)How Fast is Python 3.15?
(blog.miguelgrinberg.com)California closed the Montana license plate loophole
(www.thedrive.com)Xbox has secured exclusive GTA 6 streaming rights
(www.theverge.com)Integer multiplication below n log n
(github.com)Paramount Skydance has completed its $111B merger with Warner Bros. Discovery
(arstechnica.com)Benchmark in Milliseconds
(matklad.github.io)South Korea says AI agents appear to have been used to hack the country's banks
(www.reuters.com)