David Young
🤝
Make a deal with David Young
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
150
Account age
2 yrs
💰 Suggested sponsorship rate
$40 – $65 / sponsored post
Estimated from audience size & typical reach — every deal is negotiable and held in SocialDB escrow.
Known for
55 views
Before and after dragging a subexpression out
2 views
Okay, I *think* I see the basic idea for how fibrations work when you're looking at the semantics of dependent types.
The base category would be contexts and simultaneous substitutions, and the total category would have types-in-context and substitutions. There's a functor going from the total category to the base category which projects out the typing contexts.
The fact that we have a fibration s
📊 Post engagement
7
Avg engagement / post
4.7%
Engagement vs followers
Aug 2023
On Mastodon since
🔥 Top post: Before and after dragging a subexpression out · 55 likes + reposts
📊 Activity & format
Posting cadence
0.31 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 10 text · 2 image · 0 video.
Follower / following
0.6×
Follows 271 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
🔥 Top post
Before and after dragging a subexpression out
Looking back, I can't help but notice that some math started getting easier for me to think about somewhere around the time I stopped being a formalist.
An interesting coincidence...
Seeing another post go viral that says something along the lines of "I was confused by math until I realized it's just programming with more confusing syntax."
I think at some point I'll write a blogpost about why that's a misguided and mo…
Among other things, I think this gives a good opportunity to organize type errors in a nice way. We will see!
My (fairly ambitious) goal for this is for it to eventually be a tool for learning about using proof assistants.
But I think it will also be interesting to see how it feels to use something like this in general, even apart from that goal.
Spotlight has gotten so much worse. It's pretty much unusable for me at this point, between how slow it is and how bad it is at finding what I want.
Switched to Alfred yesterday, which seems a lot nicer so far. I really only want to use it…
It seems to me like we should teach most people some amount of the fundamentals of the philosophy of math.
I think it could help with some common confusions. Like confusion related to the nature of mathematical truth and "where does math c…
@chrisamaphone I just watched your talk on polarity and focusing. It was really nice and clear. Thank you.
Near the end, you mention being interested in the connection to pedagogy. I was wondering if you had recommendations for what to loo…
Overleaf has such strange bugs in its vim emulation.
If I use daW (but not daw) on a `:`, it'll skip past it and delete the word after. But using daW on a word without `:` will delete the word as expected.
Repeating commands with `.` tends…
Hades II is really fun.
I like their version of Scylla, hah
Okay, I *think* I see the basic idea for how fibrations work when you're looking at the semantics of dependent types.
The base category would be contexts and simultaneous substitutions, and the total category would have types-in-context an…
Grad school is so difficult and stressful.
Okay, I *think* I see the basic idea for how fibrations work when you're looking at the semantics of dependent types.
The base category would be contexts and simultaneous substitutions, and the total category would have types-in-context an…
Grad school is so difficult and stressful.
🐘 Community & instance
Home server
mathstodon.xyz
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
On Mastodon since
Aug 2023
An established account with real history on the platform.
💡 Facts
🗓️Joined Mastodon in 2023 — 2 years ago.
👁️Averages 7 views per post.
📤Posts about 0.3× per week.
🛡️ Audience credibility
75/100
Good
- Est. 92% real, active audience · Low fake-follower risk.
- Strong engagement (~4.7% of followers engage each post) — an active, real audience.
Est. authentic audience
92%
Fake-follower risk
Low
Data confidence
High
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
PhD student in PL
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Luc Poupard
16%
ERAT
13%
Torben Schultz
12%
Rackuur :artpaw:
11%
La Chaussette Perdue 🧦
10%
sardegna
10%
More like this
Find more →
Mastodon
Torben Schultz
@torbenschultz@troet.cafe
150
Followers
Mastodon
Luc Poupard ✓
@kloh@framapiaf.org
150
Followers
Mastodon
ERAT
@lizziewriter@mstdn.social
150
Followers
Mastodon
La Chaussette Perdue 🧦 ✓
@touteperdue@toot.community
150
Followers
Mastodon
sardegna
@sardegna@nrw.social
150
Followers
Mastodon
Rackuur :artpaw:
@rackuur@mastodon.art
150
Followers
✉ Message David Young
Reaching out to influencers is a Pro feature. Upgrade to message any influencer directly — perfect for brands and agencies booking sponsorships.
- ✓ Message any influencer from their listing
- ✓ The influencer gets notified by email
- ✓ Manage every conversation in one inbox
Already Pro? Log in.
🎤 Event / appearance with David Young
Booking an event / appearance is a Pro feature. Upgrade to book David Young for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ David Young gets notified by email
- ✓ Fee held in escrow, released after the appearance
Already Pro? Log in.
🚀
You're out of free requests this month
Free accounts get 5 per month. Go Pro for unlimited sponsor pitches, collab requests & sponsorship deals — plus featured placement, the Verified badge, free withdrawals and more.
Upgrade to Pro — $9.95/mo →Your free limit resets on the 1st of next month.