October 2026 Archive
633.
Classification of Finite Simple Groups Formalized in Lean
(cfsg.axiommath.ai)
634.
Penguin Mail – open-source Rust email client for Linux with AI
(penguin-mail.com)
635.
JetBrains Thinkrail
(github.com)
636.
US Rep Announces Congressional Legislation to Protect Video Game Ownership
(ritchietorres.house.gov)
637.
638.
House with 15m underground tunnels for sale for 300k
(readingchronicle.co.uk)
639.
Show HN: Quake ported to safe Rust, playable in browser
(quake-srp.pages.dev)
640.
641.
Nix wrote half of my debugger
(fzakaria.com)
642.
644.
645.
OpenFatigue™ – Open is the new closed
(openfatigue.ai)
646.
The death of web development education
(molily.de)
647.
I will no longer upload to NEW
(lists.debian.org)
648.
I Found a $90k Remote Code Execution Vulnerability in Google
(simonkoeck.com)
649.
650.
DuckDB Ducklake
(github.com)
651.
A Man from the Future: Why Johnny Can't Stop Abstracting
(muratbuffalo.blogspot.com)
653.
ChatGPT and Codex usage limits merging
(help.openai.com)
654.
655.
SpeedCrunch 1.1
(speedcrunch.org)
656.
ADHD, autism or complex trauma? [pdf]
(cambridge.org)
658.
659.
The reverts will continue until morale improves
(peter.eisentraut.org)
660.
Tiny Brutalism
(placeholders.itch.io)