A korrentour readingWhat is a korrent?
The connection between representations and types may be fundamentally significant, akin to links among geometry, logic, topology and functional programming.
Drawn from what Christopher Olah said
What Christopher Olah actually said
Word for word, with the source under each one. They did not write this page.
Interpretability researcher at Anthropic
The known connection between geometry, logic, topology, and functional programming suggests that the connections between representations and types may be of fundamental significance.
Where this was said
↗Neural Networks, Types, and Functional Programmingcolah.github.io
All 2 korrents from this piecethis one is 2nd
Added to korrents 3 Sept 2015 · How quotes work · Something wrong? Tell us
Do you hold this korrent?Do you also believe this?
Related korrents
Our reading — they may agree, disagree or merely touch the same thing. Closest first: a shared subject counts for most, then how near the wording is.