Philip Goff and Panpsychism

Quick history of the decision problem

Russel's Theory of Descriptions

Musical modes

Proof that palindromes are not a regular language

Fibers are (not) lightweight threads

Monads as applicative functors