Rejoignez Aaron Stump alors qu'il partage des idées sur la théorie des types, la logique computationnelle et plus encore en informatique, le tout dans le temps d'un trajet.
Schematic Affine Recursion, Oh My!
S6 E12 • 19 mins • Aug 22, 2025
Charts
This show is not currently ranked in any charts.
Épisodes récents
Aug 22, 2025
Schematic Affine Recursion, Oh My!
S6 E12 • 19 mins
Aug 19, 2025
The Stunner: Linear System T is Diverging!
S6 E11 • 21 mins
Aug 1, 2025
Terminating Computation First?
S6 E10 • 11 mins
May 12, 2025
Correction: the Correct Author of the Proof from Last Episode, and an AI flop
S6 E9 • 7 mins
May 5, 2025
Krivine's Proof of FD, Using Intersection Types
S6 E8 • 22 mins
Langue
Anglais
Pays
États-Unis
Feed Host
Site web
Flux
Demander une mise à jour
Les mises à jour peuvent prendre quelques minutes.