Programming Language notes, thoughts, and code