< prev1 / 10 more >

• 355AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury5 hours ago | 60 comments
• 643alpr.watch (alpr.watch)
  by theamk10 hours ago | 42 comments
• 439No Graphics API (sebastianaaltonen.com)
  by ryandrake7 hours ago | 27 comments
• 348Announcing the Beta release of ty (astral.sh)
  by gavide6 hours ago | 20 comments
• 84Midjourney is alemwjsl (aadillpickle.com)
  by aadillpickle6 days ago | 17 comments
• 125No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
  by MrAlex944 hours ago | 16 comments
• 330GPT Image 1.5 (openai.com)
  by charlierguo8 hours ago | 48 comments
• 13CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024) (bernsteinbear.com)
  by vismit20001 hour ago | 0 comments
• 503Pricing Changes for GitHub Actions (resources.github.com)
  by kevin-david9 hours ago | 141 comments
• 1Sei AI (YC W22) Is Hiring (ycombinator.com)
  1 hour ago |

< prev1 / 10 more >