Alan Jeffrey

Mastodon @[email protected]

⚔ Compare ☆ Follow Own this channel?

🔄 Data last refreshed 16 hours ago

🤝

Make a deal with Alan Jeffrey

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

Followers

444

Account age

3 yrs

🎁 Free analysisfor Alan Jeffrey

🕵️Fake Followers CheckReal-audience % & bot risk→ 📊Engagement rateBenchmarked vs. peers→ 💰What they chargeFair sponsored-post price→

Known for

Okay, that surprised me. "No results found for "semantic subtyping" "coppo types"." Has nobody really connected semantic subtyping with 1980s denotational semantics?

3 views Okay, that surprised me. "No results found for "semantic subtyping" "coppo types"." Has nobody really connected semantic subtyping with 1980s denotational semantics?

2 views Excellent coverage from the Eye about cancelled PhD funding of "world-leading AI safety" 🤢

📊 Post engagement

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.

Recent posts

View on Mastodon ↗

🔥 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 1× 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.

🔀 Audience overlap

Estimated

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

Gocha :prami: 15%

Colin Sidre 15%

Samuel 14%

NorthwestProgressiveInstitute 13%

Frau Dokta 12%

Cami 12%

More like this

NorthwestProgressiveInstitute

@[email protected]

444 Followers

Frequently asked questions

How much does Alan Jeffrey charge for a sponsorship?

Alan Jeffrey 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 Alan Jeffrey for a brand deal or collaboration?

Send a paid deal or collab request right here on SocialDB — we notify Alan Jeffrey, 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 Alan Jeffrey have?

Alan Jeffrey has 444 followers on Mastodon.

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

Alan Jeffrey

Make a deal with Alan Jeffrey

Known for

📊 Post engagement

📊 Activity & format

Recent posts

🐘 Community & instance

💡 Facts

🕵️ Fake follower check

About

🔀 Audience overlap

More like this

Frequently asked questions

✉ Message Alan Jeffrey

🎤 Event / appearance with Alan Jeffrey