Formally verifying Advent of Code using Dijkstra's program construction

Published: 1 day ago (December 3, 2025 at 01:39 PM EST)

1 min read

Source: Hacker News

Article Details

Article URL: https://haripm.com/blog/aoc-day-3-without-thinking/
Comments URL: https://news.ycombinator.com/item?id=46138226
Points: 7

Most technical problems are people problems

I once worked at a company which had an enormous amount of technical debt—millions of lines of code, no unit tests, based on frameworks that were well over a de...

Why Linux system design interview courses demand a different kind of engineering thinking

When I first started preparing for system design interviews, Linux was the elephant in the room. Sure, everyone talks about distributed systems and scalability,...

Why I Bet My Engineering Career on .NET 9 (And Left Legacy PHP Behind)

My Journey from Legacy PHP When I started my journey in software engineering, I spent a lot of time in the trenches of legacy web development. I maintained spa...

Advent of Code 2025 - December 4th

!Cover image for Advent of Code 2025 - December 4thhttps://media2.dev.to/dynamic/image/width=1000,height=420,fit=cover,gravity=auto,format=auto/https%3A%2F%2Fde...

Article Details

Related posts

Most technical problems are people problems

Why Linux system design interview courses demand a different kind of engineering thinking

Why I Bet My Engineering Career on .NET 9 (And Left Legacy PHP Behind)

Advent of Code 2025 - December 4th