Hacker News

1.		SeL4 security proofs now complete on AArch64 (proofcraft.systems)
		40 points by snvzz 1 hour ago \| hide \| 9 comments
2.		Omakase Computing (omacom.io)
		39 points by Bluestein 1 hour ago \| hide \| 34 comments
3.		I were 17, I'd learn how to build LLMs from scratch (twitter.com/paulg)
		245 points by bilsbie 7 hours ago \| hide \| 356 comments
4.		Everything I own, owned (schlarp.com)
		1081 points by schlarpc 14 hours ago \| hide \| 295 comments
5.		FDA clears blood test to aid evaluation for Alzheimer's disease (washu.edu)
		81 points by dabinat 6 hours ago \| hide \| 28 comments
6.		The Future Belongs to the Weird (georgestrakhov.com)
		49 points by georgestrakhov 4 hours ago \| hide \| 25 comments
7.		Executable Is a SQLite Database (fzakaria.com)
		179 points by setheron 8 hours ago \| hide \| 23 comments
8.		Agent Is Not the Model (joejag.com)
		10 points by joejag 1 hour ago \| hide \| discuss
9.		Anthropic's best AI model struggles to attract users as cheaper tools thrive (ft.com)
		601 points by naves 18 hours ago \| hide \| 534 comments
10.		Fast drilldown dashboards from a single Parquet file (hamiltonulmer.com)
		51 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)
		69 points by thiagolima 6 hours ago \| hide \| 12 comments
13.		Ask HN: Why do corporate failures always seem to punish the wrong people?
		17 points by mittermayr 39 minutes ago \| hide \| 9 comments
14.		Andreessen Horowitz is investing billions into a bleak future (modelrepublic.org)
		310 points by reasonableklout 6 hours ago \| hide \| 112 comments
15.		I built a low-latency AI companion that plays Skyrim with me (pantel.is)
		216 points by pantelisk 13 hours ago \| hide \| 41 comments
16.		Google Workspace thinks my domain is an email provider (2025) (elis.cc)
		336 points by el1s7 17 hours ago \| hide \| 114 comments
17.		What Is a Harness? (earendil.com)
		485 points by tosh 22 hours ago \| hide \| 157 comments
18.		My agent.md to improve LLM-assisted code quality (fabiensanglard.net)
		334 points by ibobev 18 hours ago \| hide \| 144 comments
19.		New EU-wide product repair rules come into force (rte.ie)
		164 points by austinallegro 7 hours ago \| hide \| 99 comments
20.		Anthropic candidates face blunt money question (axios.com)
		13 points by samizdis 1 hour ago \| hide \| 15 comments
21.		How Complex Systems Fail (1998) (complexsystems.fail)
		338 points by shortcrct 21 hours ago \| hide \| 72 comments
22.		Woman stranded in Spain after UK's eVisa system mistakes her for twin sister (theguardian.com)
		85 points by giuliomagnifico 3 hours ago \| hide \| 67 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)
		47 points by fittingopposite 2 hours ago \| hide \| 26 comments
25.		AI Chip Architectures (jepeake.com)
		100 points by Finbarr 14 hours ago \| hide \| 36 comments
26.		Fable and the end of the free lunch (dbreunig.com)
		177 points by dbreunig 17 hours ago \| hide \| 167 comments
27.		Mourning Steve French (lwn.net)
		27 points by mfrw 8 hours ago \| hide \| discuss
28.		Over 5,200 Ebola cases recorded in Congo (who.int)
		78 points by simonebrunozzi 5 hours ago \| hide \| 32 comments
29.		My favorite nonfiction books about cults, scams, and schemes (bookdna.com)
		249 points by bwb 23 hours ago \| hide \| 96 comments
30.		Explain it to me like I'm ten (timharford.com)
		156 points by bookofjoe 18 hours ago \| hide \| 58 comments
		More