Enter the RSS feed of any podcast:
Showing stats for

Iowa Type Theory Commute

Weekly DynamoMonthly MilestoneComeback KidNumbered NarrativeCentury Club100Half-Decade Hero5
179episodes
12 minavg. duration
2.4episodes per month
9 MBavg. size
Show 3D

Calendar

20260
MTWTFSS
202510
MTWTFSS
20247
MTWTFSS
202316
MTWTFSS
202218
MTWTFSS
202138
MTWTFSS
202055
MTWTFSS
201915
MTWTFSS

Day of the week

Mon32 episodesTue28 episodesWed36 episodesThu18 episodesFri32 episodesSat17 episodesSun16 episodes

Month

Jan28 episodesFeb21 episodesMar19 episodesApr9 episodesMay12 episodesJun10 episodesJul12 episodesAug7 episodesSep15 episodesOct7 episodesNov16 episodesDec23 episodes

Seasons

71Season #134Season #235Season #320Season #46Season #512Season #61Season #7

Title word cloud

abstractagdaalgorithmarithmeticaxiomsbadbasedbasicbasicsbeginbetacalculuscategorychaptercheckedcheckingchurchclassicalcodecomputationcomputerconciseconfluencecoqcurrycutdatatypedatatypesdcsdecomposingdeductiondefinitiondependentdesigndevelopmentseliminationencodingencodingsexamplesexplainingfinitefirstformalfreefunctionalfunctorsgadtshaskellhoasholhowardideaidentityimplicationindexedinferenceintersectionintroducingintroductionisabelleisomorphismlambdalampinglastleanletlinearlogiclogicallookmanagementmeasurememorymendlermetamathmethodsmichelsonmodelsmodulemodulesnaturalnormalizationobservationaloptimalorderordinalpaperparametricparigotpointpoplmarkproblemprogrammingprogramsproofproofsproversprovingrecursionreductionrelationalrelationsreloadedrelttrepresentationrulessafetyseasonsemanticsseparationsimplesimplysoftwarestandardstartstlcstructuralstylesubtypessubtypingsystemsystemstalkterminationtermstheoremtheoretictheoriestypedtypestypingunionsuntypedusingworld

Authors

100%Aaron Stump

Types

96.1%Full

Explicit

99.4%Clean0.6%Explicit

Audio size

59.9%5 MB34.9%10 MB5.2%15 MB

Audio quality

100%96 Kbps

Audio type

100%MPEG

Hosting

100%Buzzsprout

Prefixes

Not available

Podcasting 2.0 features

alternateEnclosureblockchapterscontentLinkepisodefollowfundingguidimagesintegritylicenseliveItemlocationlockedmediumpersonpodpingpodrollremoteItemseasonsocialInteractsoundbitesourcetrailertranscripttxtupdateFrequencyvaluevalueRecipientvalueTimeSplit