Begleiten Sie Aaron Stump, während er Einblicke in Typentheorie, berechnungslogik und mehr in der Informatik teilt, alles in der Zeit, die Sie für Ihren Arbeitsweg benötigen.
Schematic Affine Recursion, Oh My!
S6 E12 • 19 mins • Aug 22, 2025
Charts
This show is not currently ranked in any charts.
Neueste Folgen
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
Sprache
Englisch
Land
Vereinigte Staaten
Feed Host
Website
Feed
Aktualisierung anfordern
Aktualisierungen können einige Minuten dauern.