Enter the RSS feed of any podcast:
Showing stats for

Type Theory Forall

51episodes
1h 37avg. duration
0.9episodes per month
107 MBavg. size

Episode length

→

Calendar

20254
MTWTFSS
202410
MTWTFSS
202311
MTWTFSS
202212
MTWTFSS
202112
MTWTFSS
20202
MTWTFSS

Day of the week

Mon11 episodesTue6 episodesWed6 episodesThu9 episodesFri7 episodesSat8 episodesSun4 episodes

Month

Jan4 episodesFeb6 episodesMar4 episodesApr3 episodesMay7 episodesJun3 episodesJul4 episodesAug4 episodesSep3 episodesOct3 episodesNov5 episodesDec5 episodes

Seasons

Not available

Title word cloud

abreuagdaanupamartbehindchristiansencodyconalcoqdandavideducationelliottericformallyfoundationsfunctionalhaskellhistoryhughesidrisisabellejanjohnjourneyleanlogicmacqueenmariemlmuijncknitinpatrickpedropedrotpierreplproversrealizabilityrouxselfsystemstheoremverifying

Authors

100%Pedro Abreu

Types

100%Full

Explicit

72.5%Clean27.5%Explicit

Audio size

2%20 MB15.7%40 MB43.1%60 MB39.2%100 MB

Audio quality

2%64 Kbps11.8%96 Kbps45.1%112 Kbps23.5%128 Kbps2%224 Kbps15.7%320 Kbps

Audio type

100%MPEG

Hosting

100%api.typetheoryforall.com

Prefixes

Not available

Podcasting 2.0 features

alternateEnclosureblockchapterscontentLinkepisodefollowfundingguidimagesintegritylicenseliveItemlocationlockedmediumpersonpodpingpodrollremoteItemseasonsocialInteractsoundbitesourcetrailertranscripttxtupdateFrequencyvaluevalueRecipientvalueTimeSplit