Hacker News 2025-12-17
hackernews
2025-12-17 07:00
Hacker News 2025-12-17
  1. AI will make formal verification go mainstream
    original article — hacker news
  2. alpr.watch
    original article — hacker news
  3. No Graphics API
    original article — hacker news
  4. Announcing the Beta release of ty
    original article — hacker news
  5. Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
    original article — hacker news
  6. VA Linux: The biggest dotcom IPO
    original article — hacker news
  7. GPT Image 1.5
    original article — hacker news
  8. Pricing Changes for GitHub Actions
    original article — hacker news
  9. No AI* Here – A Response to Mozilla's Next Chapter
    original article — hacker news
  10. Introduction to Software Development Tooling (2024)
    original article — hacker news
#hn #hackernews #ycombinator
Piilota kommentit Kommentit (0)

Sinun täytyy kirjautua sisään ennen kuin voit kommentoida.