fp.

SeL4 security proofs now complete on AArch64

https://proofcraft.systems/news-2026/#2026-08-21

48•snvzz•1h ago•11 comments

I were 17, I'd learn how to build LLMs from scratch

https://twitter.com/paulg/status/2091544343589060625

251•bilsbie•16h ago•360 comments

Everything I own, owned

https://schlarp.com/posts/everything-i-own-owned/

1087•schlarpc•14h ago•296 comments

FDA clears blood test to aid evaluation for Alzheimer's disease

https://medicine.washu.edu/news/fda-clears-blood-test-to-aid-evaluation-for-alzheimers-disease/

86•dabinat•6h ago•28 comments

The Future Belongs to the Weird

https://essays.georgestrakhov.com/weird/

49•georgestrakhov•4h ago•25 comments

Executable Is a SQLite Database

https://fzakaria.com/2026/08/23/your-executable-is-a-sqlite-database

183•setheron•8h ago•25 comments

Agent Is Not the Model

https://code.joejag.com/2026/your-agent-is-not-the-model.html

15•joejag•1h ago•0 comments

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

28•mittermayr•47m ago•15 comments

Anthropic's best AI model struggles to attract users as cheaper tools thrive

https://www.ft.com/content/5ee49718-c258-4f01-aa32-7e5b76ae5245

604•naves•18h ago•537 comments

Fast drilldown dashboards from a single Parquet file

https://www.hamiltonulmer.com/customer-dashboards-r2-hyparquet/

57•v3gas•4h ago•1 comments

How I find problems to solve as a staff engineer

https://lalitm.com/post/find-problems-staff-engineer/

447•vanpra•17h ago•136 comments

OCR It – pull text out of un-copyable documents for your LLM

https://github.com/thiagotigaz/ocr-it

70•thiagolima•6h ago•13 comments

Andreessen Horowitz is investing billions into a bleak future

https://www.modelrepublic.org/articles/a16z-portfolio

314•reasonableklout•6h ago•114 comments

I built a low-latency AI companion that plays Skyrim with me

https://pantel.is/projects/ai-gaming-companion/

222•pantelisk•13h ago•41 comments

Google Workspace thinks my domain is an email provider (2025)

https://blog.elis.cc/articles/google-workspace-thinks-my-domain-is-an-email-provider/

337•el1s7•17h ago•116 comments

What Is a Harness?

https://earendil.com/posts/what-is-a-harness/

485•tosh•22h ago•157 comments

My agent.md to improve LLM-assisted code quality

https://fabiensanglard.net/agent.md/index.html

337•ibobev•19h ago•144 comments

Anthropic candidates face blunt money question

https://www.axios.com/2026/08/24/scoop-anthropic-candidates-face-blunt-money-question

20•samizdis•1h ago•19 comments

New EU-wide product repair rules come into force

https://www.rte.ie/news/business/2026/0824/1588931-repair-rules/

170•austinallegro•7h ago•101 comments

Woman stranded in Spain after UK's eVisa system mistakes her for twin sister

https://www.theguardian.com/uk-news/2026/aug/24/woman-stranded-spain-uk-evisa-system-mistakes-twi...

88•giuliomagnifico•3h ago•68 comments

How Complex Systems Fail (1998)

https://how.complexsystems.fail/

338•shortcrct•21h ago•72 comments

The treasury bond mess: is this the demise of the US as a safe haven?

https://www.theguardian.com/business/2026/aug/24/treasury-bonds-trump-administration-debt

53•fittingopposite•2h ago•26 comments

Mourning Steve French

https://lwn.net/Articles/1090098/

31•mfrw•8h ago•0 comments

Malware infects Android-based automotive head unit firmware

https://securelist.com/android-head-unit-malware/121106/

249•campuscodi•1d ago•126 comments

AI Chip Architectures

https://www.jepeake.com/ai-chip-architectures

101•Finbarr•1d ago•36 comments

Fable and the end of the free lunch

https://www.dbreunig.com/2026/08/23/fable-the-end-of-moore-s-law.html

180•dbreunig•18h ago•167 comments

Over 5,200 Ebola cases recorded in Congo

https://www.afro.who.int/countries/democratic-republic-of-congo/news/over-5200-cases-recorded-dem...

79•simonebrunozzi•6h ago•33 comments

My favorite nonfiction books about cults, scams, and schemes

https://bookdna.com/best-books/nonfiction-about-cults-scams-and-schemes

250•bwb•23h ago•96 comments

Explain it to me like I'm ten

https://timharford.com/2026/08/explain-it-to-me-like-im-ten/

158•bookofjoe•18h ago•58 comments

Why Sal Khan't: On Learning by Making but Teaching by Telling

https://punyamishra.com/2026/04/16/why-sal-khant-on-learning-by-making-but-teaching-by-telling/

184•the-mitr•21h ago•106 comments