  This is a brief introduction to link homology theories that categorify
Reshetikhin--Turaev $\mathsf{SL}(N)$-quantum link invariants. A recently
discovered surprising connection between finite state automata and Boolean
TQFTs in dimension one is explained as a warm-up.
