Hacker News

1.		SeL4 security proofs now complete on AArch64 (proofcraft.systems)
		36 points by snvzz 1 hour ago \| hide \| 7 comments
2.		I were 17, I'd learn how to build LLMs from scratch (twitter.com/paulg)
		240 points by bilsbie 7 hours ago \| hide \| 346 comments
3.		Everything I own, owned (schlarp.com)
		1075 points by schlarpc 14 hours ago \| hide \| 294 comments
4.		Omakase Computing (omacom.io)
		29 points by Bluestein 1 hour ago \| hide \| 27 comments
5.		FDA clears blood test to aid evaluation for Alzheimer's disease (washu.edu)
		77 points by dabinat 6 hours ago \| hide \| 28 comments
6.		Executable Is a SQLite Database (fzakaria.com)
		175 points by setheron 8 hours ago \| hide \| 22 comments
7.		The Future Belongs to the Weird (georgestrakhov.com)
		45 points by georgestrakhov 4 hours ago \| hide \| 24 comments
8.		Agent Is Not the Model (joejag.com)
		9 points by joejag 1 hour ago \| hide \| discuss
9.		Anthropic's best AI model struggles to attract users as cheaper tools thrive (ft.com)
		595 points by naves 18 hours ago \| hide \| 531 comments
10.		Fast drilldown dashboards from a single Parquet file (hamiltonulmer.com)
		47 points by v3gas 4 hours ago \| hide \| discuss
11.		How I find problems to solve as a staff engineer (lalitm.com)
		445 points by vanpra 17 hours ago \| hide \| 136 comments
12.		OCR It – pull text out of un-copyable documents for your LLM (github.com/thiagotigaz)
		68 points by thiagolima 6 hours ago \| hide \| 11 comments
13.		Andreessen Horowitz is investing billions into a bleak future (modelrepublic.org)
		301 points by reasonableklout 5 hours ago \| hide \| 108 comments
14.		I built a low-latency AI companion that plays Skyrim with me (pantel.is)
		211 points by pantelisk 13 hours ago \| hide \| 41 comments
15.		Google Workspace thinks my domain is an email provider (2025) (elis.cc)
		336 points by el1s7 17 hours ago \| hide \| 114 comments
16.		What Is a Harness? (earendil.com)
		482 points by tosh 22 hours ago \| hide \| 157 comments
17.		My agent.md to improve LLM-assisted code quality (fabiensanglard.net)
		332 points by ibobev 18 hours ago \| hide \| 143 comments
18.		New EU-wide product repair rules come into force (rte.ie)
		163 points by austinallegro 7 hours ago \| hide \| 98 comments
19.		Anthropic candidates face blunt money question (axios.com)
		13 points by samizdis 52 minutes ago \| hide \| 12 comments
20.		Woman stranded in Spain after UK's eVisa system mistakes her for twin sister (theguardian.com)
		83 points by giuliomagnifico 3 hours ago \| hide \| 66 comments
21.		How Complex Systems Fail (1998) (complexsystems.fail)
		336 points by shortcrct 21 hours ago \| hide \| 72 comments
22.		Ask HN: Why do corporate failures always seem to punish the wrong people?
		8 points by mittermayr 29 minutes ago \| hide \| 2 comments
23.		Malware infects Android-based automotive head unit firmware (securelist.com)
		249 points by campuscodi 23 hours ago \| hide \| 126 comments
24.		The treasury bond mess: is this the demise of the US as a safe haven? (theguardian.com)
		45 points by fittingopposite 1 hour ago \| hide \| 22 comments
25.		AI Chip Architectures (jepeake.com)
		99 points by Finbarr 14 hours ago \| hide \| 35 comments
26.		Fable and the end of the free lunch (dbreunig.com)
		176 points by dbreunig 17 hours ago \| hide \| 165 comments
27.		Over 5,200 Ebola cases recorded in Congo (who.int)
		76 points by simonebrunozzi 5 hours ago \| hide \| 32 comments
28.		Mourning Steve French (lwn.net)
		26 points by mfrw 8 hours ago \| hide \| discuss
29.		My favorite nonfiction books about cults, scams, and schemes (bookdna.com)
		246 points by bwb 22 hours ago \| hide \| 94 comments
30.		Explain it to me like I'm ten (timharford.com)
		156 points by bookofjoe 18 hours ago \| hide \| 57 comments
		More