< prev1/10 more >

• 361Typesafe AI raises $870M at $7.5B (typesafe.ai)
  by tosh15 hours ago | 45 comments
• 66Compiling Rust to readable C with Eurydice (lwn.net)
  by peter_d_sherman9 hours ago | 7 comments
• 17Food processing influences metabolism and brain activity (news.vt.edu)
  by gmays3 hours ago | 4 comments
• 142Pointing AI at archives found a forgotten meteorite, lost rhinos, and more (jessewaites.com)
  by piratebroadcast21 hours ago | 16 comments
• 56Clinical trial of a prion disease drug candidate begins enrolling participants (broadinstitute.org)
  by luu8 hours ago | 6 comments
• 13I tried to move my notes out of Emacs. I failed. Again (baty.net)
  by speckx2 days ago | 7 comments
• 72Show HN: Proton Drive for Linux (oss.lsantos.dev)
  by khaosdoctor1 day ago | 12 comments
• 105What mathematicians should know about the Lean Theorem Prover: reliability & AI (terrytao.wordpress.com)
  by matt_d14 hours ago | 8 comments
• 110Scam American companies are using to manipulate ingredient lists (twitter.com)
  by bilsbie15 hours ago | 26 comments
• 560YouTuber Says Cops Visited Him After He Built a Flock-Style Camera to Track Cops (gizmodo.com)
  by gumby11 hours ago | 33 comments

< prev1/10 more >