< prev1 / 10 more >

• 183AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury2 hours ago | 32 comments
• 566alpr.watch (alpr.watch)
  by theamk6 hours ago | 34 comments
• 310No Graphics API (sebastianaaltonen.com)
  by ryandrake4 hours ago | 18 comments
• 177Ty: A fast Python type checker and LSP (astral.sh)
  by gavide2 hours ago | 16 comments
• 262GPT Image 1.5 (openai.com)
  by charlierguo5 hours ago | 41 comments
• 37440 percent of fMRI signals do not correspond to actual brain activity (tum.de)
  by geox9 hours ago | 26 comments
• 385Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
  by recvonline9 hours ago | 68 comments
• 70Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
  by tempodox7 hours ago | 7 comments
• 75The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
  by thatoneengineer23 hours ago | 26 comments
• 28Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
  by nulbyte2 hours ago | 5 comments

< prev1 / 10 more >