Hacker News

1.		Why Writing Correct Software Is Hard (pron.github.io)
		117 points by AriFordsham 2 hours ago \| hide \| 49 comments
2.		Jane Street: Socratic Tutor (github.com/janestreet)
		369 points by tosh 7 hours ago \| hide \| 88 comments
3.		A live tree of systemd jobs on the boot console (codeberg.org/wvhulle)
		164 points by orhunp_ 5 hours ago \| hide \| 62 comments
4.		Tim Peters has died (python.org)
		1284 points by ayhanfuat 20 hours ago \| hide \| 151 comments
5.		Anthropic IPO (anthropic.com)
		161 points by josephljohnston 1 hour ago \| hide \| 183 comments
6.		93% of paint splatters are valid Perl programs (2019) (mcmillen.dev)
		488 points by zenincognito 14 hours ago \| hide \| 62 comments
7.		Critical RCE Vulnerability in Apache HTTP Server (wiz.io)
		261 points by soheilpro 11 hours ago \| hide \| 125 comments
8.		AWS emulator (github.com/aws)
		888 points by super_linear 19 hours ago \| hide \| 247 comments
9.		Researchers discover rare star system that emits radio signals every 8 minutes (curtin.edu.au)
		17 points by giuliomagnifico 2 hours ago \| hide \| 2 comments
10.		Making a €40 USB-C hub work as a Nintendo Switch 2 dock (nozomi.space)
		54 points by mkopec 5 hours ago \| hide \| 11 comments
11.		A false smoke alarm almost drowned Jane Street's only NYC datacenter (bacarella.com)
		520 points by mbac32768 20 hours ago \| hide \| 252 comments
12.		Nvidia is preparing to oust Jensen Huang (wsj.com)
		1129 points by jbredeche 14 hours ago \| hide \| 1510 comments
13.		Gemini Decisions API (blog.google)
		470 points by iamdelirium 18 hours ago \| hide \| 145 comments
14.		I'm Working on a FOSS Linux Pinbal Simulation Engine (getlazarus.org)
		71 points by sysrpl 7 hours ago \| hide \| 27 comments
15.		Grote Reber and the 'Square Kilometre Array' Near Bothwell, Tasmania (2017) (researchgate.net)
		14 points by NaOH 4 hours ago \| hide \| 1 comment
16.		Lock Your GitHub Actions (hugovk.dev)
		280 points by gslin 15 hours ago \| hide \| 58 comments
17.		United Airlines bans AI agents from booking flights on behalf of travelers (cbsnews.com)
		584 points by herpderperator 15 hours ago \| hide \| 606 comments
18.		Emacs in the Age of Magic (commandlinesystems.com)
		260 points by ggcr 16 hours ago \| hide \| 120 comments
19.		Show HN: Aircad – Professional drafting and 3D modeling in the browser (aircad.com)
		50 points by peetle 5 hours ago \| hide \| 22 comments
20.		The Utah Teapot (utah.edu)
		166 points by cobbal 17 hours ago \| hide \| 39 comments
21.		Legocam: My Lego webcam from 2000, working on a modern Mac (benjamin.ie)
		29 points by benkelly 5 hours ago \| hide \| 26 comments
22.		Hyper-realistic sand with WebGL2 (av.github.io)
		409 points by everlier 23 hours ago \| hide \| 77 comments
23.		My AI agents found an unmapped Maya site? (pietromiotti.com)
		1009 points by eyvindn 1 day ago \| hide \| 370 comments
24.		A general purpose Apple Silicon layer for x86-64 PCs (github.com/tylertms)
		118 points by iceboundrock 14 hours ago \| hide \| 48 comments
25.		Show HN: Yogurt – Free, private, open-source alternative to Granola (github.com/frigadehq)
		263 points by brownrout 21 hours ago \| hide \| 98 comments
26.		Faster Retrieval for Better, More Efficient RAG (machinelearning.apple.com)
		218 points by zerop 20 hours ago \| hide \| 38 comments
27.		Did Life Begin in an RNA World? (quantamagazine.org)
		70 points by acossta 12 hours ago \| hide \| 43 comments
28.		Using voltage glitching to unleash the A100 in my mining card (kate.land)
		322 points by lae 1 day ago \| hide \| 126 comments
29.		Huawei releases MACaQ, its internal quantizer for local inference (github.com/huawei-csl)
		120 points by thefox96 17 hours ago \| hide \| 29 comments
30.		Lean Grimoire (terrytao.wordpress.com)
		51 points by smilelamp 10 hours ago \| hide \| 8 comments
		More