Posts
-
An Ounce of Riot Prevention is Worth a Pound of Riot Cure
-
A Mathematical Fact from a Busy Beaver
-
signed char lotte
-
Lin Recurrence and Lin's Algorithm
-
Blanking Beavers
-
The Spaghetti Code Conjecture
-
Halt, Quasihalt, Recur
-
The Lin-Rado Busy Beaver Proof
-
A Christmas Tautology
-
Is the Busy Beaver Sequence Well-Defined?
-
Beeping Busy Beaver Results
-
The Afterlife Behavior of Quasihalting Turing Machines
-
Turing Machine Notation and Normal Form
-
Are Turing Machines Programmable?
-
Beeping Busy Beavers
-
A Makefile for Getting Dressed
-
Derek Chauvin Did This
-
The Pronunciation of 'Kernighan', according to Foreign-Language Wikipedia
-
Idris Algebra
-
Why Aren't Idris Interfaces Verified?
-
Answers to Questions about Chinese Characters and Dictionaries
-
A Partly-Successful Attempt to Look Up a Chinese Character
-
Dependently-Typed Proofs are Code, and Repetitive Code is Bad, So...
-
The Disco Fallacy
-
Material Implication is Not Paradoxical
-
Modified Emacs Mac Modifiers
-
Four Years of Twenty-Five Days of Christmas Movies
-
Emacs Lisp Challenge: flaky-if
-
Book Review: The Little Typer
-
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