• In which I have Opinions about parsing and grammars | Simon Tatham
• chosenplaintext.ca: The radix 2^51 trick
• Prof. Scott Aaronson: Why Philosophers Should Care About Computational Complexity @ UT Austin - YouTube
• the algebra of dependent types – Tony Finch
• Mathematical Data Representation (ADT) Explained | Oliver Webb's Website
• [1807.05923] What is algebraic about algebraic effects and handlers? | arxiv