LIVE
2.5M influencer listings 🏢36.5K sponsor listings 🌍56.45B combined audience reach 📊13 platforms indexed 🗺️130+ countries covered 🏷️10,000+ niches 🦋865.8K Bluesky creators 🟣718.7K Twitch creators 🎙️501.3K podcast creators 🐘145.8K Mastodon creators ▶️73.5K YouTube creators 🥊73K Kick creators ✈️48.5K Telegram creators 𝕏40.6K X creators 🎵19K TikTok creators 🎮5.6K Discord creators 🎬3.4K Rumble creators 🧵1.2K Threads creators 2.5M influencer listings 🏢36.5K sponsor listings 🌍56.45B combined audience reach 📊13 platforms indexed 🗺️130+ countries covered 🏷️10,000+ niches 🦋865.8K Bluesky creators 🟣718.7K Twitch creators 🎙️501.3K podcast creators 🐘145.8K Mastodon creators ▶️73.5K YouTube creators 🥊73K Kick creators ✈️48.5K Telegram creators 𝕏40.6K X creators 🎵19K TikTok creators 🎮5.6K Discord creators 🎬3.4K Rumble creators 🧵1.2K Threads creators
Alan Jeffrey

Alan Jeffrey

🔄 Data last refreshed 8 hours ago
🤝

Make a deal with Alan Jeffrey

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

Every booking is a normal escrow-protected deal.

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

Known for

📊 Post engagement

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

🔥 Top post: I finished watching, and I really have to say something, as I ha · 5 likes + reposts

📊 Activity & format

Posting cadence
0.99 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 10 text · 2 image · 0 video.
Follower / following
3.2×
Follows 140 back. A more reciprocal / networked account.
🔥 Top post I finished watching, and I really have to say something, as I have so many opinions! https://www.youtube.com/live/YCCp-mIFFAw My main opinion (brought on by recent work on Luau, not Memory Models) is that Human Aspects are super important. There's currently work on types (hi @Jo… ★ 5
🍿https://www.youtube.com/live/YCCp-mIFFAw ★ 1 POPL is on, and I hope everyone enjoys themselves, as this year's conference looks to be a barnstormer! ★ 2 Terminology question... Contra- and co-variance for function parameters and arguments are satisfied when S' <: S and T <: T' implies (S -> T) <: (S' -> T'). Okay, all so standard. So what do I call this when it's "if and only if"? ★ 1 I don't really understand how double-blind submissions of our work are meant to work, given that https://research.luau-lang.org/ is a road map of the next few years. ★ 5 Excellent coverage from the Eye about cancelled PhD funding of "world-leading AI safety" 🤢 ★ 2 Okay, that surprised me. "No results found for "semantic subtyping" "coppo types"." Has nobody really connected semantic subtyping with 1980s denotational semantics? ★ 3 My brain biopsy results came back. I have a Glioblastoma (malignant brain cancer) diagnosis, and a treatment plan. I'll post more details on my personal Mastodon https://mastodon.scot/@asaj/111499628133573665 ★ 2 Every so often I get reminded how badly my research fits the @ACM Computing Classification System. Where does research on type systems fit? It's not like I'm the only person working on types 🙄 ★ 4 Cc @ACM @johnjohnhui the context being that I was adding the licensing/copyright to https://research.luau-lang.org/ and realizing I didn't know what to say about the video. Does anyone know how to find the license a #SIGPLAN video is released under? E.g. I can't find the license for https://youtu.be/nziiBPtB0eQ - @johnjohnhui ? ★ 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
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 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 (~0.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

Programming Languages. Type Systems. The Luau programming language. He/him.

✉ Message Alan Jeffrey

Reaching out to influencers is a Pro feature. Upgrade to message any influencer directly — perfect for brands and agencies booking sponsorships.

See Pro $9.95/mo →

Already Pro? Log in.

🎤 Event / appearance with Alan Jeffrey

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

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