- 197SeL4 security proofs now complete on AArch64(proofcraft.systems)
by snvzz 2 days ago | 53 comments - 187FDA clears blood test to aid evaluation for Alzheimer's disease(medicine.washu.edu)
by dabinat 2 days ago | 105 comments - 335OpenAI: GPT 5.6 Sol price reduction (until at least Nov 21)(developers.openai.com)
by tosh 2 days ago | 335 comments - 573What Is a Harness?(earendil.com)
by tosh 3 days ago | 179 comments - 51Hot Chips 2026: Applying High Bandwidth Flash (HBF)(chipsandcheese.com)
by ksec 2 days ago | 19 comments - 4Key Recovery from Residue-Confined Errors in the Pradhan CRT-RLWE Construction(eprint.iacr.org)
by lknik 13 hours ago | discuss - 157The Sloppification of Peptides(henryaj.substack.com)
by henryaj 3 days ago | 154 comments - 80Mourning Steve French(lwn.net)
by mfrw 2 days ago | 3 comments - 195Octopus intelligence may be related to never-before-seen mutation(smithsonianmag.com)
by bookofjoe 2 days ago | 175 comments - 294Anna's Archive Owes $340 Million, Lost Several Domains, but It's Still Online(torrentfreak.com)
by Brajeshwar 2 days ago | 184 comments - 28MySQL CDC to BigQuery: what periodic syncs miss, and how binlog avoids it(erathos.com)
by gpaulbagetti 17 hours ago | 9 comments - 14Anduril is aquiring startups like crazy, this explains why(startupwiki.substack.com)
by skiski 11 hours ago | discuss - 406A website for debloated open source alternatives(debloat.dev)
by ryanvogel 3 days ago | 128 comments - 4ArcBrush 1.6: Native Node-Based Image Editor (Windows, Mac, & Linux)(arcbrush.com)
by albiabia 14 hours ago | discuss - 57Show HN: A Modern GUI Library for Ada: CSS Styling, XML UI, SDL3(github.com)
by ovenpasta 2 days ago | 23 comments - 6Back to the Future: Hypertext the Way It Used to Be(xanadu.net)
by GaryBluto 14 hours ago | discuss - 26Show HN: Flostep – Diagrams people can actually walk through(flostep.dev)
by pandurang90 a day ago | 15 comments - 8US consumer spending on Apple's App Store fell for the first time in a decade(ft.com)
by nreece 6 hours ago | 2 comments - 414My agent.md to improve LLM-assisted code quality(fabiensanglard.net)
by ibobev 3 days ago | 175 comments - 3The AI-coding stack: a map for a landscape that won't sit still(mineti.dev)
by mineti 15 hours ago | discuss - 177One corner of China’s internet is insisting that the Tang Dynasty never existed(cnn.com)
by related a day ago | 173 comments - 37Man Charged with 3 Felonies for Breaking 3D-Printed 'Decoy' Flock Camera(404media.co)
by monksy 14 hours ago | 25 comments - 736Andreessen Horowitz is investing billions into a bleak future(modelrepublic.org)
by reasonableklout 2 days ago | 411 comments - 55Agent Lightning v1.0(github.com)
by qainsights 2 days ago | 9 comments - 73Agent Is Not the Model(code.joejag.com)
by joejag 2 days ago | 34 comments - 359IPFS Maintainers Winding Down(ipshipyard.com)
by iand 2 days ago | 203 comments - 68We are not going anywhere(gist.github.com)
by omeid2 2 days ago | 98 comments - 389Google Workspace thinks my domain is an email provider (2025)(blog.elis.cc)
by el1s7 3 days ago | 154 comments - 480To become a better writer, read as much as you can(nappertime.com)
by andsoitis 3 days ago | 264 comments - 127Anger, Anxiety and Agency(lucumr.pocoo.org)
by lumpa 2 days ago | 130 comments