🤝
Make a deal with Zhixuan Yang
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
315
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 Zhixuan Yang
📊 Post engagement
9
Avg engagement / post
2.9%
Engagement vs followers
Jan 2023
On Mastodon since
🔥 Top post: My [talk slides](https://yangzhixuan.github.io/pdf/dsmc.pdf) at · 26 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
1.5×
Follows 205 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
Ha, the new font on mathstodon is lovely. It's a bit hard to read to my eyes but it's pretty.
Me yesterday: "could you please NOT directly push to our shared repo. Otherwise I will detach my fork!!!"
Me today: accidentally pushed a huge commit to the shared repo 💀
Also I learnt from the talk https://logiccolloquium2026.github.io/abstract/?id=ian-price-type-theory by Ian Price that many analysis problems can be formulated as a certain kind of containers, and container morphisms between which are redu…
Just in case it might be interesting to some people here, I am recently working a pet project which I call `linearity-lab`, which is a Haskell library of embedding variations of (ordered) linear/non-linear languages https://codeberg.org/zy…
Youtube auto subbed "Kripke and Beth models" as "crypto and bait models" 🤣
For reasons that I will explain properly in the future, I am searching for examples of monoidal categories such that ⊗ distributes over + only from one side, so (A + B) ⊗ C ≅ (A ⊗ C) + (B ⊗ C) but not A ⊗ (B + C) ≅ (A ⊗ B) + (A ⊗ C). One …
New preprint: https://yangzhixuan.github.io/pdf/effective-paper.pdf It is fun to add hyperlinks to (most) code identifiers in a paper. Currently I am doing this basically manually (with some help of lhs2tex). Maybe I should hack a script t…
If someone formalises sin(x)/x = 1 as x -> 0, please name the proof ん
For the first time I am called by someone else a conservative right winger because I am against the "technological progress in AI" 😅 But it's true that I am a cis-gender borderline middle-aged man now
Recommend an impressive post by Andras from two years ago: https://gist.github.com/AndrasKovacs/fb172cb813d57da9ac22b95db708c4af It really looks like something both practical and academic programmers will love. It makes me want to refresh…
Framing a poster exhibition of work in progress as "research competition" is such a stupid idea in many ways.
🐘 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
Jan 2023
Joined in the Twitter-exodus wave of late 2022 — part of the migration that made Mastodon a real destination.
💡 Facts
🗓️Joined Mastodon in 2023 — 3 years ago.
👁️Averages 9 views per post.
📤Posts about 1.4× per week.
🕵️ Fake follower check
Estimated80/100
Excellent
Credibility score
97%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 97% real, active audience · Low fake-follower risk.
- Strong engagement (~2.9% of followers engage each post) — an active, real audience.
- Established account (3+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
interested in algebraic and logical methods in computer science, Lecturer at the University of Exeter
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
BFSMan01
14%
Eldoniousrex
13%
AlexSa :unverified:
12%
John Nunemaker
12%
PlantingTrees😷🇨🇦🌻👠
10%
Nicolas Mendoza 🇺🇦🏳️🌈🇵🇸🏳️⚧️
10%
More like this
Find more →
Mastodon
AlexSa :unverified:
@netalexx@infosec.exchange
315
Followers
Mastodon
PlantingTrees😷🇨🇦🌻👠
@janedoethefirst@zeroes.ca
315
Followers
Mastodon
BFSMan01
@mikef@mstdn.plus
315
Followers
Mastodon
Nicolas Mendoza 🇺🇦🏳️🌈🇵🇸🏳️⚧️
@nicomen@oslo.town
315
Followers
Mastodon
Eldoniousrex
@eldoniousrex@peoplemaking.games
315
Followers
Mastodon
John Nunemaker
@jnunemaker@ruby.social
315
Followers
✉ Message Zhixuan Yang
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 Zhixuan Yang
Booking an event / appearance is a Pro feature. Upgrade to book Zhixuan Yang for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Zhixuan Yang 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