Hacker News new | ask | show | jobs
by bmc7505 394 days ago
The correct way to do this is with finite model theory but we're not there yet.