Stuff I'm working/worked on, find cool, or just want to talk about.

Complexity Analysis and Hidden Assumptions

A lesson in Turing machines, complexity theory, and a note to myself to be careful for implicit assumptions.

Read more.

\[\Gamma \cup \{A\} \vdash B\] \[\Gamma \vdash A \to B \]

The Deduction Theorem

Or, an introduction to the metatheory of propositional logic.

Read more.

regpy

Creating and plotting regression models in Python made as quick and easy as possible.

Read more.

N-gram-based Sentence Generation

Before deep learning, n-gram models were the common statistical method for generating surprisingly grammatical nonsense.

Read more.

Huffman Compression

In 1952, David Huffman Sc.D. invented a simple, yet powerful, method of encoding information with minimal data usage. Today, it is most commonly used as a method for lossless data compression.

Read more.