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