Difference between revisions of "Diffing"
From apm
(crude outline) |
(still too crude) |
||
| Line 9: | Line 9: | ||
* [[Data decompression chain]] | * [[Data decompression chain]] | ||
* [[Curry-Howard-Lambeck isomorphism]] | * [[Curry-Howard-Lambeck isomorphism]] | ||
| + | * [[Content addressed]] | ||
== External links == | == External links == | ||
| − | http://conal.net/papers/beautiful-differentiation/ | + | * http://conal.net/papers/beautiful-differentiation/ |
| + | ---- | ||
| + | * https://alarmingdevelopment.org/?p=1570 | ||
---- | ---- | ||
* https://blogs.ed.ac.uk/he-lab/2020/10/06/thursday-tech-talk-from-differences-to-differentials/ | * https://blogs.ed.ac.uk/he-lab/2020/10/06/thursday-tech-talk-from-differences-to-differentials/ | ||
* unlisted https://www.youtube.com/watch?v=rcsIKZVwHDw | * unlisted https://www.youtube.com/watch?v=rcsIKZVwHDw | ||
Revision as of 10:08, 31 December 2022
This page is about various form of generalized differentiation.
