The video of my talk on Computational Kantianism from the #Accelerate General Intellect event organised by Tony Yanick and the New Centre for Research and Practice at the Pratt Institute in NYC is finally available. Unfortunately, chunks of video are missing, the sound quality is not great, and the first 10 minutes or so are absent entirely. Luckily, those first 10 minutes cover much the same ground as my talk at the Future of Mind Conference. Technical issues aside, I’m mostly happy with the content of this talk, though it covers work that is still in progress. The only qualifications I would make concern the more speculative remarks on mathematics towards the end, which I can see probably don’t have enough context for most people, especially without video of the diagrams I was using to illustrate the connections between my reading of Kant and computational trinitarianism. Moreover, I can now see that what I was saying about co-inductive types is not quite right, because it doesn’t adequately capture the speculative duality with homotopy type theory I’m circling around, even though I’m still convinced that there is a significant duality hereabouts. These are ideas I’m obviously going to have to elaborate in more detail elsewhere. Till then, this will have to do: