58

SeL4 security proofs now complete on AArch64 (proofcraft.systems)

by snvzz 2 hours ago | hide | 13 comments

262

I were 17, I'd learn how to build LLMs from scratch (twitter.com)

by bilsbie 17 hours ago | hide | 379 comments

1107

Everything I own, owned (schlarp.com)

by schlarpc 15 hours ago | hide | 296 comments

55

Ask HN: Why do corporate failures always seem to punish the wrong people?

by mittermayr an hour ago | hide | 30 comments

91

FDA clears blood test to aid evaluation for Alzheimer's disease (medicine.washu.edu)

by dabinat 7 hours ago | hide | 29 comments

199

Executable Is a SQLite Database (fzakaria.com)

by setheron 9 hours ago | hide | 26 comments

54

The Future Belongs to the Weird (essays.georgestrakhov.com)

by georgestrakhov 5 hours ago | hide | 27 comments

615

Anthropic's best AI model struggles to attract users as cheaper tools thrive (ft.com)

by naves 19 hours ago | hide | 543 comments

457

How I find problems to solve as a staff engineer (lalitm.com)

by vanpra 18 hours ago | hide | 136 comments

62

Fast drilldown dashboards from a single Parquet file (hamiltonulmer.com)

by v3gas 5 hours ago | hide | 1 comments

74

OCR It – pull text out of un-copyable documents for your LLM (github.com)

by thiagolima 7 hours ago | hide | 15 comments

24

Agent Is Not the Model (code.joejag.com)

by joejag 2 hours ago | hide | 3 comments

333

Andreessen Horowitz is investing billions into a bleak future (modelrepublic.org)

by reasonableklout 6 hours ago | hide | 115 comments

230

I built a low-latency AI companion that plays Skyrim with me (pantel.is)

by pantelisk 14 hours ago | hide | 42 comments

5

Why older tech is sometimes safer from hackers (bbc.com)

by tchalla 2 hours ago | hide | 1 comments

23

Anthropic candidates face blunt money question (axios.com)

by samizdis an hour ago | hide | 28 comments

340

Google Workspace thinks my domain is an email provider (2025) (blog.elis.cc)

by el1s7 18 hours ago | hide | 119 comments

489

What Is a Harness? (earendil.com)

by tosh a day ago | hide | 157 comments

340

My agent.md to improve LLM-assisted code quality (fabiensanglard.net)

by ibobev 19 hours ago | hide | 145 comments

93

Woman stranded in Spain after UK's eVisa system mistakes her for twin sister (theguardian.com)

by giuliomagnifico 4 hours ago | hide | 72 comments

173

New EU-wide product repair rules come into force (rte.ie)

by austinallegro 8 hours ago | hide | 104 comments

60

The treasury bond mess: is this the demise of the US as a safe haven? (theguardian.com)

by fittingopposite 3 hours ago | hide | 34 comments

36

Mourning Steve French (lwn.net)

by mfrw 9 hours ago | hide | 0 comments

339

How Complex Systems Fail (1998) (how.complexsystems.fail)

by shortcrct a day ago | hide | 72 comments

251

Malware infects Android-based automotive head unit firmware (securelist.com)

by campuscodi a day ago | hide | 127 comments

102

AI Chip Architectures (jepeake.com)

by Finbarr a day ago | hide | 36 comments

185

Fable and the end of the free lunch (dbreunig.com)

by dbreunig 18 hours ago | hide | 170 comments

85

Over 5,200 Ebola cases recorded in Congo (afro.who.int)

by simonebrunozzi 6 hours ago | hide | 36 comments

252

My favorite nonfiction books about cults, scams, and schemes (bookdna.com)

by bwb a day ago | hide | 100 comments

159

Explain it to me like I'm ten (timharford.com)

by bookofjoe 19 hours ago | hide | 58 comments

[MAD] Hacker News