Tiling the plane with polyominoes is algorithmically undecidable (1970) | Hacker News Reader