Hacker News

1.		One Year of Sponsored Servo Development (servo.org)
		81 points by AshleysBrain 2 hours ago \| hide \| 36 comments
2.		GLM Built Its Own Inference Infrastructure (z.ai)
		42 points by whiteros_e 2 hours ago \| hide \| 14 comments
3.		Nvidia announces native GPU programming in Rust (nvidia.com)
		704 points by nonmaskable 13 hours ago \| hide \| 282 comments
4.		Keys Not Included: recovering the signing keys for US driver's license barcodes (ryan.science)
		177 points by Ryan5453 7 hours ago \| hide \| 65 comments
5.		The Relation Between Mathematics and Physics by Paul Dirac (cam.ac.uk)
		54 points by rramadass 4 hours ago \| hide \| 20 comments
6.		My temporary PHP fix from 2014 has nearly 20M installs. Today I'm deprecating it (jakeasmith.com)
		116 points by jakeasmith 5 hours ago \| hide \| 24 comments
7.		Training a 4B model to produce 81% faster query plans than Postgres (rohanbansal.com)
		558 points by polyphilz 15 hours ago \| hide \| 118 comments
8.		Xiaomi Mimo 2.6 live post-training dashboard (xiaomi.com)
		439 points by krackers 14 hours ago \| hide \| 115 comments
9.		OpenAI Model Misalignment Report (openai.com)
		23 points by qprofyeh 3 hours ago \| hide \| 5 comments
10.		Lucasart's Afterlife (togameforlife.wordpress.com)
		20 points by Bondi_Blue 3 hours ago \| hide \| 16 comments
11.		Comparison of Malloc() Algorithms (egbert.net)
		77 points by egberts1 6 hours ago \| hide \| 10 comments
12.		Cloudflare/Security-Audit-Skill (github.com/cloudflare)
		66 points by donk8r 5 hours ago \| hide \| 14 comments
13.		Small programming tricks (will-keleher.com)
		526 points by signa11 18 hours ago \| hide \| 237 comments
14.		Backups Aren't Simple (filipovski.net)
		242 points by afilipovski 12 hours ago \| hide \| 147 comments
15.		Developing provably correct Rust code with Verus (amazon.science)
		116 points by Betelbuddy 10 hours ago \| hide \| 19 comments
16.		Breaking the 1.58-bit Barrier for Ternary LLMs (arxiv.org)
		208 points by matt_d 13 hours ago \| hide \| 32 comments
17.		A 32-year-old bug walks into a Telnet server (watchtowr.com)
		61 points by paimapi 8 hours ago \| hide \| 26 comments
18.		The engineering behind the US Strategic Petroleum Reserve (johnjwang.com)
		209 points by johnjwang 12 hours ago \| hide \| 78 comments
19.		Online Z3 Guide (microsoft.github.io)
		3 points by Bluestein 1 hour ago \| hide \| discuss
20.		The Return of Sail Power: Cargo Ships Are Turning Back to the Wind (gcaptain.com)
		96 points by gumby 10 hours ago \| hide \| 60 comments
21.		Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations (github.com/arnegiacomo)
		2169 points by arnemunthekaas 1 day ago \| hide \| 243 comments
22.		AWS says it can't restore some data from mideast facilities struck by Iran (wsj.com)
		409 points by berkeleyjunk 17 hours ago \| hide \| 341 comments
23.		HarnessTax: How Much Does the Harness Matter for Coding Agents? (harnesstax.github.io)
		132 points by matt_d 12 hours ago \| hide \| 53 comments
24.		OpenSpec – A lightweight and configurable AI spec framework (openspec.dev)
		139 points by etoxin 11 hours ago \| hide \| 63 comments
25.		PCB is brought to you by Fable 5 (a6mzero.com)
		108 points by jasonpeacock 10 hours ago \| hide \| 52 comments
26.		Back to the future: modules for Guix packages (2022) (guix.info)
		19 points by bmacho 2 hours ago \| hide \| 1 comment
27.		Performance Improvements in .NET 11 (devblogs.microsoft.com/dotnet)
		294 points by soheilpro 15 hours ago \| hide \| 64 comments
28.		Japan's book scene is moving from bookstores to libraries (untranslatedjp.substack.com)
		191 points by herbertl 17 hours ago \| hide \| 79 comments
29.		Reversing Factorio's RNG (gegell.github.io)
		209 points by jheitmann 15 hours ago \| hide \| 33 comments
30.		US interest rates raised for first time in three years (bbc.com)
		76 points by higginsniggins 11 hours ago \| hide \| 67 comments
		More