GoKawiil
Formally verifying Advent of Code using Dijkstra's program construction
(news.ycombinator.com)
1.
Today's top topics:
prime day
zdnet
android authority
meta
amazon prime day
amazon
google
samsung
rockstar games
apple