Your points (1) and (2) are ones I know all too well, though it was quite reasonable to point them out in case I didn’t, and they may yet prove helpful to other readers of this post.
Regarding Vanessa Kosoy’s work, I think I need to know more math to follow it (specifically learning theory, says Ben; for the benefit of those unlucky readers who are not married to him, he wrote his answer in more detail below). I did find myself enjoying reading what parts of the post I could follow, at least.
Regarding the Topos Institute, someone I trust has a low opinion of them; epistemic status secondhand and I don’t know the details (though I intend to ask about it).
Your points (1) and (2) are ones I know all too well, though it was quite reasonable to point them out in case I didn’t, and they may yet prove helpful to other readers of this post.
Regarding Vanessa Kosoy’s work, I think I need to know more math to follow it (specifically learning theory, says Ben; for the benefit of those unlucky readers who are not married to him, he wrote his answer in more detail below). I did find myself enjoying reading what parts of the post I could follow, at least.
Regarding the Topos Institute, someone I trust has a low opinion of them; epistemic status secondhand and I don’t know the details (though I intend to ask about it).
Thanks very much for the suggestions!