Hacker News

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