🇨🇦 Joey Eremondi✓ Add us as a preferred source on Google
🔄 Data last refreshed 1 day ago
🤝
Make a deal with 🇨🇦 Joey Eremondi
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
751
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 🇨🇦 Joey Eremondi
📊 Post engagement
Recent posts · likes + reposts
May 11latest
5
Avg engagement / post
2–9
Typical post (engagement)
0.7%
Engagement vs followers
67/100
Consistent reach
Jul 2023
On Mastodon since
Half of recent posts land between 2 and 9 likes + reposts (median 3) — a dependable floor a sponsored post can count on.
🔥 Top post: Every exam I invigilate I like to live dangerously by googling " · 11 likes + reposts
📊 Activity & format
Posting cadence
1.3 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 11 text · 1 image · 0 video.
Follower / following
1×
Follows 790 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
https://human-emacs.org/
Related to previous question, do (postulated) quotients play nicely with IR, with respect to termination?
E.g. I'm in a situation where the only thing I need funext for is showing that something is proof-irrelevant. So I can instead get ri…
Possibly relevant to @AndrasKovacs recent IIR paper?
Are there any papers that show MLTT is strongly normalizing if you add Induction Recursion and funext?
Or at least "has no infinitely reducing terms". I realize that there isn't canonicity (since there are now non-refl equality proofs), an…
I'm doing Well Founded Induction in Agda, but in my hypothesis, I need a proof that the proof of y < x is irrelevant. Is there a way to do this without resorting to Cubical/Quotients?
My understanding is that Rosette and G2 both require you to rewrite code to avoid general recursion, but I could be wrong.
Are there any symbolic execution/static analysis/abstract interpretation tools for functional programs that are already implemented and runnable?
Specifically that support HOFs and recursion. Obviously a heavy amount of conservative appro…
Sanity check... with ordinals (specifically Brouwer trees), you can't prove (∀ x . P (x)) from ∀ x . (P(x) ⟹ P(↑ x)), right?
E.g. in the induction principle, you get P(y) for all (y < x), but the property I'm proving is of the form Q(Σ[ a …
Currently sitting in on a Homotopy Colimit Summer school. I'm guessing it's mostly going to be beyond my background knowledge, but I'm wondering if any of these topics are likely to show up / be useful for dependent type stuff?
- Model cat…
Im June, I'm starting a project with an undergrad student where we're cataloguing and evaluating different error messages in dependently typed languages.
Right now, I'm planning to do Idris, Agda, Rocq and Lean.
I'm wondering, what are the…
What's the other 30%, Environment Canada?
What's the other 30%, Environment Canada?
🐘 Community & instance
Home server
mathstodon.xyz
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
✅ Link-verified
Verified link
Proved ownership of a website linked on their profile — Mastodon's green-check verification, a real identity signal rather than a paid badge.
On Mastodon since
Jul 2023
An established account with real history on the platform.
💡 Facts
🗓️Joined Mastodon in 2023 — 3 years ago.
👁️Averages 5 views per post.
📤Posts about 1.3× per week.
📍Based in Canada.
🕵️ Fake follower check
Estimated52/100
Fair
Credibility score
76%
Mixed
Real audience
Medium
Fake-follower risk
High
Data confidence
- Est. 76% real, active audience · Medium fake-follower risk.
- Low engagement (~0.7% of followers engage each post) — a sign of an inflated or inactive audience.
- Verified account.
- Established account (3+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
PL Researcher. Assistant Professor at the University of Regina. 🇨🇦
Currently recruiting grad students - see https://eremondi.com/post/recruiting-grad-2024/
Formerly a Newton International Fellow at the University of Edinburgh with Ohad Kammar, and before that, PhD at UBC with Ron Garcia.
Broadly interested in making it easier to prove software correct with dependent types. Projects include dependent pattern matching, gradual dependent types, and error message generation.
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Innocuous In Innisfil 🇨🇦
29%
The Crafty Miss
17%
Jude🇵🇸
16%
Rodrigo Santamaría
13%
enoclue
10%
abominabledrh
10%
More like this
Find more →
Mastodon
＋
Innocuous In Innisfil 🇨🇦
@paulbusch@cosocial.ca
751
Followers
Mastodon
＋
Rodrigo Santamaría
@efialto@mastodon.online
751
Followers
Mastodon
＋
enoclue ✓
@enoclue@ioc.exchange
751
Followers
Mastodon
＋
abominabledrh
@abominabledrh@mastodon.ie
751
Followers
Mastodon
＋
The Crafty Miss
@thedonsielass@mas.to
751
Followers
Mastodon
＋
Jude🇵🇸
@sister_ratched@toot.community
751
Followers
Frequently asked questions
How much does 🇨🇦 Joey Eremondi charge for a sponsorship?
🇨🇦 Joey Eremondi 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 🇨🇦 Joey Eremondi for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify 🇨🇦 Joey Eremondi, 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 🇨🇦 Joey Eremondi have?
🇨🇦 Joey Eremondi has 751 followers on Mastodon.
✉ Message 🇨🇦 Joey Eremondi
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 🇨🇦 Joey Eremondi
Booking an event / appearance is a Pro feature. Upgrade to book 🇨🇦 Joey Eremondi for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ 🇨🇦 Joey Eremondi 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