What a fascinating slide set:
The logic part [ = meat of the talk] flew right above my head, but surely this approach sounds interesting: If we equip RNNs with memory, we achieve "differentiable Turing machine", and then *some logic/category theory magicks called "linear logic" happens?!?!* and you find yourself equipped with a differentiable version of functional programming.
Discussion and arxiv links on HN: https://news.ycombinator.com/item?id=16255612
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!