· software
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...
-
- · software
Formally verifying Advent of Code using Dijkstra's program construction
Article URL: https://haripm.com/blog/aoc-day-3-without-thinking/ Comments URL: https://news.ycombinator.com/item?id=46138226 Points: 7 Comments: 0...
- · software
Advent of Code 2025 is Here!
Join the Advent of Code 2025 Hey fellow adventurers! Every year on adventofcode.comhttps://adventofcode.com you can sharpen your coding skills with some brain‑...