github.com
https://lukeplant.me.uk/blog/posts/breaking-provably-correct...
Reply on news.ycombinator.com