< prev1 / 10 more >

• 44SeL4 security proofs now complete on AArch64 (proofcraft.systems)
  by snvzz1 hour ago | 4 comments
• 43Omakase Computing (learn.omacom.io)
  by Bluestein1 hour ago | 12 comments
• 245I were 17, I'd learn how to build LLMs from scratch (twitter.com)
  by bilsbie16 hours ago | 88 comments
• 1086Everything I own, owned (schlarp.com)
  by schlarpc14 hours ago | 79 comments
• 84FDA clears blood test to aid evaluation for Alzheimer's disease (medicine.washu.edu)
  by dabinat6 hours ago | 8 comments
• 49The Future Belongs to the Weird (essays.georgestrakhov.com)
  by georgestrakhov4 hours ago | 22 comments
• 181Executable Is a SQLite Database (fzakaria.com)
  by setheron8 hours ago | 17 comments
• 602Anthropic's best AI model struggles to attract users as cheaper tools thrive (ft.com)
  by naves18 hours ago | 111 comments
• 13Agent Is Not the Model (code.joejag.com)
  by joejag1 hour ago | 0 comments
• 55Fast drilldown dashboards from a single Parquet file (hamiltonulmer.com)
  by v3gas4 hours ago | 1 comments

< prev1 / 10 more >