4 ms·
Eh, differentiable programming is a lot simpler and more specific than declarative programming, and only marginally a "paradigm". It just means you can take any
by ummonk 7y ago
Eh, differentiable programming is a lot simpler and more specific than declarative programming, and only marginally a "paradigm". It just means you can take any (reasonably deterministic and parametrized) function specified in the programming language and calculate its partial derivative wrt some parameter.
- downerending 7y agoIs the presumption that these parameters are floats, or at least numeric? It seems like if I took the functions from some random program (e.g., GNU diff), most would not be meaningfully differentiable. Or perhaps I'm missing something?
- lalord 7y agoYeah, they have to be semantically continuous, ie floats but not ints.
- ummonk 7y agoYes, the parameters you're differentiating with respect to need to be floats. Though there might be potential for extending the frameworks to e.g. differential cryptanalysis - I'm not knowledgeable enough about it to say how much differential cryptanalysis can be done programmatically.