< prev1 / 10 more >

• 398AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury6 hours ago | 65 comments
• 667alpr.watch (alpr.watch)
  by theamk11 hours ago | 45 comments
• 464No Graphics API (sebastianaaltonen.com)
  by ryandrake8 hours ago | 27 comments
• 382Announcing the Beta release of ty (astral.sh)
  by gavide7 hours ago | 20 comments
• 107Midjourney is alemwjsl (aadillpickle.com)
  by aadillpickle6 days ago | 20 comments
• 154No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
  by MrAlex945 hours ago | 19 comments
• 349GPT Image 1.5 (openai.com)
  by charlierguo9 hours ago | 49 comments
• 524Pricing Changes for GitHub Actions (resources.github.com)
  by kevin-david10 hours ago | 144 comments
• 23Why many Asian megacities are miserable places (economist.com)
  by andsoitis1 hour ago | 9 comments
• 29CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024) (bernsteinbear.com)
  by vismit20002 hours ago | 2 comments

< prev1 / 10 more >