Paul Buchheit - The Birth of Google's Spell Corrector (via searchlore.ai)