Hacker News new | ask | show | jobs
Let's Prove Random Games Are Winnable (with Formal Methods) (hillelwayne.com)
2 points by DanielRibeiro 2905 days ago