RT: Fun times at the Hyperon workshop at AGI-22 as Jonathan Warrell explains how to work infinite order probabilities into the type theory associated w Hyperon's MeTTa prog. language ... #bottomlesslearning #AGI22 @singularity_net https://t.co/UWzHHdrlIA
RT：在 AGI-22 的 Hyperon 研讨会上，Jonathan Warrell 解释了如何将无限阶概率应用到与 Hyperon 的 MeTTa 程序相关的类型理论中。语 ...