Tiled hacker news

Formal Methods and the Future of Programming

66 points - last Thursday at 10:07 PM

Source

Comments

Taikonerd today at 5:58 PM
Dupe of https://news.ycombinator.com/item?id=48526633