leo Add us as a preferred source on Google
🔄 Data last refreshed 2 months ago
🤝
Make a deal with leo
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
27
Account age
6 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 leo
📊 Post engagement
1
Avg engagement / post
3.7%
Engagement vs followers
Apr 2020
On Mastodon since
🔥 Top post: I have been obsessively thinking about tight typings all day lon · 1 likes + reposts
📊 Activity & format
Posting cadence
0.07 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 11 text · 0 image · 0 video.
Follower / following
0.3×
Follows 91 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
i am already behind 3 classes and I know almost naught about the topic.
have to take a modal logic course which i will miss the first 6 classes
ok, i think i got an idea on how to define the intersection type system, let's see if it holds.
All day thinking about giving an intersection type system to characterize a termination in a calculus we made, and still not sure if it can be done or not.
Riding a train back from work reading about adjoint functors.
I am taking part in a small reading seminar in lambda calculus and logic. We are currently working through Lambek's and Scott's
"Introduction to Higher Order Categorical Logic".
At the moment we are still fighting against the initial chap…
When I got time and energy I read up before a talk just so that I can at least not get lost in the definitions. Don't think I was able to do it this time.
Going to a talk about topological motion planning!!! Hope to understand at least something.
Have just worked out a proof using Zorn's Lemma. I think it is one of the most ingrained proof techniques I have learned in my pure mathematics degree.
Took a course in probabilistic lambda calculus even though I didn't know much about lambda calculus and I enjoyed it profusely.
🐘 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
Apr 2020
An OG fediverse account from Mastodon's early years — a long, established presence.
💡 Facts
🗓️Joined Mastodon in 2020 — 6 years ago.
👁️Averages 1 views per post.
📤Posts about 0.1× per week.
🕵️ Fake follower check
Estimated64/100
Good
Credibility score
89%
Real
Real audience
Low
Fake-follower risk
Medium
Data confidence
- Est. 89% real, active audience · Low fake-follower risk.
- Engagement (~3.7% of followers engage each post) is around typical for Mastodon.
- Established account (6+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
2nd year TCS PhD student at UBA.
Interested broadly in lambda calculus, realizability, linear logic, applications of algebra to lambda calculus, HOTT.
Interested in particular in the computational content of classical logic.
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Max Poelman
18%
rockroulettepod
17%
semblancestudio
16%
Helicopter Links
16%
Chrisp65
13%
Richard N Griffiths
12%
More like this
Find more →
Mastodon
＋
Max Poelman
@maxpoelman@mastodon.online
27
Followers
Mastodon
＋
Chrisp65
@chrisp65_3@social.vivaldi.net
27
Followers
Mastodon
＋
semblancestudio
@semblancestudio@mastodon.world
27
Followers
Mastodon
＋
Helicopter Links
@helicopterlinks@mastodon.world
27
Followers
Mastodon
＋
Richard N Griffiths
@rng52@mastodon.world
27
Followers
Mastodon
＋
rockroulettepod
@rockroulettepod@universeodon.com
27
Followers
Frequently asked questions
How much does leo charge for a sponsorship?
leo 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 leo for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify leo, 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 leo have?
leo has 27 followers on Mastodon.
✉ Message leo
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 leo
Booking an event / appearance is a Pro feature. Upgrade to book leo for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ leo 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