< prev1 / 10 more >

• 211AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury2 hours ago | 40 comments
• 573alpr.watch (alpr.watch)
  by theamk6 hours ago | 34 comments
• 333No Graphics API (sebastianaaltonen.com)
  by ryandrake4 hours ago | 20 comments
• 206Ty: A fast Python type checker and LSP (astral.sh)
  by gavide2 hours ago | 18 comments
• 274GPT Image 1.5 (openai.com)
  by charlierguo5 hours ago | 42 comments
• 38040 percent of fMRI signals do not correspond to actual brain activity (tum.de)
  by geox10 hours ago | 26 comments
• 393Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
  by recvonline9 hours ago | 70 comments
• 19No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
  by MrAlex941 hour ago | 3 comments
• 127MIT professor shot at his Massachusetts home dies (bbc.com)
  by mosura2 hours ago | 10 comments
• 279Thin desires are eating life (joanwestenberg.com)
  by mitchbob23 hours ago | 39 comments

< prev1 / 10 more >