Hacker News

1.		How, Exactly, Could A.I. Kill Us? (newyorker.com)
		13 points by pseudolus 13 minutes ago \| hide \| 10 comments
2.		One Year of Sponsored Servo Development (servo.org)
		169 points by AshleysBrain 4 hours ago \| hide \| 80 comments
3.		Neovim have a ~$800k Bitcoin donation sitting untouched since 2023
		181 points by jakemanger 2 hours ago \| hide \| 72 comments
4.		Show HN: I built a new version of my fun spatial 3D online meeting app (flat.social)
		4 points by pawelwentpawel 6 minutes ago \| hide \| discuss
5.		Nvidia announces native GPU programming in Rust (nvidia.com)
		775 points by nonmaskable 15 hours ago \| hide \| 314 comments
6.		Better Vector Search for Long Documents: Chunking Inside Manticore Search (manticoresearch.com)
		31 points by GloriaVinogrado 2 hours ago \| hide \| 1 comment
7.		My temporary PHP fix from 2014 has nearly 20M installs. Today I'm deprecating it (jakeasmith.com)
		181 points by jakeasmith 7 hours ago \| hide \| 45 comments
8.		Keys Not Included: recovering the signing keys for US driver's license barcodes (ryan.science)
		212 points by Ryan5453 10 hours ago \| hide \| 80 comments
9.		The Relation Between Mathematics and Physics by Paul Dirac (cam.ac.uk)
		93 points by rramadass 6 hours ago \| hide \| 27 comments
10.		Training a 4B model to produce 81% faster query plans than Postgres (rohanbansal.com)
		593 points by polyphilz 18 hours ago \| hide \| 122 comments
11.		GLM Built Its Own Inference Infrastructure (z.ai)
		146 points by whiteros_e 4 hours ago \| hide \| 111 comments
12.		Lucasart's Afterlife (togameforlife.wordpress.com)
		51 points by Bondi_Blue 5 hours ago \| hide \| 20 comments
13.		Online Z3 Guide (microsoft.github.io)
		28 points by Bluestein 3 hours ago \| hide \| 6 comments
14.		Xiaomi Mimo 2.6 live post-training dashboard (xiaomi.com)
		473 points by krackers 16 hours ago \| hide \| 135 comments
15.		CCC invites all model citizens to 40C3 (ccc.de)
		56 points by antonly 4 hours ago \| hide \| 1 comment
16.		Small programming tricks (will-keleher.com)
		574 points by signa11 21 hours ago \| hide \| 252 comments
17.		Comparison of Malloc() Algorithms (egbert.net)
		89 points by egberts1 8 hours ago \| hide \| 23 comments
18.		Developing provably correct Rust code with Verus (amazon.science)
		130 points by Betelbuddy 13 hours ago \| hide \| 25 comments
19.		Breaking the 1.58-bit Barrier for Ternary LLMs (arxiv.org)
		217 points by matt_d 16 hours ago \| hide \| 34 comments
20.		Backups Aren't Simple (filipovski.net)
		275 points by afilipovski 15 hours ago \| hide \| 171 comments
21.		Cloudflare/Security-Audit-Skill (github.com/cloudflare)
		106 points by donk8r 8 hours ago \| hide \| 19 comments
22.		Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations (github.com/arnegiacomo)
		2198 points by arnemunthekaas 2 days ago \| hide \| 246 comments
23.		An Archive of Colour Gradients (shef.ac.uk)
		16 points by ashitlerferad 4 hours ago \| hide \| 2 comments
24.		PCB is brought to you by Fable 5 (a6mzero.com)
		136 points by jasonpeacock 12 hours ago \| hide \| 64 comments
25.		AWS says it can't restore some data from mideast facilities struck by Iran (wsj.com)
		454 points by berkeleyjunk 20 hours ago \| hide \| 379 comments
26.		A 32-year-old bug walks into a Telnet server (watchtowr.com)
		71 points by paimapi 10 hours ago \| hide \| 34 comments
27.		Iran school bombing: grounds to believe US was behind atrocity, UN finds (theguardian.com)
		93 points by hebelehubele 2 hours ago \| hide \| 33 comments
28.		The engineering behind the US Strategic Petroleum Reserve (johnjwang.com)
		228 points by johnjwang 15 hours ago \| hide \| 93 comments
29.		HarnessTax: How Much Does the Harness Matter for Coding Agents? (harnesstax.github.io)
		158 points by matt_d 14 hours ago \| hide \| 62 comments
30.		Performance Improvements in .NET 11 (devblogs.microsoft.com/dotnet)
		314 points by soheilpro 18 hours ago \| hide \| 86 comments
		More