Hacker News new | ask | show | jobs
by rms 6183 days ago
Sounds damn close to undecidable.