Working notes on programming languages, semantics, computation, and mathematics. Entries remain open to revision.
Understanding developed while reading papers, books, talks, or lecture notes.
Focused explanations of mathematical or computational concepts.
Careful attempts to clarify ideas, tensions, motivations, and possible connections.