🤝
Make a deal with Jon Sterling
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
2.3K
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 analysis for Jon Sterling
Known for
📊 Post engagement
10
Avg engagement / post
0.4%
Engagement vs followers
Oct 2022
On Mastodon since
🔥 Top post: The difference between you and me is …. I know there’s bugs in m · 23 likes + reposts
📊 Activity & format
Posting cadence
38.9 / week
A very active account — posts many times a day.
Content mix
Mostly text
Recent: 11 text · 1 image · 0 video.
Follower / following
4×
Follows 578 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
Similar advice: if you are talking to someone and they emphasize that the hom sets of a category are (or are not) disjoint, just run away.
There’s a legitimate question in there (which is why it’s possible for bright people to be dragged i…
Go too far with those people and you will be getting puzzled about why they think subtyping for dependent function types is “unsound” LOL
Every once in a while this meme returns like a bad penny… Once you figure out what they mean you rea…
When older type theorists or present-day type theory adjacent people talk about the question of whether a type theory has a “set model”, before continuing the conversation check if they mean
“A CwF whose base category is the category of se…
Basically my goal is to work as much as possible in the classifying ∞-topos of distributive lattices, rather than in its many useful subtoposes.
Most of the time when you need to make some assumptions that amount to sheaf conditions (like …
I keep finding very tricky and clever ways to remove assumptions from my theorems... This is such a fun game.
Folks, Twitter is long gone. If you post on Mastodon, you are “tweeting”. There is no need to try and distinguish your activity from what should now most properly be called “Xcreting”. It’s a tweet.
RE: https://lipn.info/@mevenlennonbertrand/116997927457012577
It’s an “adversarial exploit” !!!
RE: https://lipn.info/@mevenlennonbertrand/116997917683191056
Amazing! I think I love AI now 😂
Amazing. Apple broke the 'NSDocument.isDocumentEdited' state in macOS 27, and they responded to my radar by saying that it is “working as designed”. It is not working as designed!
It's kind of funny. I don't know very much about algebraic geometry. But spending a year or two doing 'algebraic geometry' with lattices instead of rings and you start to see why people like rings so much. In lattice-world, so much of the …
The Cloud is Going Great dot com
The Cloud is Going Great dot com
🐘 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
Oct 2022
Joined in the Twitter-exodus wave of late 2022 — part of the migration that made Mastodon a real destination.
💡 Facts
🗓️Joined Mastodon in 2022 — 3 years ago.
👁️Averages 10 views per post.
📤Posts about 38.9× per week.
🛡️ Audience credibility
66/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 (~0.4% 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
I am an Associate Professor in Logical Foundations and Formal Methods at the Cambridge Computer Laboratory, and a Fellow of Clare College.
I like categories, domains, and vintage computing.
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Web Accessibility Initiative
17%
ricardo :mastodon:
17%
Benjamin Carr, Ph.D. 👨🏻💻🧬
16%
Thomas Ebinger (Moderator)
15%
beSpacific
13%
Thomas Steiner :chrome:
12%
More like this
Find more →
Mastodon
beSpacific ✓
@bespacific@newsie.social
2.3K
Followers
Mastodon
Thomas Steiner :chrome: ✓
@tomayac@toot.cafe
2.3K
Followers
Mastodon
Benjamin Carr, Ph.D. 👨🏻💻🧬 ✓
@benjaminhccarr@hachyderm.io
2.3K
Followers
Mastodon
Web Accessibility Initiative ✓
@wai@w3c.social
2.3K
Followers
Mastodon
Thomas Ebinger (Moderator) ✓
@ebinger@bildung.social
2.3K
Followers
Mastodon
ricardo :mastodon: ✓
@governa@fosstodon.org
2.3K
Followers
✉ Message Jon Sterling
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 Jon Sterling
Booking an event / appearance is a Pro feature. Upgrade to book Jon Sterling for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Jon Sterling 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.