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/ - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/
