< prev1 / 10 more >

• 226AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury2 hours ago | 41 comments
• 574alpr.watch (alpr.watch)
  by theamk7 hours ago | 35 comments
• 344No Graphics API (sebastianaaltonen.com)
  by ryandrake4 hours ago | 20 comments
• 211Ty: A fast Python type checker and LSP (astral.sh)
  by gavide3 hours ago | 18 comments
• 279GPT Image 1.5 (openai.com)
  by charlierguo5 hours ago | 42 comments
• 33No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
  by MrAlex941 hour ago | 4 comments
• 38140 percent of fMRI signals do not correspond to actual brain activity (tum.de)
  by geox10 hours ago | 26 comments
• 400Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
  by recvonline10 hours ago | 71 comments
• 131MIT professor shot at his Massachusetts home dies (bbc.com)
  by mosura2 hours ago | 10 comments
• 8Dafny: Verification-Aware Programming Language (dafny.org)
  by handfuloflight1 hour ago | 1 comments

< prev1 / 10 more >