< prev1 / 10 more >

• 195AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury2 hours ago | 37 comments
• 571alpr.watch (alpr.watch)
  by theamk6 hours ago | 34 comments
• 327No Graphics API (sebastianaaltonen.com)
  by ryandrake4 hours ago | 20 comments
• 196Ty: A fast Python type checker and LSP (astral.sh)
  by gavide2 hours ago | 17 comments
• 269GPT Image 1.5 (openai.com)
  by charlierguo5 hours ago | 41 comments
• 37640 percent of fMRI signals do not correspond to actual brain activity (tum.de)
  by geox9 hours ago | 26 comments
• 389Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
  by recvonline9 hours ago | 69 comments
• 121MIT professor shot at his Massachusetts home dies (bbc.com)
  by mosura1 hour ago | 9 comments
• 73Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
  by tempodox8 hours ago | 7 comments
• 31Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
  by nulbyte2 hours ago | 5 comments

< prev1 / 10 more >