2025 Archive
10111.
Differential Geometry: A First Course in Curves and Surfaces [pdf] (math.franklin.uga.edu)
10112.
Rupert's snub cube and other Math Holes (tom7.org)
10113.
Starcloud (ycombinator.com)
10114.
Heavy codes of conduct are unnecessary for open source projects (shujisado.org)
10115.
John Searle has died (nytimes.com)
10116.
FAA to eliminate floppy disks used in air traffic control systems (tomshardware.com)
10117.
Andrej Karpathy: "I was given early access to Grok 3 earlier today" (twitter.com)
10118.
Medical aid in dying, my health, and so on (blog.the-brannons.com)
10119.
First live birth using Fertilo procedure that matures eggs outside the body (businesswire.com)
10120.
It sure looks like Meta stole a lot of books to build its AI (lithub.com)
10121.
Australia Post halts transit shipping to US as 'chaotic' tariff deadline looms (abc.net.au)
10122.
Managers given 200 characters to justify not firing nuclear regulators (npr.org)
10123.
I think it's time to give Nix a chance (maych.in)
10124.
The Academic Pipeline Stall: Why Industry Must Stand for Academia (sigarch.org)
10125.
Pump the Brakes on Your Police Department's Use of Flock Safety (aclu.org)
10126.
Track which Electron apps slow down macOS 26 Tahoe (avarayr.github.io)
10127.
You Are in a Box (jyn.dev)
10128.
Firefox-patch-bin, librewolf-fix-bin AUR packages contain malware (lists.archlinux.org)
10129.
Court report detailing ChatGPT's involvement with a recent murder suicide [pdf] (storage.courtlistener.com)
10130.
Writing your own C++ standard library from scratch (nibblestew.blogspot.com)
10131.
Denmark to tackle deepfakes by giving people copyright to their own features (theguardian.com)
10132.
"Just Fucking Ship It" (Or: On Vibecoding) (coal.sh)
10133.
When a winter storm trapped a luxury passenger train near Donner Pass (smithsonianmag.com)
10134.
Benjie's Humanoid Olympic Games (generalrobots.substack.com)
10135.
Popular Japanese smartphone games have introduced external payment systems (english.kyodonews.net)
10136.
Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover (imperialcollegelondon.github.io)
10137.
Launch HN: Tinfoil (YC X25): Verifiable Privacy for Cloud AI
10138.
A modern approach to preventing CSRF in Go (alexedwards.net)
10139.
Meta slashes staff stock awards as group embarks on AI spending drive (ft.com)
10140.
ICE's Supercharged Facial Recognition App of 200M Images (404media.co)