Hacker News

121.		Finding a bug in Dummit and Foote's Abstract Algebra (kallus.org)
		81 points by evakhoury 1 day ago \| hide \| 36 comments
122.		US Reading Scores Plummet on Global Exam (nytimes.com)
		38 points by toomuchtodo 11 hours ago \| hide \| 16 comments
123.		Show HN: Stuxnet – A reconstructed source code of the infamous cyber-weapon (github.com/sadpainy)
		167 points by CMDDestory 1 day ago \| hide \| 50 comments
124.		Trusting-Trust Attack against an Entire Linux Distribution (arxiv.org)
		236 points by signa11 1 day ago \| hide \| 58 comments
125.		AI Giants Work Hand-in-Hand with The Pentagon, Contracts Reveal (theintercept.com)
		31 points by sea-gold 11 hours ago \| hide \| 6 comments
126.		Caltech Mathathon – first hackathon ever devoted to research level mathematics (mathathonchallenge.com)
		266 points by astroanax 1 day ago \| hide \| 95 comments
127.		She Also Found It at the Movies (hedgehogreview.com)
		41 points by prismatic 1 day ago \| hide \| 18 comments
128.		Coop – Isolated VM Environments for Running Claude Code and Codex (github.com/trailofbits)
		66 points by aggrrrh 1 day ago \| hide \| 16 comments
129.		Methods for Random Gradients (2024) (justinjay.wang)
		51 points by nickswalker 1 day ago \| hide \| 5 comments
130.		Mamdani: Officials 'lied' to New Yorkers about still-toxic after 9/11 (independent.co.uk)
		9 points by doener 5 hours ago \| hide \| discuss
131.		OUI-1: world's first model for Generative UI (openui.com)
		57 points by zahlekhan 8 hours ago \| hide \| 60 comments
132.		Macbeth and His Problems (porticoquarterly.com)
		59 points by apophatic 1 day ago \| hide \| 22 comments
133.		Your intellectual fly is open when you use an LLM to author a post (2025) (dtrace.org)
		726 points by cyb0rg0 2 days ago \| hide \| 433 comments
134.		Is mathematics about to enter the conservatory? (mbmccoy.dev)
		134 points by _alternator_ 2 days ago \| hide \| 140 comments
135.		Impedance Matching (2017) (edge.org)
		83 points by muti 1 day ago \| hide \| 26 comments
136.		How to bring up the Linux Kernel on a new platform (werwolv.net)
		90 points by WerWolv 1 day ago \| hide \| 8 comments
137.		Understanding Computer Memory Architecture and SSD Internals (codingpirate.com)
		72 points by Deeptiman 21 hours ago \| hide \| 13 comments
138.		Smartphone makers don't bother to comply with EU repairability requirements (theregister.com)
		304 points by mdp2021 1 day ago \| hide \| 200 comments
139.		Vagrant is approaching EOL. No more "Docker for VMs" (hashicorp.com)
		15 points by stasge 1 day ago \| hide \| 7 comments
140.		Harnessing the Universal Geometry of Embeddings (arxiv.org)
		120 points by ur-whale 2 days ago \| hide \| 43 comments
141.		The Pebble Time 2 proves smartwatches got worse, not better (howtogeek.com)
		12 points by datakan 7 hours ago \| hide \| 1 comment
142.		We Must Return to the Office to Use AI in Person (mcsweeneys.net)
		367 points by cainxinth 12 hours ago \| hide \| 62 comments
143.		Isar Aerospace reaches orbit and deploys payloads on second flight (isaraerospace.com)
		616 points by mpweiher 2 days ago \| hide \| 203 comments
144.		Discovery of a new OpenAI agent message board (collusion.wiki)
		2292 points by moultano 4 days ago \| hide \| 1595 comments
145.		Onboard device storage is kept low for these reasons (circuitbored.com)
		3 points by winternett 4 hours ago \| hide \| discuss
146.		When Mothers Get Arrested for Mothering (theatlantic.com)
		18 points by Jtsummers 7 hours ago \| hide \| 10 comments
147.		NetBSD 9.5 released and EOL for NetBSD-9 (netbsd.org)
		150 points by jaypatelani 2 days ago \| hide \| 16 comments
148.		Hqtui: Terminal UI for TypeScript, Rust, Go, Python, Zig, Ruby (hqtui.com)
		12 points by thunderbong 8 hours ago \| hide \| 1 comment
149.		An Alien Mind (openai.com)
		485 points by tosh 2 days ago \| hide \| 462 comments
150.		Feather Atlas (fws.gov)
		16 points by bookofjoe 20 hours ago \| hide \| 3 comments
		More