## Posts

### A Correctness Proof for a Simple Compiler in Idris

### Python's `RecursionError` is a Misnomer

### Recursion Error While Handling Recursion Error

### I Got a Knuth Check for 0x$3.00

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