Smith writes utilities for specialists: vimling handles IPA and diacritics in vim, grb serves Greek biblical texts via CLI, and he's tackled quantifier scope through game theory. 19k stars across his work reflects someone solving real problems at the intersection of language and logic.
Vimling. I made Vim scripts that let you type accents and phonetic characters easily.
54Grb. I built a command-line tool for searching ancient Greek Bible texts.
99Markdown CV. I made a tool that turns a single markdown file into a website and resume.
102Critique of Reason. I wrote a paper questioning what economists mean by rational decision-making.
38Scope Without Syntax. I wrote a paper showing that sentence ambiguity comes from how people think, not grammar.
16Surf. I made a minimal web browser built for tinkering.
67