< prev1 / 10 more >

• 136Prediction: AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury1 hour ago | 24 comments
• 551alpr.watch (alpr.watch)
  by theamk5 hours ago | 33 comments
• 289No Graphics API (sebastianaaltonen.com)
  by ryandrake3 hours ago | 16 comments
• 137Ty: A fast Python type checker and LSP (astral.sh)
  by gavide2 hours ago | 11 comments
• 240GPT Image 1.5 (openai.com)
  by charlierguo4 hours ago | 41 comments
• 36140 percent of fMRI signals do not correspond to actual brain activity (tum.de)
  by geox9 hours ago | 26 comments
• 371Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
  by recvonline8 hours ago | 65 comments
• 19Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
  by nulbyte1 hour ago | 3 comments
• 62Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
  by tempodox7 hours ago | 7 comments
• 244Thin desires are eating life (joanwestenberg.com)
  by mitchbob22 hours ago | 35 comments

< prev1 / 10 more >