AttoChess is a complete, playable chess program for 16-bit x86 DOS in 272 bytes. Play it in the browser, read the source, and replay the proof evidence.