https://emallson.net/ https://emallson.net/blog/ https://emallson.net/blog/a-beginners-companion-to-theorem-proving-in-lean/ 2023-12-27 https://emallson.net/blog/adding-new-capabilities-to-the-kiibohd-firmware/ 2016-01-13 https://emallson.net/blog/brew-wishlist-bfa/ 2018-02-12 https://emallson.net/blog/docopt/ 2017-09-07 https://emallson.net/blog/history-gladiator-league/ 2020-07-25 https://emallson.net/blog/jmp-league-wrapup/ 2020-08-19 https://emallson.net/blog/nodejs-repl-eval/ 2014-06-01 https://emallson.net/blog/page/1/ https://emallson.net/blog/page/2/ https://emallson.net/blog/raf-is-flawed/ 2014-04-05 https://emallson.net/blog/rusting-academic-code/ 2017-02-23 https://emallson.net/blog/thoughts-on-xcom-enemy-within-and-xcom-the-long-war/ 2016-01-05 https://emallson.net/portfolio/ https://emallson.net/portfolio/img/