## Posts

### Grepping Dictionaries, English and Otherwise

### Who Wrote the One-Star Reviews of SICP?

### Logic in Reazon II: Generating Propositional Logic Proofs

### Logic in Reazon I: Generating Sentences of Modal Logic

### Proving the Second Incompleteness Theorem from the First

### Solving Logic Puzzles in Emacs with Reazon

### The Python `in` Keyword(s)

### Anonymous Recursive Functions

subscribe via RSS