Miscellaneous

• [February 2026] Jetlag: The Game Hide and Seek narrative tension analysis
• [August 2024] Mirror of Mallory Ladd's NSF GRFP Advice page, original (defunct) link here
• [March 2023] Command line interface for LLMs that I use instead of the web UI
• [February 2023] Basic cvc5 tutorial
• [August 2021] LaTeX tutorial, created for PROMYS students new to LaTeX