< prev1 / 10 more >

• 58SeL4 security proofs now complete on AArch64 (proofcraft.systems)
  by snvzz1 hour ago | 4 comments
• 261I were 17, I'd learn how to build LLMs from scratch (twitter.com)
  by bilsbie16 hours ago | 93 comments
• 1105Everything I own, owned (schlarp.com)
  by schlarpc14 hours ago | 79 comments
• 55Ask HN: Why do corporate failures always seem to punish the wrong people?
  by mittermayr1 hour ago | 17 comments
• 90FDA clears blood test to aid evaluation for Alzheimer's disease (medicine.washu.edu)
  by dabinat6 hours ago | 8 comments
• 198Executable Is a SQLite Database (fzakaria.com)
  by setheron8 hours ago | 19 comments
• 54The Future Belongs to the Weird (essays.georgestrakhov.com)
  by georgestrakhov4 hours ago | 23 comments
• 614Anthropic's best AI model struggles to attract users as cheaper tools thrive (ft.com)
  by naves19 hours ago | 114 comments
• 457How I find problems to solve as a staff engineer (lalitm.com)
  by vanpra18 hours ago | 56 comments
• 61Fast drilldown dashboards from a single Parquet file (hamiltonulmer.com)
  by v3gas5 hours ago | 1 comments

< prev1 / 10 more >