Hacker News

1.		Nvidia announces native GPU programming in Rust (nvidia.com)
		415 points by nonmaskable 6 hours ago \| hide \| 153 comments
2.		Keys Not Included: recovering the signing keys for US driver's license barcodes (ryan.science)
		36 points by Ryan5453 59 minutes ago \| hide \| 5 comments
3.		Training a 4B model to produce 81% faster query plans than Postgres (rohanbansal.com)
		444 points by polyphilz 9 hours ago \| hide \| 91 comments
4.		Xiaomi Mimo 2.6 live post-training dashboard (xiaomi.com)
		313 points by krackers 7 hours ago \| hide \| 83 comments
5.		DeepSeek-v4.1 Flash: Pushing the Limits of KV Cache Compression (zartbot.github.io)
		49 points by mfiguiere 2 hours ago \| hide \| 5 comments
6.		Backups Aren't Simple (filipovski.net)
		124 points by afilipovski 6 hours ago \| hide \| 61 comments
7.		Breaking the 1.58-bit Barrier for Ternary LLMs (arxiv.org)
		156 points by matt_d 7 hours ago \| hide \| 21 comments
8.		Small programming tricks (will-keleher.com)
		431 points by signa11 12 hours ago \| hide \| 196 comments
9.		Developing provably correct Rust code with Verus (amazon.science)
		50 points by Betelbuddy 4 hours ago \| hide \| 5 comments
10.		The engineering behind the US Strategic Petroleum Reserve (johnjwang.com)
		143 points by johnjwang 6 hours ago \| hide \| 53 comments
11.		OpenSpec – A lightweight and configurable AI spec framework (openspec.dev)
		94 points by etoxin 4 hours ago \| hide \| 37 comments
12.		A 32-Year-Old Bug Walks into a Telnet Server (watchtowr.com)
		7 points by paimapi 1 hour ago \| hide \| discuss
13.		The Return of Sail Power: Cargo Ships Are Turning Back to the Wind (gcaptain.com)
		35 points by gumby 3 hours ago \| hide \| 15 comments
14.		Performance Improvements in .NET 11 (devblogs.microsoft.com/dotnet)
		213 points by soheilpro 9 hours ago \| hide \| 39 comments
15.		Reversing Factorio's RNG (gegell.github.io)
		162 points by jheitmann 9 hours ago \| hide \| 21 comments
16.		HarnessTax: How Much Does the Harness Matter for Coding Agents? (harnesstax.github.io)
		65 points by matt_d 5 hours ago \| hide \| 18 comments
17.		Part-human part-mouse brain developed in science breakthrough (bbc.com)
		10 points by marc__1 2 hours ago \| hide \| 7 comments
18.		Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations (github.com/arnegiacomo)
		2111 points by arnemunthekaas 1 day ago \| hide \| 240 comments
19.		Japan's book scene is moving from bookstores to libraries (untranslatedjp.substack.com)
		138 points by herbertl 11 hours ago \| hide \| 53 comments
20.		Mapsnap: Automated Georeferencing for Historic Sanborn Insurance Maps (danvk.org)
		9 points by evakhoury 2 hours ago \| hide \| 1 comment
21.		Pangram – AI detector for text and images (pangram.com)
		16 points by doodlesdev 2 hours ago \| hide \| 10 comments
22.		AWS says it can't restore some data from mideast facilities struck by Iran (wsj.com)
		271 points by berkeleyjunk 11 hours ago \| hide \| 234 comments
23.		Anecdotally, programmers dislike "reduce" (evanhahn.com)
		113 points by vinhnx 14 hours ago \| hide \| 175 comments
24.		Reverse-engineered Jev-like model (github.com/vinnylarouge)
		94 points by rochansinha 9 hours ago \| hide \| 14 comments
25.		Why Does the Universe Expand? (cosmicave.org)
		46 points by the__alchemist 6 hours ago \| hide \| 28 comments
26.		Dream-RSI: Recursive Self-Improvement through Evolving Worlds (arxiv.org)
		187 points by bananaflag 14 hours ago \| hide \| 49 comments
27.		Monsanto's Cruel, and Dangerous, Monopolization on American Farming (2008) (vanityfair.com)
		19 points by kamaraju 1 hour ago \| hide \| 4 comments
28.		Anatomy of a Texture (agentlien.github.io)
		80 points by Agentlien 13 hours ago \| hide \| 14 comments
29.		The DeepMind Institute (deepmind.com)
		156 points by vertigoruntime 13 hours ago \| hide \| 52 comments
30.		Accurate Models of AMD Matrix Cores (arxiv.org)
		68 points by matt_d 9 hours ago \| hide \| 9 comments
		More