Skip to main content
Patreon Signal
Connect Patreon for free
Podcasts

Type Theory Forall

@TypeTheoryForallTracked since May 2026

An accessible podcast on Type Theory.

Observed Aug 11, 2026 · staleModeled revenue
Save Compare Open on Patreon
Paid members
34
4.8% · 30-day rate from 19 observed days
Total audience
54
incl. free followers
Estimated monthly gross
$515

$412–$618 modeled range

Starting price
$5/mo
5 membership tiers

Where the 54 observed tier members sit

Membership tiers
$037%$520.4%$1035.2%

Largest observed tier is $0 Free. Tier totals include free-tier members and come from the Aug 11, 2026 public snapshot, so they do not reconcile to the paid-member total.

$0/moFree2037% of observed tier members
$5/moSimply Typed Lambda Calculus1120.4% of observed tier members
$10/moSystem F1935.2% of observed tier members
$35/moSystem Fω23.7% of observed tier members
$100/moCIC23.7% of observed tier members
Growth signals: Type Theory Forall
+4.8%

34 paid members · 30-day rate from 19 observed days

Membership
343332
May 202617 weeks trackedNow
Type Theory Forall34 members · $515/mo

The chart only uses Type Theory Forall's observed public history. Comparison peers are listed below, but comparable trend series are not available yet.

Where Type Theory Forall ranks

Creator comparisons
5 creators shown
Compare within
Rank by
Paid membersTotal audience30-day member gainEstimated gross
#3of 5 measured
Paid members in Recommended cohort

Semantic matches are not ready, so this fixed cohort uses the best available category, audience, pricing, and cadence evidence.

Ranking data · includes stale rows
Type Theory Forall's paid members rank in Recommended cohort
RankCreator and why includedPaid membersGap vs Type Theory ForallFreshness
#1
Requiem Metal PodcastPodcastsCategory, audience, pricing & cadence
4612 moreAug 23, 2026
#2
American Catholic HistoryPodcastsCategory, audience, pricing & cadence
417 moreAug 23, 2026
#3
Type Theory ForallProfilePodcastsPaid members position in Recommended cohort
34ReferenceAug 11, 2026Stale
#4
Amy McDonaldPodcastsCategory, audience, pricing & cadence
295 fewerAug 23, 2026
#5
Sonic CartographyPodcastsCategory, audience, pricing & cadence
2311 fewerAug 11, 2026Stale

The rank uses the full fixed cohort. This table shows up to five creators around Type Theory Forall; the coverage summary above still counts everyone.

Recent posts

What they publish
20Posts total1 postLast month83.3%Members-only

Previews available for 20 posts

Audio Latest postPublicI am not moving to Paris

Latest post Preview 42:49 I am not moving to Paris August 7 1

August 7 0 likes 0 comments
I am moving to Paris!Guys, this is huge, I was accepted to MPRI! But there are some problems about it that I discuss in the video. I need you help more than everVideoJuly 13$5 tier & up 3 4
Camping, PhD, Truth and RealityThis episode I record while camping with my family during an extended holidays.ArticleJune 8$5 tier & up 2 4
On PhD Applications, Failure and Living on a RanchIn this episode I share a little more about what's going on my life. Trying to explain a little more why I'm not producing as much content aArticleMay 25$5 tier & up 1 1
Tarski's Undefinability TheoremLocked Tarski's Undefinability Theorem April 16 1 2ArticleApril 16$5 tier & up 1 2
Return to the Classics - FregeLocked Return to the Classics - Frege March 26 3 3ArticleMarch 26$5 tier & up 3 3
The importance of finding your communityLocked The importance of finding your community February 4 1:15:32AudioFebruary 4$5 tier & up 0 0
TTFA 5 year anniversary retrospectiveIn this episode I go through the list of episodes in these 5 years and I talk a little about what was in my mind back then, what has changedAudioDec 26, 2025Public 0 0
From Turing to Type TheoryI wanted to share with you guys this talk that I gave at Recorded Future in Sweden. This was part of the Got.λ - Göteborg Functional ProgramImageNov 28, 2025$5 tier & up 0 0
Back to Purdue — Behind-the-Scenes ReflectionsLocked Back to Purdue — Behind-the-Scenes Reflections Nov 9, 2025ArticleNov 9, 2025$5 tier & up 0 0
My experiences at the conferences CIC-M & LSFA - Brasília 2025This is the first episode of Type Theory Exists — a Patreon-exclusive podcast where I open up more personally about my thoughts and experienArticleOct 15, 2025$5 tier & up 0 0
Back to Purdue — Behind-the-Scenes ReflectionsLocked Back to Purdue — Behind-the-Scenes Reflections Back to Purdue — Behind-the-Scenes Reflections $20Article7d ago$5 tier & up 0 0
Research actions

Work with this creator

Save, compare, or return to the Explore view you came from.

Save CompareBack to Search