October 2025 Archive
903.
Automated Lean Proofs for Every Type
(galois.com)
904.
905.
What happens to college towns after peak 18-year-old?
(theargumentmag.com)
906.
Win32 Is the Only Stable ABI on Linux
(blog.hiler.eu)
907.
Silicone bakeware as source of human exposure to cyclic siloxanes
(sciencedirect.com)
908.
909.
EasyOS – An experimental Linux distribution (2025)
(easyos.org)
910.
Representation Engineering (2024)
(vgel.me)
911.
Thoughts on Omarchy
(tedium.co)
912.
Top US researchers rush to relocate to Europe
(politico.eu)
913.
Elon Musk urges parents to cancel Netflix over 'transgender woke agenda'
(uk.news.yahoo.com)
916.
Reverse Engineering keyboard firmware with Ghidra
(blog.usedbytes.com)
917.
Intel rethinking how it contributes to open source community
(theregister.com)
918.
SMS Pools and What the US Secret Service Found Around New York
(garwarner.blogspot.com)
919.
Why do we need MAC addresses?
(immibis.com)
920.
Study confirms that pianists can shape piano timbre through touch
(neurosciencenews.com)
921.
923.
Feds: Brothers stole $25M in crypto in 12 seconds. Defense: outsmarted bots
(businessinsider.com)
924.
Passkey is still too confusing to use
(bogleheads.org)
925.
Everything Is Becoming a Bank
(jacobin.com)
926.
Write in C – Let it Be
(wiki.tcl-lang.org)
927.
Elon Musk and the right's war on Wikipedia
(citationneeded.news)
928.
Joint Book Review: Class, by Paul Fussell
(thepsmiths.com)
929.
RFK Jr pushes fringe claim linking autism to circumcision
(france24.com)
930.
UK government says digital ID won't be compulsory – honest
(theregister.com)