korrents

Our 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

Subjectmathematics
What this subject means

mathematics Doing mathematics: proof, conjecture, and what mathematicians want that other fields do not.

What Christopher Olah actually said

  1. Christopher Olah 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

    3 Sept 2015

    All 2 korrents from this piecethis one is 2nd

Added to korrents 20 Sept 2026 · How quotes work · Something wrong? Tell us

Do you hold this korrent?Do you also believe this?

I hold this too

Related korrents

Shared subject first, then similar wording. They may agree or disagree.

See this claim on the map