Hacker News

31.		The 92-Year-Old Mathematician and the Teenage Apprentice (nytimes.com)
		150 points by robinhouston 12 hours ago \| hide \| 11 comments
32.		C*: Unifying Programming and Verification in C (2025) (arxiv.org)
		72 points by rramadass 11 hours ago \| hide \| 45 comments
33.		FreeBSD 14.5-Release (freebsd.org)
		119 points by joshcsimmons 14 hours ago \| hide \| 23 comments
34.		AlphaGenome Atlas predictive map of every DNA letter change in the human genome (deepmind.google)
		82 points by fady0 12 hours ago \| hide \| 11 comments
35.		Getting your hands dirty is good for you (bbc.com)
		218 points by HatchedLake721 17 hours ago \| hide \| 184 comments
36.		Connecting the machines (herdr.dev)
		78 points by collinmanderson 10 hours ago \| hide \| 31 comments
37.		ZX Spectrum: Experimenting with 1-Bit Sound (bumbershootsoft.wordpress.com)
		93 points by ibobev 12 hours ago \| hide \| 30 comments
38.		The two Christian saints who are the Buddha (signoregalilei.com)
		223 points by surprisetalk 12 hours ago \| hide \| 168 comments
39.		Iran says it captured US submarine drone in Strait of Hormuz (reuters.com)
		20 points by harambae 49 minutes ago \| hide \| 2 comments
40.		Embedding a bitmap font in your HyperCard stack (leadedsolder.com)
		6 points by zdw 3 hours ago \| hide \| discuss
41.		GrapheneOS on AI Usage (grapheneos.social)
		27 points by garo-pro 9 hours ago \| hide \| discuss
42.		Function Arguments Are Not Function Colors (jerf.org)
		40 points by ingve 7 hours ago \| hide \| 19 comments
43.		Paramount Caught Using 'Astroturf' Group to Drum Up Fake Support for Merger (techdirt.com)
		341 points by hn_acker 12 hours ago \| hide \| 117 comments
44.		Antiquated HTML Snippets and Artefacts (vale.rocks)
		227 points by patadune 17 hours ago \| hide \| 79 comments
45.		Space Force Uniform Is Inspired by Quasi-Satirical Film 'Starship Troopers' (deadline.com)
		11 points by alex_young 1 hour ago \| hide \| 8 comments
46.		Mistral raises €3B (mistral.ai)
		810 points by kuberwastaken 21 hours ago \| hide \| 567 comments
47.		Show HN: VolAnti – Open-source acoustic detector for fibre-optic FPV drones (github.com/agamrossen)
		4 points by agamrossen 2 hours ago \| hide \| discuss
48.		Disappointed Optimists (cwodtke.com)
		60 points by adrianhoward 11 hours ago \| hide \| 6 comments
49.		Flock worker calls police on investigator filming public camera installation (atlantanewsfirst.com)
		29 points by driverdan 3 hours ago \| hide \| 8 comments
50.		US to ban Canadian dairy, alcohol, motor vehicle imports on September 29 (reuters.com)
		42 points by JumpCrisscross 1 hour ago \| hide \| 22 comments
51.		I Rewrote My Back End in Go in 72 Hours and Cut My AWS Bill by 94% (bajura.online)
		53 points by odilelof 11 hours ago \| hide \| 21 comments
52.		LG TV shown scanning LAN for third-party phones and other devices (arstechnica.com)
		37 points by Bender 4 hours ago \| hide \| 2 comments
53.		Extracting Steering Vectors from J space (darshanmakwana412.github.io)
		60 points by martianvoid 14 hours ago \| hide \| 15 comments
54.		Cognition (Devin) raises $2B at $48B valuation (cognition.com)
		21 points by meco 9 hours ago \| hide \| 6 comments
55.		DHS 'Predictive Policing' Unit Is Analyzing Americans' Financial Habits (404media.co)
		326 points by abraham 12 hours ago \| hide \| 206 comments
56.		Picolibrary: A Small Press (novalis.org)
		61 points by luu 16 hours ago \| hide \| 13 comments
57.		How well do agents use test/verification techniques? (danluu.com)
		176 points by vinhnx 1 day ago \| hide \| 64 comments
58.		There's a new "Google Jail" for independent wikis (weirdgloop.org)
		525 points by pizzaiolo 1 day ago \| hide \| 224 comments
59.		Ask HN: Are others seeing Google's reCAPTCHA rejecting Firefox users?
		241 points by Animats 17 hours ago \| hide \| 119 comments
60.		Our GitHub Actions bill kept climbing, so we moved CI to one box (github.com/senoff)
		26 points by senoff 10 hours ago \| hide \| 16 comments
		More