< prev1 / 10 more >

• 240AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury3 hours ago | 42 comments
• 587alpr.watch (alpr.watch)
  by theamk7 hours ago | 35 comments
• 364No Graphics API (sebastianaaltonen.com)
  by ryandrake5 hours ago | 20 comments
• 229Announcing the Beta release of ty (astral.sh)
  by gavide3 hours ago | 20 comments
• 284GPT Image 1.5 (openai.com)
  by charlierguo6 hours ago | 43 comments
• 447Pricing Changes for GitHub Actions (resources.github.com)
  by kevin-david7 hours ago | 115 comments
• 44No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
  by MrAlex942 hours ago | 7 comments
• 25Midjourney is alemwjsl (aadillpickle.com)
  by aadillpickle5 days ago | 7 comments
• 38540 percent of fMRI signals do not correspond to actual brain activity (tum.de)
  by geox10 hours ago | 26 comments
• 19I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
  by pbowyer1 hour ago | 0 comments

< prev1 / 10 more >