LIVE
⭐3.22M influencer listings 🏢44.2K sponsor listings 🌍62.45B combined audience reach 📊13 platforms indexed 🗺️130+ countries covered 🏷️10,000+ niches 🦋1.21M Bluesky creators 🎙️781.1K podcast creators 🟣749.4K Twitch creators 🐘151.2K Mastodon creators 🥊84.6K Kick creators ▶️78.5K YouTube creators 𝕏54.7K X creators ✈️52.5K Telegram creators 🎵24.8K TikTok creators 📈20K Pinterest creators 🎮5.8K Discord creators 🎬3.7K Rumble creators 📈1.7K Substack creators 🧵1.4K Threads creators ⭐3.22M influencer listings 🏢44.2K sponsor listings 🌍62.45B combined audience reach 📊13 platforms indexed 🗺️130+ countries covered 🏷️10,000+ niches 🦋1.21M Bluesky creators 🎙️781.1K podcast creators 🟣749.4K Twitch creators 🐘151.2K Mastodon creators 🥊84.6K Kick creators ▶️78.5K YouTube creators 𝕏54.7K X creators ✈️52.5K Telegram creators 🎵24.8K TikTok creators 📈20K Pinterest creators 🎮5.8K Discord creators 🎬3.7K Rumble creators 📈1.7K Substack creators 🧵1.4K Threads creators
Cody

Cody

Mastodon @codyroux@mathstodon.xyz
⚔ Compare ☆ Follow Own this channel?
🔄 Data last refreshed 17 hours ago
🤝

Make a deal with Cody

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

📣Sponsored postOne disclosed post (toot) with your link and message. $12→ 🧵Sponsored threadA multi-post explainer or story — the fediverse rewards dept… $30→ 📦Product seeding / honest reviewSend me your product — I post a disclosed, honest take. Auth… $16→ 📌Pinned sponsored postA disclosed post pinned to the top of my profile for the mon… $36/mo→ 🔗Profile link (bio field)Your link in one of my profile metadata fields for the month… $18/mo→ 🔁Boost packageI boost (repost) your account's toots through the month — di… $24/mo→ 🏛️Instance / community sponsorshipSponsor the server I run — a sponsor line in the About/rules… $30/mo→ 🤝Mutual boost collabWe boost each other across instances — a value swap between … Swap→ 🎬UGC HireBranded content for your own channels & ads from $50→ 🎙️Podcast guest spotInvite Cody onto your podcast (~45 min, remote) $26→ 📞1:1 ConsultPaid video call — advice, coaching or Q&A $75/hr→

Every booking is a normal escrow-protected deal.

Followers
222
Account age
4 yrs
🎁 Free analysisfor Cody
🕵️Fake Followers CheckReal-audience % & bot risk→ 📊Engagement rateBenchmarked vs. peers→ 💰What they chargeFair sponsored-post price→

📊 Post engagement

3
Avg engagement / post
1.4%
Engagement vs followers
May 2022
On Mastodon since

🔥 Top post: Super pumped to have interviewed Loic Pujet (@typeintype) for a · 10 likes + reposts

📊 Activity & format

Posting cadence
0.48 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 11 text · 1 image · 0 video.
Follower / following
1×
Follows 217 back. A more reciprocal / networked account.

Recent posts

View on Mastodon ↗
🔥 Top post Super pumped to have interviewed Loic Pujet (@typeintype) for a new episode! We talked about extensionality in type theory, which comes up a lot in practice (and in theory). https://open.spotify.com/episode/5B8uY9mdMzKNcqy9WkG5cn?si=OrhgF2J5QH-T6OVZH8ygBg as usual, the RSS: http… ★ 10
A bunch of reddit discourse about how "TREE(n) is prime when n is prime" as being some impossible question. I suspect it's pretty easy to prove false. Thoughts? ★ 3 God I don't even know how to format code on this site. What a <code>noob</code>. ★ 1 Ok here's something that makes me sad. Hopefully you bright kids can enlighten me: Here's a trivial CBV evaluator for STLC (in lean, whatever): ``` inductive EvaluatesTo : Env → Term → Term → Prop where | var (h : n < γ.length) : Evaluates… ★ 3 Talking about complexity theory barriers with @sandmouth ! Barriers to proof is the coolest thing ever. It's like a specific kind of impossibility proof for a certain *technique*. Making this formal is a little fiddly though. People have t… ★ 6 I'm on a complexity theory kick right now and I gotta say: it's pretty nuts. Did you know there's no-go theorems on obfuscation? ★ 1 wtf?! what's this highlighting? How did I do this? Hey I now just realized that a conservativity statement is just a completeness statement for a very poor class of models! I guess that's a proof strategy. There's an obvious algorithm to build a grammar for neutral and normal forms from a rewrite system, at least for first order rewrite systems. Has anyone implemented this algorithm? Absolute torture of dependent hell, with a complicated goal that was impervious to `rewrite` in Lean. After hours of hair pulling, I realized `congr 1` trivializes it. Proof irrelevance is weird. ★ 1 Did I mention I have a proof of completeness of unification? I'm very proud. https://github.com/codyroux/traat-lean/blob/c7330f03fc2c6b3c82be2dc6f351568c3ab1bdf0/Traat/chapter3.lean#L1059 I'm on the road to the critical pair lemma, but it … ★ 4 Kinda weird that deduction is naturally an inductive, whereas "models" is naturally a recursive. ★ 2

🐘 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
May 2022
An established account with real history on the platform.

💡 Facts

🗓️Joined Mastodon in 2022 — 4 years ago.
👁️Averages 3 views per post.
📤Posts about 0.5× per week.

🕵️ Fake follower check

Estimated
80/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 (~1.4% of followers engage each post) — an active, real audience.
  • Established account (4+ years old).

Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.

About

Hacker at Quarkslab. Proof theory enthusiast. Ultrafinitist.

🔀 Audience overlap

Estimated

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

reinoud kaasschieter reinoud kaasschieter 16% Todor Hlebarov Todor Hlebarov 16% Toni Michel Toni Michel 15% Jack Scanlan Jack Scanlan 15% D. D. 14% Cécile L. Cécile L. 12%

More like this

Find more →
Mastodon
Toni Michel
Toni Michel
@tonimichel_@mastodon.world
222 Followers
Mastodon
Jack Scanlan
Jack Scanlan ✓
@jacklscanlan@ecoevo.social
222 Followers
Mastodon
reinoud kaasschieter
reinoud kaasschieter ✓
@reinoudk@mastodon.nl
222 Followers
Mastodon
Cécile L.
Cécile L.
@ceclec@piaille.fr
222 Followers
Mastodon
Todor Hlebarov
Todor Hlebarov ✓
@todor@mograph.social
222 Followers
Mastodon
D.
D.
@polytropicprodigal@pixelfed.social
222 Followers

✉ Message Cody

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
See Pro $9.95/mo →

Already Pro? Log in.

🎤 Event / appearance with Cody

Booking an event / appearance is a Pro feature. Upgrade to book Cody for an in-person or virtual appearance — payment held safely in escrow until the event is done.

  • ✓ Book them for events, livestreams, panels & more
  • ✓ Cody gets notified by email
  • ✓ Fee held in escrow, released after the appearance
See Pro $9.95/mo →

Already Pro? Log in.

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