Posts
Some Advice for How to Make Emacs Tetris Harder
My First Emacs Commit
Real-World Uses for Dynamic Scope
The Bubble Sort Machine
Basic Web Scraping with Emacs
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