prev 1 / 10 more

• 370
  Typesafe AI raises $870M at $7.5B (typesafe.ai)
  by tosh16 hours ago 45 comments
• 76
  Compiling Rust to readable C with Eurydice (lwn.net)
  by peter_d_sherman9 hours ago 7 comments
• 318
  Show HN: Carrier-Explode: iPhone, Pixel and Galaxy carrier settings decoded (carrierexplode.com)
  by simplyalec15 hours ago 19 comments
• 67
  Clinical trial of a prion disease drug candidate begins enrolling participants (broadinstitute.org)
  by luu9 hours ago 6 comments
• 145
  Pointing AI at archives found a forgotten meteorite, lost rhinos, and more (jessewaites.com)
  by piratebroadcast21 hours ago 16 comments
• 17
  I tried to move my notes out of Emacs. I failed. Again (baty.net)
  by speckx2 days ago 11 comments
• 115
  What mathematicians should know about the Lean Theorem Prover: reliability & AI (terrytao.wordpress.com)
  by matt_d15 hours ago 8 comments
• 79
  Show HN: Proton Drive for Linux (oss.lsantos.dev)
  by khaosdoctor2 days ago 12 comments
• 117
  Scam American companies are using to manipulate ingredient lists (twitter.com)
  by bilsbie15 hours ago 28 comments
• 11
  Vegetative Electron Microscopy WTF? (2025) (sciencebase.com)
  by adunk1 day ago 1 comments

prev 1 / 10 more