emallson.net - Blog

A Beginner's Companion to Theorem Proving in Lean 4

Wrapping Up the JMP Gladiator League

A History of the Gladiator LeagueBot

Brewmaster: Legion in Review & BfA Wishlist

Got Parameters? Just Use Docopt

Rusting My (Academic) Code

Adding New Capabilities to Kiibohd

Thoughts on XCOM: Enemy Within and XCOM: Long War

Evaluating JavaScript in a Node.js REPL from an Emacs Buffer

World of Warcraft's Recruit-a-Friend Reward Structure is Flawed