< prev1 / 10 more >

• 484AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury9 hours ago | 84 comments
• 705alpr.watch (alpr.watch)
  by theamk13 hours ago | 49 comments
• 533No Graphics API (sebastianaaltonen.com)
  by ryandrake11 hours ago | 27 comments
• 459Announcing the Beta release of ty (astral.sh)
  by gavide9 hours ago | 20 comments
• 28VA Linux: The biggest dotcom IPO (dfarq.homeip.net)
  by giuliomagnifico5 days ago | 2 comments
• 387GPT Image 1.5 (openai.com)
  by charlierguo12 hours ago | 50 comments
• 583Pricing Changes for GitHub Actions (resources.github.com)
  by kevin-david13 hours ago | 153 comments
• 226No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
  by MrAlex948 hours ago | 23 comments
• 51Introduction to Software Development Tooling (2024) (bernsteinbear.com)
  by vismit20005 hours ago | 3 comments
• 125I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
  by pbowyer7 hours ago | 20 comments

< prev1 / 10 more >