< prev1 / 10 more >

• 299AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury4 hours ago | 55 comments
• 611alpr.watch (alpr.watch)
  by theamk8 hours ago | 41 comments
• 404No Graphics API (sebastianaaltonen.com)
  by ryandrake6 hours ago | 23 comments
• 295Announcing the Beta release of ty (astral.sh)
  by gavide4 hours ago | 20 comments
• 308GPT Image 1.5 (openai.com)
  by charlierguo7 hours ago | 45 comments
• 83No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
  by MrAlex943 hours ago | 10 comments
• 1Sei AI (YC W22) Is Hiring (ycombinator.com)
  31 minutes ago |
• 50Midjourney is alemwjsl (aadillpickle.com)
  by aadillpickle6 days ago | 9 comments
• 482Pricing Changes for GitHub Actions (resources.github.com)
  by kevin-david8 hours ago | 140 comments
• 57I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
  by pbowyer2 hours ago | 8 comments

< prev1 / 10 more >