Posting Puzzle is a browser-based game where players match envelopes and stamps by solving instances of Post's Correspondence Problem, a classic computational problem named after Emil Post. The game features twelve puzzles of increasing difficulty, with the first six solvable by hand and the last six drawn from research literature to demonstrate unsolvable instances.