Live data from Hacker News

Neural Networks, Types, and Functional Programming (2015)

colah.github.io

11–13 of 13 posts

Re: Neural Networks, Types, and Functional Programming (2015)

#11
post #9

The examples are odd because he doesn't incorporate any notion of differentiability. So a Generating RNN is not quite like foldr, since foldr has no notion of differentiability. One needs to show examples that pulls in some kind of automatic-differentiation capability.

When you pass a differentiable function into fold -- or most higher order functions, for that matter -- you get a function that is differentiable on everything but a measure zero set.

The mechanics of how you compute the derivatives are separate from this. Obviously, the efficient way is to use backprop (reverse mode AD), as we always do in deep learning. But you could also use discrete derivative approximations. The point is that the resulting function is differentiable, which is independent of how you compute the derivatives.

Re: Neural Networks, Types, and Functional Programming (2015)

#13

Note that the article has a comment by Yann LeCun (hopefully it's not an impersonator). You may also be interested in Differentiable Neural Computers: - https://deepmind.com/blog/differentiable-neural-computers/ - https://github.com/deepmind/dnc

Following the link from Yann LeCun's comment in the parent post one can find this neat library: DiffSharp http://diffsharp.github.io/DiffSharp/
Post reply on HN