LIVE
⭐2.64M influencer listings 🏢38.1K sponsor listings 🌍57.46B combined audience reach 📊13 platforms indexed 🗺️130+ countries covered 🏷️10,000+ niches 🦋937.1K Bluesky creators 🟣724.9K Twitch creators 🎙️553.2K podcast creators 🐘146.8K Mastodon creators 🥊75.1K Kick creators ▶️75.1K YouTube creators ✈️49.1K Telegram creators 𝕏43.6K X creators 🎵20.3K TikTok creators 🎮5.7K Discord creators 🎬3.5K Rumble creators 🧵1.3K Threads creators ⭐2.64M influencer listings 🏢38.1K sponsor listings 🌍57.46B combined audience reach 📊13 platforms indexed 🗺️130+ countries covered 🏷️10,000+ niches 🦋937.1K Bluesky creators 🟣724.9K Twitch creators 🎙️553.2K podcast creators 🐘146.8K Mastodon creators 🥊75.1K Kick creators ▶️75.1K YouTube creators ✈️49.1K Telegram creators 𝕏43.6K X creators 🎵20.3K TikTok creators 🎮5.7K Discord creators 🎬3.5K Rumble creators 🧵1.3K Threads creators
Trebor

Trebor

Mastodon @trebor@types.pl
⚔ Compare ☆ Watch Own this channel?
🔄 Data last refreshed 9 hours ago
🤝

Make a deal with Trebor

🔒 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 Trebor onto your podcast (~45 min, remote) $26→

Every booking is a normal escrow-protected deal.

Followers
254
Account age
3 yrs
🧰 Free analysis for Trebor
🕵️ Fake follower check 📊 Engagement rate 💰 What they charge

Known for

By analogy, we can consider presenting a GAT where the declarations are arranged in a well founded poset, or define infinitary versions of GAT where the arguments of each operation are arranged in this way. It makes writing them dowm so much fun! This also allows things like Gabriel–Ulmer dualities to extend to infinitary versions for GATs, like the classical theory of essentially algebraic (lex) 5 views By analogy, we can consider presenting a GAT where the declarations are arranged in a well founded poset, or define infinitary versions of GAT where the arguments of each operation are arranged in this way. It makes writing them dowm so much fun! This also allows things like Gabriel–Ulmer dualities to extend to infinitary versions for GATs, like the classical theory of essentially algebraic (lex)

📊 Post engagement

3
Avg engagement / post
1.2%
Engagement vs followers
Nov 2022
On Mastodon since

🔥 Top post: Is it possible to add (simple) coinductive types to MLTT with no · 5 likes + reposts

📊 Activity & format

Posting cadence
8 / week
Toots daily — consistently active for a campaign window.
Content mix
Mostly text
Recent: 11 text · 1 image · 0 video.
Follower / following
3.7×
Follows 68 back. A more reciprocal / networked account.

Recent posts

View on Mastodon ↗
🔥 Top post Is it possible to add (simple) coinductive types to MLTT with normalization and canonicity, but without any form of guardedness/productiveness checking? For inductive types we can just use the eliminator to avoid implementing termination checking. ★ 5
Do systems like NuPRL and Istari have topos (or at leadt presheaf) semantics? This is prompted by the Istari STC mechanization paper. ★ 2 If a programming language gets access to forall : (Nat -> Bool) -> Bool, would the denotational semantics be ω1-directed complete partial orders? ★ 1 whoever thought of the name "local store" and thought it was a good idea Ok, so this paper would probably answer my question, but I haven't read it yet https://doi.org/10.2307/2586596 How precisely is the continuity of all functions expressible in PCF, say of type (N -> N) -> N related to Scott continuity of its domain semantics (N_\bot -> N_\bot) -> N_\bot? ★ 1 Back in Indiana ★ 2 By analogy, we can consider presenting a GAT where the declarations are arranged in a well founded poset, or define infinitary versions of GAT where the arguments of each operation are arranged in this way. It makes writing them dowm so mu… ★ 5 In the paper, we use an analogy/duality between dependent stuff and cell complexes: A depending on B is like saying the "boundary" of A is B; and building up a context/telescope is like building a cell complex by attaching cells one by one… ★ 4 This makes it difficult if we want to have infinitely many things depending on each other, for both kinds of dependencies: We want to define GATs with infinitely many declarations, and infinitely many variables (infinitary) in a declaratio… ★ 3 The second is that the different declarations (sorts/operations/equations) also depend on declarations coming before them. This already occurs in a restricted way for ordinary algebraic theories, where to declare an operation, you obviousl… ★ 3 The first is that the input variables can have dependent sorts (and in the case of an operation, the output sort can depend on the input). In the definition of a category, composition takes five variables: three objects X,Y,Z and two arrow… ★ 3

🐘 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
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 3 views per post.
📤Posts about 8× 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 (~1.2% 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

PhD student at IUB interested in type theory and music and stuff

🔀 Audience overlap

Estimated

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

Michael Michael 17% Ageric Ageric 15% Jeroen Jeroen 12% Topi-Matti Heikkola Topi-Matti Heikkola 11% uomomosca uomomosca 11% Jez Higgins Jez Higgins 11%

More like this

Find more →
Mastodon
Michael
Michael ✓
@mykl@infosec.exchange
254 Followers
Mastodon
Topi-Matti Heikkola
Topi-Matti Heikkola ✓
@tmheikkola@social.coop
254 Followers
Mastodon
Ageric
Ageric
@ageric@flipping.rocks
254 Followers
Mastodon
uomomosca
uomomosca
@uomomosca@livellosegreto.it
254 Followers
Mastodon
Jeroen
Jeroen
@jeroenschaper@mastodon.design
254 Followers
Mastodon
Jez Higgins
Jez Higgins ✓
@jezhiggins@mastodon.me.uk
254 Followers

✉ Message Trebor

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 Trebor

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

  • ✓ Book them for events, livestreams, panels & more
  • ✓ Trebor 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