Daily Top Stories
811.
Rare Earths – Production, Reserves and Supply Concentration
(criticalmineralsdata.org)
812.
813.
Show HN: Extending Axiom's PrimeGapsLib to prove parts 2 and 3 of Erdős #420
(erdosproblems.ai)
814.
815.
Notes on a recent claim that a mceliece348864 distinguisher uses only 2^529 ops [pdf]
(classic.mceliece.org)
816.
817.
818.
Show HN: Slopcap
(github.com)
819.
Do Guardrails Make AI Coding Agents Better? What 270 Runs Showed
(secondtimeisabug.com)
820.
Solid-state transformers could help power the AI boom
(technologyreview.com)
821.
"The panic hasn't turned into patching" The PHP2Shell response
(thenewstack.io)
822.
Hurricane Katrina
(en.wikipedia.org)
823.
824.
826.
Life After Death?
(pudding.cool)
827.
colorForth
(en.wikipedia.org)
828.
Show HN: Statespace – learn formal methods by building a tiny checked language
(statespace.play.naigap.com)
830.
Optimization Algorithms Labs
(optimization-algorithms-book.github.io)
831.
Shiny Glass Skyscrapers Are a Hot Thing
(nytimes.com)
832.
833.
Declarative Network Configuration for Hosts
(github.com)
834.
Sharing a boulder without a back end: files and previews on iOS
(freshteapot.net)
835.
836.
837.
iPhone Lockdown Mode: What It Blocks and What Breaks
(privateorchards.com)
839.
A 2 O(n) TIME ALGORITHM FOR 3-SAT [pdf]
(hexagonmath.org)
840.