October 2025 Archive
3331.
We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT
(borisalexeev.com)
3332.
A History of British Summer Time
(diamondgeezer.blogspot.com)
3333.
3334.
Climate Science, Risk and Solutions
(climateprimer.mit.edu)
3335.
JPMorganChase Launches $1.5T Security and Resiliency Initiative
(jpmorganchase.com)
3336.
3337.
3338.
3339.
Hackers exploit 34 zero-days on first day of Pwn2Own Ireland
(bleepingcomputer.com)
3340.
Chinese staff go rogue after Dutch seize control of chip firm
(telegraph.co.uk)
3341.
The Complete History of Lemmings
(lemmings.info)
3342.
3343.
Show HN: AgentML – Deterministic AI Agents (MIT, Alpha)
(agentml.dev)
3344.
Thermodynamic Computing from Zero to One
(extropic.ai)
3345.
React 19.2 is now available
(react.dev)
3346.
Tesla reverses sales decline in Q3, sells 50k more cars than it built
(arstechnica.com)
3347.
US takes a stake in lithium mining company in Nevada
(apnews.com)
3348.
Europe is at war with Russia, whether it likes it or not
(politico.eu)
3349.
3350.
How to Create an IoT App in Kotlin Multiplatform
(thedroidsonroids.com)
3351.
Liberal Society Isn't for Everyone
(hedgehogreview.com)
3352.
Putin Is Not Winning
(theatlantic.com)
3353.
Maduro launches app for Venezuelans to report 'everything they see and hear'
(english.elpais.com)
3354.
3355.
You Already Have a Git Server
(maurycyz.com)
3356.
As Israel bombed Gaza, Amazon did business with its bomb-makers
(theintercept.com)
3357.
3358.
Scientists Finally Reveal Biological Basis of Long Covid Brain Fog
(scitechdaily.com)
3359.
3360.
AMA session with Mozilla leadership team
(old.reddit.com)