AI will make formal verification go mainstream
•martin.kleppmann.com
alpr.watch
•alpr.watch
No Graphics API
•www.sebastianaaltonen.com
Announcing the Beta release of ty
•astral.sh
VA Linux: The biggest dotcom IPO
•dfarq.homeip.net
Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
•plasticsoldierreview.com
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
•www.workatastartup.com
GPT Image 1.5
•openai.com