GoKawiil
Formally verifying Advent of Code using Dijkstra's program construction
(news.ycombinator.com)
1.
Today's top topics:
zdnet
prime day
amazon
amazon prime day
android authority
anthropic
slack
meta
macbook neo
sony