23

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

by snvzz an hour ago | hide | 2 comments

36

Omacom Foundation funding hits $10M (omarchy.org)

by tosh an hour ago | hide | 20 comments

228

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

by bilsbie 16 hours ago | hide | 330 comments

1062

Everything I own, owned (schlarp.com)

by schlarpc 14 hours ago | hide | 291 comments

19

Omakase Computing (learn.omacom.io)

by Bluestein an hour ago | hide | 15 comments

73

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

by dabinat 6 hours ago | hide | 26 comments

37

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

by georgestrakhov 4 hours ago | hide | 22 comments

164

Executable Is a SQLite Database (fzakaria.com)

by setheron 8 hours ago | hide | 19 comments

7

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

by joejag an hour ago | hide | 0 comments

589

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

by naves 18 hours ago | hide | 527 comments

45

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

by v3gas 4 hours ago | hide | 0 comments

68

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

by thiagolima 6 hours ago | hide | 11 comments

443

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

by vanpra 17 hours ago | hide | 136 comments

276

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

by reasonableklout 6 hours ago | hide | 98 comments

203

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

by pantelisk 13 hours ago | hide | 41 comments

329

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

by el1s7 17 hours ago | hide | 111 comments

479

What Is a Harness? (earendil.com)

by tosh a day ago | hide | 157 comments

329

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

by ibobev 19 hours ago | hide | 143 comments

77

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

by giuliomagnifico 3 hours ago | hide | 63 comments

160

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

by austinallegro 7 hours ago | hide | 97 comments

11

Anthropic candidates face blunt money question (axios.com)

by samizdis 35 minutes ago | hide | 6 comments

334

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

by shortcrct 21 hours ago | hide | 72 comments

247

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

by campuscodi a day ago | hide | 126 comments

98

AI Chip Architectures (jepeake.com)

by Finbarr a day ago | hide | 35 comments

173

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

by dbreunig 17 hours ago | hide | 162 comments

74

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

by simonebrunozzi 5 hours ago | hide | 27 comments

26

Mourning Steve French (lwn.net)

by mfrw 8 hours ago | hide | 0 comments

246

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

by bwb a day ago | hide | 92 comments

155

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

by bookofjoe 18 hours ago | hide | 57 comments

35

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

by fittingopposite 2 hours ago | hide | 18 comments

[MAD] Hacker News