Posts
-
Lispier Rust with Generics
-
Remacs FAQ
-
Propositional Logic Theorems as Types (in Idris)
-
The Magic SysRq Key
-
The Story of XEmacs
-
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