Recently, there was some discussion of linear logic that sent me down a hole where I found this lecture: https://www.youtube.com/watch?v=IW4LjjAWrO4&ab_channel=DanielMurfet I am really enjoying it. What is the derivative of a Turing machine? -- Sent from: http://friam.471366.n2.nabble.com/