Hacker News

1.		One Year of Sponsored Servo Development (servo.org)
		149 points by AshleysBrain 4 hours ago \| hide \| 62 comments
2.		Neovim have a ~$800k Bitcoin donation sitting untouched since 2023
		121 points by jakemanger 1 hour ago \| hide \| 35 comments
3.		Nvidia announces native GPU programming in Rust (nvidia.com)
		754 points by nonmaskable 15 hours ago \| hide \| 307 comments
4.		Better Vector Search for Long Documents: Chunking Inside Manticore Search (manticoresearch.com)
		24 points by GloriaVinogrado 1 hour ago \| hide \| 1 comment
5.		My temporary PHP fix from 2014 has nearly 20M installs. Today I'm deprecating it (jakeasmith.com)
		163 points by jakeasmith 6 hours ago \| hide \| 42 comments
6.		GLM Built Its Own Inference Infrastructure (z.ai)
		119 points by whiteros_e 3 hours ago \| hide \| 83 comments
7.		Keys Not Included: recovering the signing keys for US driver's license barcodes (ryan.science)
		202 points by Ryan5453 9 hours ago \| hide \| 74 comments
8.		The Relation Between Mathematics and Physics by Paul Dirac (cam.ac.uk)
		83 points by rramadass 6 hours ago \| hide \| 25 comments
9.		Training a 4B model to produce 81% faster query plans than Postgres (rohanbansal.com)
		578 points by polyphilz 17 hours ago \| hide \| 121 comments
10.		Xiaomi Mimo 2.6 live post-training dashboard (xiaomi.com)
		463 points by krackers 16 hours ago \| hide \| 134 comments
11.		Lucasart's Afterlife (togameforlife.wordpress.com)
		43 points by Bondi_Blue 4 hours ago \| hide \| 18 comments
12.		Online Z3 Guide (microsoft.github.io)
		22 points by Bluestein 2 hours ago \| hide \| 6 comments
13.		Small programming tricks (will-keleher.com)
		559 points by signa11 20 hours ago \| hide \| 249 comments
14.		Comparison of Malloc() Algorithms (egbert.net)
		85 points by egberts1 7 hours ago \| hide \| 20 comments
15.		Breaking the 1.58-bit Barrier for Ternary LLMs (arxiv.org)
		214 points by matt_d 15 hours ago \| hide \| 34 comments
16.		Developing provably correct Rust code with Verus (amazon.science)
		125 points by Betelbuddy 12 hours ago \| hide \| 23 comments
17.		Cloudflare/Security-Audit-Skill (github.com/cloudflare)
		92 points by donk8r 7 hours ago \| hide \| 17 comments
18.		Backups Aren't Simple (filipovski.net)
		266 points by afilipovski 14 hours ago \| hide \| 167 comments
19.		Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations (github.com/arnegiacomo)
		2192 points by arnemunthekaas 1 day ago \| hide \| 245 comments
20.		A 32-year-old bug walks into a Telnet server (watchtowr.com)
		70 points by paimapi 10 hours ago \| hide \| 30 comments
21.		PCB is brought to you by Fable 5 (a6mzero.com)
		124 points by jasonpeacock 12 hours ago \| hide \| 59 comments
22.		OpenAI Model Misalignment Report (openai.com)
		76 points by qprofyeh 4 hours ago \| hide \| 54 comments
23.		HarnessTax: How Much Does the Harness Matter for Coding Agents? (harnesstax.github.io)
		148 points by matt_d 14 hours ago \| hide \| 56 comments
24.		The engineering behind the US Strategic Petroleum Reserve (johnjwang.com)
		221 points by johnjwang 14 hours ago \| hide \| 90 comments
25.		AWS says it can't restore some data from mideast facilities struck by Iran (wsj.com)
		445 points by berkeleyjunk 19 hours ago \| hide \| 374 comments
26.		Performance Improvements in .NET 11 (devblogs.microsoft.com/dotnet)
		309 points by soheilpro 17 hours ago \| hide \| 79 comments
27.		Japan's book scene is moving from bookstores to libraries (untranslatedjp.substack.com)
		209 points by herbertl 19 hours ago \| hide \| 84 comments
28.		CCC invites all model citizens to 40C3 (ccc.de)
		13 points by antonly 4 hours ago \| hide \| discuss
29.		OpenSpec – A lightweight and configurable AI spec framework (openspec.dev)
		154 points by etoxin 13 hours ago \| hide \| 72 comments
30.		Reversing Factorio's RNG (gegell.github.io)
		223 points by jheitmann 17 hours ago \| hide \| 41 comments
		More