Move with WASD and arrow keys; trim with Backspace; pause/play with the space bar; and run until a low-probability token using Enter.
This is a 17-million parameter transformer (about half the size of an iPhone's autocomplete) trained from scratch on basically all and only Timothy Williamson's work.
The custom vocabulary comprises 8,192 tokens. Inference is all implemented with JavaScript in your browser.