< prev 2 / 10 more >

• 371Typesafe AI raises $870M at $7.5B (typesafe.ai)
  by tosh16 hours ago | 45 comments
• 78Compiling Rust to readable C with Eurydice (lwn.net)
  by peter_d_sherman10 hours ago | 7 comments
• 321Show HN: Carrier-Explode: iPhone, Pixel and Galaxy carrier settings decoded (carrierexplode.com)
  by simplyalec15 hours ago | 19 comments
• 68Clinical trial of a prion disease drug candidate begins enrolling participants (broadinstitute.org)
  by luu9 hours ago | 6 comments
• 145Pointing AI at archives found a forgotten meteorite, lost rhinos, and more (jessewaites.com)
  by piratebroadcast21 hours ago | 16 comments
• 18I tried to move my notes out of Emacs. I failed. Again (baty.net)
  by speckx2 days ago | 11 comments
• 115What mathematicians should know about the Lean Theorem Prover: reliability & AI (terrytao.wordpress.com)
  by matt_d15 hours ago | 8 comments
• 79Show HN: Proton Drive for Linux (oss.lsantos.dev)
  by khaosdoctor2 days ago | 12 comments
• 119Scam American companies are using to manipulate ingredient lists (twitter.com)
  by bilsbie15 hours ago | 28 comments
• 571YouTuber Says Cops Visited Him After He Built a Flock-Style Camera to Track Cops (gizmodo.com)
  by gumby12 hours ago | 33 comments

< prev 2 / 10 more >