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