ℹ️ This listing was auto-generated from Mastodon's public data. Cheng Zhang hasn't claimed it, and it doesn't imply any partnership with or endorsement of SocialDB.
Is this you? Claim it · Request removal (free).
🤝
Make a deal with Cheng Zhang
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
345
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 Cheng Zhang
📊 Post engagement
4
Avg engagement / post
1.2%
Engagement vs followers
Nov 2022
On Mastodon since
🔥 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
Estimated75/100
Good
Credibility score
92%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 92% real, active audience · Low fake-follower risk.
- Engagement (~1.2% of followers engage each post) is around typical for Mastodon.
- 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.
I don't need LLM, I hallucinate better (actively looking for investors to commercialize said ability.
"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.
Michiel Nieuwstraten 🔆
18%
Red River Archaeology
16%
MikeF
16%
分 Bifurkatus
14%
IO (they/them)🏳️⚧️✨️
13%
beno77
12%
More like this
Find more →
Mastodon
beno77
@beno77@mastodon.world
345
Followers
Mastodon
Michiel Nieuwstraten 🔆
@minieuw@mastodon.green
345
Followers
Mastodon
Red River Archaeology
@redriverarchaeology@archaeo.social
345
Followers
Mastodon
MikeF
@lycophidion@birds.town
345
Followers
Mastodon
分 Bifurkatus ✓
@dichotomiker@dresden.network
345
Followers
Mastodon
IO (they/them)🏳️⚧️✨️
@io@helvede.net
345
Followers
✉ 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.