Something Something Programming | Mostly thoughts about programming. Maybe other stuff too.

Posts

Aug 1, 2019
Book Review: The Little Typer
Jun 10, 2019
A Correctness Proof for a Simple Compiler in Idris
Jun 4, 2019
Python's `RecursionError` is a Misnomer
Jun 3, 2019
Recursion Error While Handling Recursion Error
May 17, 2019
I Got a Knuth Check for 0x$3.00
Apr 18, 2019
Lispier Rust with Generics
Apr 16, 2019
Remacs FAQ
Apr 10, 2019
Propositional Logic Theorems as Types in Idris
Mar 19, 2019
The Magic SysRq Key
Feb 19, 2019
The Story of XEmacs
Jan 14, 2019
Some Advice for How to Make Emacs Tetris Harder
Dec 20, 2018
My First Emacs Commit
Dec 10, 2018
Real-World Uses for Dynamic Scope
Nov 2, 2018
The Bubble Sort Machine
Oct 17, 2018
Basic Web Scraping with Emacs
Oct 16, 2018
Grepping Dictionaries, English and Otherwise
Oct 4, 2018
Who Wrote the One-Star Reviews of SICP?
Aug 15, 2018
Logic in Reazon II: Generating Propositional Logic Proofs
Aug 14, 2018
Logic in Reazon I: Generating Sentences of Modal Logic
Aug 13, 2018
Proving the Second Incompleteness Theorem from the First
Aug 7, 2018
Solving Logic Puzzles in Emacs with Reazon
Aug 5, 2018
The Python `in` Keyword(s)
Aug 4, 2018
Anonymous Recursive Functions