Trebor Add us as a preferred source on Google
🔄 Data last refreshed 1 day ago
🤝
Make a deal with Trebor
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
274
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 Trebor
📊 Post engagement
Recent posts · likes + reposts
Jul 19latest
3
Avg engagement / post
2–4
Typical post (engagement)
1.1%
Engagement vs followers
79/100
Very consistent reach
Nov 2022
On Mastodon since
Half of recent posts land between 2 and 4 likes + reposts (median 3) — a dependable floor a sponsored post can count on.
🔥 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
4×
Follows 68 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
Do systems like NuPRL and Istari have topos (or at leadt presheaf) semantics? This is prompted by the Istari STC mechanization paper.
If a programming language gets access to forall : (Nat -> Bool) -> Bool, would the denotational semantics be ω1-directed complete partial orders?
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?
Back in Indiana
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
🐘 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
Estimated66/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.1% 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
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Woke Leftist Trash
13%
JHaworth
13%
Sinead Quealy
13%
![Eth[̲̅a]n H[̲̅a]nsen :donor:](/img?u=https%3A%2F%2Fmedia.infosec.exchange%2Finfosec.exchange%2Faccounts%2Favatars%2F000%2F117%2F909%2Foriginal%2Fb0dcba4f43f01eea.jpg)
Eth[̲̅a]n H[̲̅a]nsen :donor:
12%
Thomas Neubauer
10%
More like this
Find more →
Mastodon
＋
Woke Leftist Trash
@agentultra@types.pl
273
Followers
Mastodon
＋
![Eth[̲̅a]n H[̲̅a]nsen :donor:](/img?u=https%3A%2F%2Fmedia.infosec.exchange%2Finfosec.exchange%2Faccounts%2Favatars%2F000%2F117%2F909%2Foriginal%2Fb0dcba4f43f01eea.jpg&ph=E)
Eth[̲̅a]n H[̲̅a]nsen :donor: ✓
@farewell_ladmin@infosec.exchange
274
Followers
Mastodon
＋
JHaworth
@jhaworth@mindly.social
274
Followers
Mastodon
＋
Lily
@lilyf@fosstodon.org
274
Followers
Mastodon
＋
Thomas Neubauer
@groberschnitzer@graz.social
274
Followers
Mastodon
＋
Sinead Quealy
@sinead_quealy@ieji.de
274
Followers
Frequently asked questions
How much does Trebor charge for a sponsorship?
Trebor 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 Trebor for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify Trebor, 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 Trebor have?
Trebor has 274 followers on Mastodon.
✉ 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
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
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