This post includes some links to notes about various topics related (sometimes tangentially) to programming languages. These are very rough, often unfinished, and not really meant for public consumption. However, I don't care if others look at them. There is no personal or confidential information on these pages.
The TypeFunc list of resources (about type theory, functional programming, and related subjects) is my most popular github repository.