## 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