< prev1 / 10 more >

• 434AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury7 hours ago | 71 comments
• 689alpr.watch (alpr.watch)
  by theamk12 hours ago | 46 comments
• 492No Graphics API (sebastianaaltonen.com)
  by ryandrake9 hours ago | 27 comments
• 413Announcing the Beta release of ty (astral.sh)
  by gavide8 hours ago | 20 comments
• 134Midjourney is alemwjsl (aadillpickle.com)
  by aadillpickle6 days ago | 22 comments
• 366GPT Image 1.5 (openai.com)
  by charlierguo11 hours ago | 50 comments
• 551Pricing Changes for GitHub Actions (resources.github.com)
  by kevin-david11 hours ago | 149 comments
• 42Introduction to Software Development Tooling (2024) (bernsteinbear.com)
  by vismit20003 hours ago | 3 comments
• 101I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
  by pbowyer6 hours ago | 15 comments
• 184No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
  by MrAlex947 hours ago | 21 comments

< prev1 / 10 more >