Proving that C++'s grammar is undecidable
20 by vitaut | 5 comments on Hacker News.