Hacker News new | ask | show | jobs
by MattPalmer1086 1453 days ago
Sure, formal proof would be a lot harder. I just didn't find it quite as surprising that it works as the article implied.