Diffing: Difference between revisions
Jump to navigation
Jump to search
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 11:08, 31 December 2022
This page is about various form of generalized differentiation.