Enter the RSS feed of any podcast:
Showing stats for

Type Theory Forall

Does not stopFifty Strong50Half-Decade Hero5
66episodes
1h 42avg. duration
0.9episodes per month
118.4 MBavg. size
Show 3D

Calendar

20267
MTWTFSS
202512
MTWTFSS
202410
MTWTFSS
202311
MTWTFSS
202212
MTWTFSS
202112
MTWTFSS
20202
MTWTFSS

Day of the week

Mon15 episodesTue7 episodesWed10 episodesThu11 episodesFri8 episodesSat11 episodesSun4 episodes

Month

Jan5 episodesFeb6 episodesMar5 episodesApr4 episodesMay7 episodesJun5 episodesJul5 episodesAug6 episodesSep5 episodesOct5 episodesNov6 episodesDec7 episodes

Seasons

Not available

Title word cloud

abreuagdaageaianupamartbehindcategorychristiansencodycompilerscomputationconalcoqdandavideducationelliottericformalformallyfoundationsfunctionalgradhaskellhistoryhughesidrisisabellejanjohnjourneyleanlifelogicmacqueenmariemlmuijncknitinpatrickpedropedrotpierreplproversrealizabilityrouxschoolselfsystemstheoremverifyingwriting

Authors

100%Pedro Abreu

Types

100%Full

Explicit

75.8%Clean24.2%Explicit

Audio size

1.5%20 MB13.6%40 MB36.4%60 MB48.5%100 MB

Audio quality

3%64 Kbps9.1%96 Kbps36.4%112 Kbps19.7%128 Kbps18.2%192 Kbps1.5%224 Kbps12.1%320 Kbps

Audio type

100%MPEG

Hosting

100%api.typetheoryforall.com

Prefixes

Not available

Podcasting 2.0 features

alternateEnclosureblockchapterscontentLinkepisodefollowfundingguidimagesintegritylicenseliveItemlocationlockedmediumpersonpodpingpodrollremoteItemseasonsocialInteractsoundbitesourcetrailertranscripttxtupdateFrequencyvaluevalueRecipientvalueTimeSplit