Posts

• 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