Jon Sterling Add us as a preferred source on Google

Mastodon @jonmsterling@mathstodon.xyz

⚔ Compare ☆ Follow Own this channel?

🔄 Data last refreshed 1 day ago

🤝

Make a deal with Jon Sterling

🔒 Paid proposals held safely in escrow — released only when the work's approved.

Followers

2.4K

Account age

3 yrs

🎁 Free analysisfor Jon Sterling

🕵️Fake Followers CheckReal-audience % & bot risk→ 📊Engagement rateBenchmarked vs. peers→ 💰What they chargeFair sponsored-post price→

Known for

8 views The Cloud is Going Great dot com

📊 Post engagement

📊 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.1×

Follows 585 back. A more reciprocal / networked account.

Recent posts

View on Mastodon ↗

🔥 Top post The difference between you and me is …. I know there’s bugs in my kernel. LOL. Let it never be said that a good dose of schadenfreude does not brighten the day. ★ 23

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… ★ 8 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… ★ 2 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… ★ 8 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 … ★ 5 I keep finding very tricky and clever ways to remove assumptions from my theorems... This is such a fun game. ★ 7 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. ★ 17 RE: https://lipn.info/@mevenlennonbertrand/116997927457012577 It’s an “adversarial exploit” !!! ★ 19 RE: https://lipn.info/@mevenlennonbertrand/116997917683191056 Amazing! I think I love AI now 😂 ★ 15 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! ★ 2 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 … ★ 10

The Cloud is Going Great dot com ★ 8

🐘 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.

🕵️ Fake follower check

Estimated

43/100

Fair Credibility score

73%

Mixed Real audience

Medium Fake-follower risk

High Data confidence

Est. 73% real, active audience · Medium fake-follower risk.
Low engagement (~0.4% of followers engage each post) — a sign of an inflated or inactive audience.
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 at the Cambridge Computer Laboratory, and a Fellow, Tutor, and Director of Studies at Clare College. Realist of a larger reality. I like categories, domains, and vintage computing.

🔀 Audience overlap

Estimated

Estimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.

GPUOpen 16%

Rick Gaehl 16%

Signal News & Tips 15%

Le Bottin des Jeux Linux 12%

Paul Förster :verified_blue: 11%

Nonia Pariente 10%

More like this

Find more →

Mastodon ＋

GPUOpen ✓

@gpuopen@mastodon.gamedev.place

2.4K Followers

Mastodon ＋

Le Bottin des Jeux Linux

@le_bottin_des_jeux_linux@floss.social

2.4K Followers

Mastodon ＋

Nonia Pariente

@npariente@fediscience.org

2.4K Followers

Mastodon ＋

Rick Gaehl

@rickgaehl@mstdn.social

2.4K Followers

Mastodon ＋

Paul Förster :verified_blue: ✓

@paulfoerster@swiss.social

2.4K Followers

Mastodon ＋

Signal News & Tips ✓

@aboutsignal@mastodon.social

2.4K Followers

Frequently asked questions

How much does Jon Sterling charge for a sponsorship?

Jon Sterling 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 Jon Sterling for a brand deal or collaboration?

Send a paid deal or collab request right here on SocialDB — we notify Jon Sterling, 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 Jon Sterling have?

Jon Sterling has 2,413 followers on Mastodon.

Auto-generated from Mastodon's public data — no affiliation with or endorsement by SocialDB. Is this you? Claim it · Remove

Jon Sterling Add us as a preferred source on Google

Make a deal with Jon Sterling

Known for

📊 Post engagement

📊 Activity & format

Recent posts

🐘 Community & instance

💡 Facts

🕵️ Fake follower check

About

🔀 Audience overlap

More like this

Frequently asked questions

✉ Message Jon Sterling

🎤 Event / appearance with Jon Sterling