Zhixuan Yang Add us as a preferred source on Google

Mastodon @zyang@mathstodon.xyz

⚔ Compare ☆ Follow Own this channel?

🔄 Data last refreshed 5 days ago

🤝

Make a deal with Zhixuan Yang

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

Followers

336

Account age

3 yrs

🎁 Free analysisfor Zhixuan Yang

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

📊 Post engagement

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

Follows 209 back. A more reciprocal / networked account.

Recent posts

View on Mastodon ↗

🔥 Top post My [talk slides](https://yangzhixuan.github.io/pdf/dsmc.pdf) at Logic Colloquium on data structures in monoidal structures, which might be interesting to people who like category theory and functional programming. I have mentioned this project of mine a few times here, and the s… ★ 26

Ha, the new font on mathstodon is lovely. It's a bit hard to read to my eyes but it's pretty. ★ 1 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 💀 ★ 6 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… ★ 8 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… ★ 16 Youtube auto subbed "Kripke and Beth models" as "crypto and bait models" 🤣 ★ 10 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 … ★ 8 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… ★ 14 If someone formalises sin(x)/x = 1 as x -> 0, please name the proof ん ★ 6 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 ★ 5 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… ★ 3 Framing a poster exhibition of work in progress as "research competition" is such a stupid idea in many ways. ★ 3

🐘 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

Estimated

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 (~2.7% 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

interested in algebraic and logical methods in computer science, Lecturer at the University of Exeter

🔀 Audience overlap

Estimated

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

Lisa Maruca 18%

Matt Baume 🏳️‍🌈 15%

Todd 13%

maya_b 🇨🇦 13%

DavidPetraitis 12%

Dmitry Tantsur 11%

More like this

Find more →

Mastodon ＋

Lisa Maruca

@lisamaruca@c18.masto.host

336 Followers

Mastodon ＋

Todd

@caravan@heads.social

@davidpetraitis@toad.social

336 Followers

Mastodon ＋

Dmitry Tantsur ✓

@creepy_owlet@mastodon.online

Frequently asked questions

How much does Zhixuan Yang charge for a sponsorship?

Zhixuan Yang 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 Zhixuan Yang for a brand deal or collaboration?

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

Zhixuan Yang has 336 followers on Mastodon.

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

Zhixuan Yang Add us as a preferred source on Google

Make a deal with Zhixuan Yang

📊 Post engagement

📊 Activity & format

Recent posts

🐘 Community & instance

💡 Facts

🕵️ Fake follower check

About

🔀 Audience overlap

More like this

Frequently asked questions

✉ Message Zhixuan Yang

🎤 Event / appearance with Zhixuan Yang