Follow

What a fascinating slide set:

therisingsea.org/notes/talk-ll

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: news.ycombinator.com/item?id=1

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

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