< prev1 / 10 more >

• 103Prediction: AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury1 hour ago | 19 comments
• 544alpr.watch (alpr.watch)
  by theamk5 hours ago | 33 comments
• 275No Graphics API (sebastianaaltonen.com)
  by ryandrake3 hours ago | 15 comments
• 106Ty: A fast Python type checker and LSP (astral.sh)
  by gavide1 hour ago | 8 comments
• 229GPT Image 1.5 (openai.com)
  by charlierguo4 hours ago | 39 comments
• 36040 percent of fMRI signals do not correspond to actual brain activity (tum.de)
  by geox8 hours ago | 26 comments
• 366Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
  by recvonline8 hours ago | 63 comments
• 19Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
  by nulbyte1 hour ago | 2 comments
• 236Thin desires are eating life (joanwestenberg.com)
  by mitchbob21 hours ago | 34 comments
• 67The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
  by thatoneengineer22 hours ago | 24 comments

< prev1 / 10 more >