• 58 SeL4 security proofs now complete on AArch64 (proofcraft.systems)
  by snvzz 2 hours ago | 13 comments
• 262 I were 17, I'd learn how to build LLMs from scratch (twitter.com)
  by bilsbie 17 hours ago | 379 comments
• 1107 Everything I own, owned (schlarp.com)
  by schlarpc 15 hours ago | 296 comments
• 55 Ask HN: Why do corporate failures always seem to punish the wrong people? ()
  by mittermayr an hour ago | 30 comments   ask
• 91 FDA clears blood test to aid evaluation for Alzheimer's disease (medicine.washu.edu)
  by dabinat 7 hours ago | 29 comments
• 199 Executable Is a SQLite Database (fzakaria.com)
  by setheron 9 hours ago | 26 comments
• 54 The Future Belongs to the Weird (essays.georgestrakhov.com)
  by georgestrakhov 5 hours ago | 27 comments
• 615 Anthropic's best AI model struggles to attract users as cheaper tools thrive (ft.com)
  by naves 19 hours ago | 543 comments
• 457 How I find problems to solve as a staff engineer (lalitm.com)
  by vanpra 18 hours ago | 136 comments
• 62 Fast drilldown dashboards from a single Parquet file (hamiltonulmer.com)
  by v3gas 5 hours ago | 1 comments
• 74 OCR It – pull text out of un-copyable documents for your LLM (github.com)
  by thiagolima 7 hours ago | 15 comments
• 24 Agent Is Not the Model (code.joejag.com)
  by joejag 2 hours ago | 3 comments
• 333 Andreessen Horowitz is investing billions into a bleak future (modelrepublic.org)
  by reasonableklout 6 hours ago | 115 comments
• 230 I built a low-latency AI companion that plays Skyrim with me (pantel.is)
  by pantelisk 14 hours ago | 42 comments
• 5 Why older tech is sometimes safer from hackers (bbc.com)
  by tchalla 2 hours ago | 1 comments
• 23 Anthropic candidates face blunt money question (axios.com)
  by samizdis an hour ago | 28 comments
• 340 Google Workspace thinks my domain is an email provider (2025) (blog.elis.cc)
  by el1s7 18 hours ago | 119 comments
• 489 What Is a Harness? (earendil.com)
  by tosh a day ago | 157 comments
• 340 My agent.md to improve LLM-assisted code quality (fabiensanglard.net)
  by ibobev 19 hours ago | 145 comments
• 93 Woman stranded in Spain after UK's eVisa system mistakes her for twin sister (theguardian.com)
  by giuliomagnifico 4 hours ago | 72 comments
• 173 New EU-wide product repair rules come into force (rte.ie)
  by austinallegro 8 hours ago | 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 | 34 comments
• 36 Mourning Steve French (lwn.net)
  by mfrw 9 hours ago | discuss
• 339 How Complex Systems Fail (1998) (how.complexsystems.fail)
  by shortcrct a day ago | 72 comments
• 251 Malware infects Android-based automotive head unit firmware (securelist.com)
  by campuscodi a day ago | 127 comments
• 102 AI Chip Architectures (jepeake.com)
  by Finbarr a day ago | 36 comments
• 185 Fable and the end of the free lunch (dbreunig.com)
  by dbreunig 18 hours ago | 170 comments
• 85 Over 5,200 Ebola cases recorded in Congo (afro.who.int)
  by simonebrunozzi 6 hours ago | 36 comments
• 252 My favorite nonfiction books about cults, scams, and schemes (bookdna.com)
  by bwb a day ago | 100 comments
• 159 Explain it to me like I'm ten (timharford.com)
  by bookofjoe 19 hours ago | 58 comments