Posts

• Jan 14, 2019

  Some Advice for How to Make Emacs Tetris Harder

• Dec 20, 2018

  My First Emacs Commit

• Dec 10, 2018

  Real-World Uses for Dynamic Scope

• Nov 2, 2018

  The Bubble Sort Machine

• Oct 17, 2018

  Basic Web Scraping with Emacs

• Oct 16, 2018

  Grepping Dictionaries, English and Otherwise

• Oct 4, 2018

  Who Wrote the One-Star Reviews of SICP?

• Aug 15, 2018

  Logic in Reazon II: Generating Propositional Logic Proofs

• Aug 14, 2018

  Logic in Reazon I: Generating Sentences of Modal Logic

• Aug 13, 2018

  Proving the Second Incompleteness Theorem from the First

• Aug 7, 2018

  Solving Logic Puzzles in Emacs with Reazon

• Aug 5, 2018

  The Python `in` Keyword(s)

• Aug 4, 2018

  Anonymous Recursive Functions

subscribe via RSS