ParentFull threadrbolkey·I think you're confusing the wrong Boyer. Robert Boyer is the namesake for Boyer-Moore. https://en.wikipedia.org/wiki/Robert_S._BoyerView on HN