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:

· · Web · 0 · 0 · 0
Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!