LIVE
⭐3.5M influencer listings 🏢47.4K sponsor listings 🌍64.4B combined audience reach 📊13 platforms indexed 🗺️130+ countries covered 🏷️10,000+ niches 🦋1.4M Bluesky creators 🎙️892.5K podcast creators 🟣761.6K Twitch creators 🐘153.1K Mastodon creators 🥊89.1K Kick creators ▶️79.9K YouTube creators 𝕏60K X creators ✈️53.9K Telegram creators 📈31.5K Pinterest creators 🎵27.3K TikTok creators 🎮7.3K Discord creators 🎬3.8K Rumble creators 📈1.9K Substack creators 🧵1.4K Threads creators ⭐3.5M influencer listings 🏢47.4K sponsor listings 🌍64.4B combined audience reach 📊13 platforms indexed 🗺️130+ countries covered 🏷️10,000+ niches 🦋1.4M Bluesky creators 🎙️892.5K podcast creators 🟣761.6K Twitch creators 🐘153.1K Mastodon creators 🥊89.1K Kick creators ▶️79.9K YouTube creators 𝕏60K X creators ✈️53.9K Telegram creators 📈31.5K Pinterest creators 🎵27.3K TikTok creators 🎮7.3K Discord creators 🎬3.8K Rumble creators 📈1.9K Substack creators 🧵1.4K Threads creators
Loïc Pujet

Loïc Pujet

Mastodon @typeintype@types.pl
⚔ Compare ☆ Follow Own this channel?
🔄 Data last refreshed 7 hours ago
🤝

Make a deal with Loïc Pujet

🔒 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 Loïc Pujet onto your podcast (~45 min, remote) $25→ 📞1:1 ConsultPaid video call — advice, coaching or Q&A $75/hr→

Every booking is a normal escrow-protected deal.

Followers
162
Account age
3 yrs
🎁 Free analysisfor Loïc Pujet
🕵️Fake Followers CheckReal-audience % & bot risk→ 📊Engagement rateBenchmarked vs. peers→ 💰What they chargeFair sponsored-post price→

📊 Post engagement

6
Avg engagement / post
3.7%
Engagement vs followers
Dec 2022
On Mastodon since

🔥 Top post: Please consider submitting an abstract to the Rocqshop 2025 (for · 12 likes + reposts

📊 Activity & format

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

Recent posts

View on Mastodon ↗
🔥 Top post Please consider submitting an abstract to the Rocqshop 2025 (formerly the Coq Workshop)! https://coq-workshop.gitlab.io/2025/ This year's Rocqshop will be co-located with ITP in Reykjavik, Iceland -- but remote presentations are very welcome, too. Submissions should take the for… ★ 12
RE: https://types.pl/@typeintype/116420696047590601 The deadline is extended to May 27. Work in progress is very welcome too! ★ 5 It is that time of the year again -- please consider submitting an abstract to the Rocqshop 2026! https://coq-workshop.gitlab.io/2026/ This year's Rocqshop will take place on July 25 in Lisbon, right before ITP'26. Remote presentations are… ★ 9 Would classical calculi such as lambda-bar-mu-mu-tilde be a reasonable base for a proof assistant for classical mathematics? Are there advantages compared to constructive type theory with classical axioms? ★ 1 Silly opinion of the week: Σ-types are called "dependent products" by some type theorists, while some others do not agree, because it clashes with mathematical usage. I say it's the mathematical usage that is wrong: "iterated sums" and int… I will be in Paris for most of the month of December, to visit some research groups and to attend the PhD defense of Martin Baillon in Nantes (about continuity in type theory!) Although Sweden is a wonderful country, I'm looking forward to… ★ 6 👋​ ★ 4

🐘 Community & instance

Home server
types.pl
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
On Mastodon since
Dec 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 6 views per post.
📤Posts about 0× 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 (~3.7% 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

I am an associate professor in Strasbourg University, France. I enjoy all the different flavours of dependent type theory!

🔀 Audience overlap

Estimated

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

R.J. R.J. 18% katharoutina katharoutina 18% 🍕CatSalad🐈🥗〰️␎.꜖ꜞⁿⁱˣ.🍕 🍕CatSalad🐈🥗〰️␎.꜖ꜞⁿⁱˣ.🍕 15% Purple Creativity Purple Creativity 15% Henri Henri 14% Matt Organ Matt Organ 11%

More like this

Find more →
Mastodon
Matt Organ
Matt Organ
@slater450413@infosec.exchange
162 Followers
Mastodon
🍕CatSalad🐈🥗〰️␎.꜖ꜞⁿⁱˣ.🍕
🍕CatSalad🐈🥗〰️␎.꜖ꜞⁿⁱˣ.🍕 ✓
@catsalad@social.linux.pizza
162 Followers
Mastodon
R.J.
R.J. ✓
@rj@dice.camp
162 Followers
Mastodon
katharoutina
katharoutina
@katharoutina@mastodon.social
162 Followers
Mastodon
Henri
Henri
@henri@climatejustice.social
162 Followers
Mastodon
Purple Creativity
Purple Creativity
@alexdti@mastodon.art
162 Followers

✉ Message Loïc Pujet

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 Loïc Pujet

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

  • ✓ Book them for events, livestreams, panels & more
  • ✓ Loïc Pujet 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