David Young Add us as a preferred source on Google
🔄 Data last refreshed 5 days ago
🤝
Make a deal with David Young
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
154
Account age
3 yrs
💰 Suggested sponsorship rate
$40 – $65 / sponsored post
Estimated from audience size & typical reach — every deal is negotiable and held in SocialDB escrow.
🎁 Free analysisfor David Young
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
Recent posts · likes + reposts
Oct 4latest
7
Avg engagement / post
1–2
Typical post (engagement)
4.5%
Engagement vs followers
0/100
Spiky reach
Aug 2023
On Mastodon since
Half of recent posts land between 1 and 2 likes + reposts (median 1) — reach is spiky, driven by the occasional post that pops.
🔥 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.5×
Follows 285 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 — 3 years ago.
👁️Averages 7 views per post.
📤Posts about 0.3× per week.
🕵️ Fake follower check
Estimated66/100
Good
Credibility score
89%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 89% real, active audience · Low fake-follower risk.
- Engagement (~4.5% of followers engage each post) is around typical for Mastodon.
- Established account (3+ years old).
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.
UncivilizedDan
16%
Denkodama
15%
Rafał Sobolewski :prami:
12%
sounddrill :verified_dragon:
11%
Roger Ertesvåg
10%
Sneak Attack Press
10%
More like this
Find more →
Mastodon
＋
sounddrill :verified_dragon:
@sounddrill@infosec.exchange
154
Followers
Mastodon
＋
Roger Ertesvåg ✓
@rogere@mastodon.social
154
Followers
Mastodon
＋
Rafał Sobolewski :prami: ✓
@sobol@social.lol
154
Followers
Mastodon
＋
Denkodama ✓
@denkodama@mastodon.art
154
Followers
Mastodon
＋
Sneak Attack Press
@sneakattackpress@dice.camp
154
Followers
Mastodon
＋
UncivilizedDan
@uncivilizeddan@dice.camp
154
Followers
Frequently asked questions
How much does David Young charge for a sponsorship?
David Young hasn't published fixed prices yet. Send a proposal through SocialDB and agree terms directly — your payment is held in escrow until the work is approved.
How do I contact David Young for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify David Young, and once they accept, your payment is held safely in escrow and released when the work is approved. You don't need to track down an email.
How many followers does David Young have?
David Young has 154 followers on Mastodon.
✉ 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.
Auto-generated from Mastodon's public data — no affiliation with or endorsement by SocialDB. Is this you? Claim it · Remove