Blog

Patterns Look Different When a Machine Has to Actually Check Them

How regular expressions formally describe patterns, and how DFAs — the simplest possible machines — actually verify them, one character at a time

... 3/16/26 Theory of Computation

What Can Computers Actually Solve, and How Do We Know?

An intro to the theory of computation — decision problems, formal languages, and regular expressions explained through the lens of what machines can and cannot do

... 3/16/26 Theory of Computation