Cheng Zhang✓ Add us as a preferred source on Google
🔄 Data last refreshed 1 day ago
🤝
Make a deal with Cheng Zhang
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
356
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 Cheng Zhang
📊 Post engagement
Recent posts · likes + reposts
May 23latest
4
Avg engagement / post
2–4
Typical post (engagement)
1.1%
Engagement vs followers
60/100
Consistent reach
Nov 2022
On Mastodon since
Half of recent posts land between 2 and 4 likes + reposts (median 3) — a dependable floor a sponsored post can count on.
🔥 Top post: I will be giving a talk at the #egraph workshop at @pldi on my · 14 likes + reposts
📊 Activity & format
Posting cadence
1.4 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 12 text · 0 image · 0 video.
Follower / following
0.3×
Follows 1.2K back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
I think I have been spoiled by nice well-designed papers, sometimes a paper sit in front of me and I wonder do the authors honestly expect people to understand these formulas spanning five lines with 20 different variables each with 0 to 5…
Boy I love U.S. green way designs, they always masterfully and diligently miss all the places people want to go.
Apparently fediverse is doing the r/place thing https://canvas.fediverse.events/ .
Is there any lean proof that inductive data type is the initial algebra for its respective functor?
I want to show that it arises from the standard limit of a chain construction (categorification of Tarski Fixpoint). Is there a idiomatic …
So far, this is not terribly interesting, and this post is mainly a question on how we can use these understanding.
Notably, this suggests that e-graph makes sense in every category that admits finite product and coproduct, and it also mak…
I have been thinking a lot about e-graph lately, mainly to understand what "really is" an #egraph and give precise mathematical meaning to its expressions, which would facilitate reasoning about more complex structure with in e-graph with…
If I choose to publish my article as CC-BY-SA, does that mean once the AI summary is generated by @ACM (which I believe count as derivative work), such summaries are required to be licensed under BY-CC-SA and cannot be locked behind a pay…
Category theoretical proofs always follows the pattern: nothing happens, nothing happens, nothing happens, then an interesting problem is solved.
This really is the elegance of category theory: it is able to express a hard solution problem…
Show Thought: it would be a great bit to write a rap song called "rust god".
RE: https://flipboard.com/@naturenewsteam/latest-science-news-d3hg9j0hz/-/a-t7Sf2pmFTAaS7wxoi0CqyA%3Aa%3A166866041-%2F0
I had a bunch of AI FOMO recently given (1) some of the success of people around me in formalization (2) wondering if i…
I wonder if people have some experience, advise, and suggestions on keeping research journals.
A "human trace" where I record the dead ends, counter examples, and the intuition behind these counter examples; so that I don't repeat my mist…
🐘 Community & instance
Home server
mathstodon.xyz
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
✅ Link-verified
Verified link
Proved ownership of a website linked on their profile — Mastodon's green-check verification, a real identity signal rather than a paid badge.
On Mastodon since
Nov 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 4 views per post.
📤Posts about 1.4× per week.
🕵️ Fake follower check
Estimated52/100
Fair
Credibility score
76%
Mixed
Real audience
Medium
Fake-follower risk
High
Data confidence
- Est. 76% real, active audience · Medium fake-follower risk.
- Low engagement (~1.1% of followers engage each post) — a sign of an inflated or inactive audience.
- Verified account.
- Established account (3+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
I find algebra, coalgebra, and fixpoints very cool. I wish I am better at them. Assistant professor@WPI (Worcester Polytechnic Institute) studying programming language semantics, and its applications in verification, testing, and optimization.
"We have killed epsilon with a dagger, the delta is next."
"I cannot Grothendick construction under these conditions."
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Lilith, Origin of Darkness
16%
aprs.fi
16%
Anthony :pentacle:🕯🧩🎭🪁💐
15%
Tim Riemann
12%
Carolyna Luna
11%
Daftguru
10%
More like this
Find more →
Mastodon
＋
Anthony :pentacle:🕯🧩🎭🪁💐 ✓
@skyfire747@aus.social
356
Followers
Mastodon
＋
Daftguru
@daftguru@mastodon.green
356
Followers
Mastodon
＋
Lilith, Origin of Darkness
@lunalucardrose20@corteximplant.com
356
Followers
Mastodon
＋
aprs.fi
@aprsfi@mastodon.radio
356
Followers
Mastodon
＋
Tim Riemann ✓
@octoate@mastodon.social
356
Followers
Mastodon
＋
Carolyna Luna
@carolynaluna@mastodon.online
356
Followers
Frequently asked questions
How much does Cheng Zhang charge for a sponsorship?
Cheng Zhang 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 Cheng Zhang for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify Cheng Zhang, 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 Cheng Zhang have?
Cheng Zhang has 356 followers on Mastodon.
✉ Message Cheng Zhang
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 Cheng Zhang
Booking an event / appearance is a Pro feature. Upgrade to book Cheng Zhang for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Cheng Zhang 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