YHacker Newsscreenshots

front page past explore tools

Front page
Wednesday, 3 December 2025
Formally verifying Advent of Code using Dijkstra's program construction

Screenshot pending…

Formally verifying Advent of Code using Dijkstra's program construction

More from haripm.com →

Points: 41
Comments: 5
Posted: 2025-12-03 by seafoamteal

Screenshots by Urlbox. Free to reuse with a link back. Not affiliated with Y Combinator.