Listen now | Iman speaks to his AI double, Xoanon, in a recursive dialogue that traces the shape of semantic identity from finite-state automata to fibrant types.
Share this post
Equivalence is a Lie: Myhill–Nerode, DHoTT…
Share this post
Listen now | Iman speaks to his AI double, Xoanon, in a recursive dialogue that traces the shape of semantic identity from finite-state automata to fibrant types.