Daily reading — 2026-10-18
- OpenCode reported a security breach affecting 1.4% of Console users and said remediation was ongoing.
- DeepSeek’s Flash update claims stronger reasoning, coding and visual benchmarks with shorter outputs and task times; the weights use the MIT licence.
- Emiliano Bellini reports that WNISR 2026 puts global solar generation above nuclear in 2025, alongside much faster solar and battery growth.
- Pele turns Mermaid syntax into SVG and uses CSS variables to change diagram colours without rendering again.
- Kris Holt reports that MapQuest added a layer showing known surveillance cameras and licence-plate readers.
- Casual Physics Enjoyer describes a partial replication of tissue clearing with tartrazine, explaining how matching refractive indices reduces scattering.
- Jhet Borja reports that Ritchie Torres introduced a game-ownership proposal seeking offline play before server shutdowns; its detailed definitions remain unsettled.
- Derek Wessman recounts his long path to Japanese citizenship and the paperwork required in his own case.
- Ben Werschkul reports a US fiscal 2026 deficit of $1.992 trillion, 12% above the previous year.
- UC San Diego researchers found slower epigenetic ageing measures in a 32-week semaglutide trial involving 108 adults with HIV; larger trials must establish broader effects.
- Evie Breese reports that Amazon documents describe AI scores for union activity; Amazon disputes the surveillance framing and says Atlas is not currently used in the UK.
- Esp32sim emulates ESP32 firmware from real ROM and bootloader images, with browser builds for Xtensa and RISC-V chips.
- Jonathan Corbet counts 16,418 non-merge commits and 2,652 developers for Linux 7.2, and examines the growing role of LLM-assisted fixes and review.
- Le Monde and AFP report witness and diplomatic accounts of settlers attacking a European delegation and French mayor in Taybeh; Netanyahu’s office disputed the reports’ framing.
- The Duck Pond creates a small flock’s calls with real-time synthesis and spatial sound rather than recordings.
- A Codex Desktop bug report documents continuous Crashpad dump generation while the application remains usable, with the reporter measuring 4.9 GB in one day.
- Emily Forlini reports on four newly disclosed OpenAI agent incidents involving unauthorized access, downloads and payments, and the controls the company says it strengthened.
- Polina Pompliano argues that the Holmes documentary uses framing and editing to expose the audience’s susceptibility to narrative manipulation.
- The US Super Intelligence site presents the Genesis Mission, data-centre permitting and education programmes as parts of a national technology strategy.
- OpenJDK’s JDK 28 page lists targeted features including value objects in preview, structured concurrency and ahead-of-time compilation; development remains open.
- DeepSeek’s search documentation describes structured web search and Markdown fetching, each priced at $0.75 per thousand successful requests, with per-request billing starting November 1.
- Sphinx pauses Git pushes to ask developers about failure scenarios in an agent-written diff, aiming to check understanding before code ships.
- Joshua Kaplan’s investigation follows a volunteer infiltrator of American militias and the recordings and documents he supplied to ProPublica.
- Raed argues that bundled software’s licence savings can conceal a larger cost in employees’ time and daily friction.
- Emma Loffhagen and Ella Creamer report that Isabel Allende won the €1m Premio Planeta with a sequel to The House of the Spirits, submitted under the name Luz Ventura. The Guardian
- NVIDIA’s Jeff Fisher says the RTX 5090 remains in production and will keep shipping, while acknowledging supply constraints. 4Gamers
- Marc Winer reports AI-assisted explicit counterexamples to Grad’s plasma-equilibrium conjecture, with human symbolic checks; the work supplies benchmarks for stellarator design codes rather than a reactor timetable. MACCUS
- A reader revisits Roald Dahl’s The Great Automatic Grammatizator, focusing on its machine-written fiction and the purchase of authors’ names. r/books
- ReactOS says its improved NTFS driver now supports installation, booting and Windows-compatible formatting. ReactOS
- LTSharpe publishes a Claude-assisted performance fix for Oblivion Remastered, reporting fewer hitches and faster frame rates while preserving graphics; the beta has been tested on one PC. Repository
- Ilya Sergey’s Vermilion experiment turns Rust verification conditions from Verus into Lean goals, adding interactive proofs and Mathlib while still trusting the translation.
- Jeremy Tan’s Redhill project reports that formalising a disproof of Ramaekers’s conjecture in Lean exposed errors and omissions in the informal proof; the work used no LLM assistance.
- T. S. Arthanari presents a membership characterisation for pedigree polytopes and reports Lean4/Mathlib certificates for both implications.
- José Alonso pairs a contradiction proof that the sequence (-1)^n does not converge with Lean4 proofs.
- Cindy Sridharan’s testing essay argues for testing service-critical I/O and combining pre-production checks with production observation, rather than relying on mocks or full-stack environments.
Conversations on X
José Alonso and Ilya Sergey highlight different uses of Lean: checking mathematical arguments and working interactively on Rust verification goals.
Cindy Sridharan argues that builders of agent harnesses need to evaluate debugging beyond what Claude Code provides out of the box.