joomy Add us as a preferred source on Google
🔄 Data last refreshed 1 day ago
🤝
Make a deal with joomy
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
428
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 joomy
Known for
5 views
you know what, when I first watched the show I thought this was just a joke, but now that I have a toddler that refuses to eat most things but loves fruit, I kinda get it
5 views
why is my timeline obsessed with kouign amanns? maybe I should quit computer science and devote my life to popularizing Bursa-style tahinli pide (flatbread with tahini topping, see https://en.wikipedia.org/wiki/Tahinli_pide) in the US...
1 views
RE: https://chaos.social/@jonty/116969430320624869
bringing this kind of energy to my timeline
📊 Post engagement
Recent posts · likes + reposts
Jul 21latest
7
Avg engagement / post
2–9
Typical post (engagement)
1.6%
Engagement vs followers
58/100
Consistent reach
Aug 2023
On Mastodon since
Half of recent posts land between 2 and 9 likes + reposts (median 5) — a dependable floor a sponsored post can count on.
🔥 Top post: 🌶️ "Why Rocq is better than Lean for program verification": A wr · 20 likes + reposts
📊 Activity & format
Posting cadence
8.5 / week
Toots daily — consistently active for a campaign window.
Content mix
Mostly text
Recent: 9 text · 3 image · 0 video.
Follower / following
1.4×
Follows 297 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
I'm so done with the discussions on the renaming of Coq to Rocq. almost all of the comments on Lobsters about my blog post are about the renaming. I don't care if you were for or against it, it's old news now, get over it already. https://…
there's so much plum talk on my timeline that I want to have Georgian plum stew now
you know what, when I first watched the show I thought this was just a joke, but now that I have a toddler that refuses to eat most things but loves fruit, I kinda get it
Is there a Rocq equivalent of Lean’s comparator out there?
@markusde you made it to a slide: https://leodemoura.github.io/static/floc26/#/47
(also Crazy Ex-Girlfriend was a masterpiece of TV and it's unfortunate that it is so rarely talked about in modern pop culture)
RE: https://chaos.social/@jonty/116969430320624869
bringing this kind of energy to my timeline
if you think about it, pljeskavica is a balkan cheeseburger
my Turkish programming language paper got into HATRA 2026, so see y'all in Oakland at SPLASH! https://conf.researchr.org/home/splash-issta-2026/hatra-2026#event-overview
(but also, there were only 4 submissions to HATRA this year? that's k…
why is my timeline obsessed with kouign amanns? maybe I should quit computer science and devote my life to popularizing Bursa-style tahinli pide (flatbread with tahini topping, see https://en.wikipedia.org/wiki/Tahinli_pide) in the US...
lol, the ICFP registration form asks for my legal name and says it will ask for my preferred name later for printing a badge, and it never does
you know what, when I first watched the show I thought this was just a joke, but now that I have a toddler that refuses to eat most things but loves fruit, I kinda get it
Is there a Rocq equivalent of Lean’s comparator out there?
@markusde you made it to a slide: https://leodemoura.github.io/static/floc26/#/47
(also Crazy Ex-Girlfriend was a masterpiece of TV and it's unfortunate that it is so rarely talked about in modern pop culture)
RE: https://chaos.social/@jonty/116969430320624869
bringing this kind of energy to my timeline
if you think about it, pljeskavica is a balkan cheeseburger
my Turkish programming language paper got into HATRA 2026, so see y'all in Oakland at SPLASH! https://conf.researchr.org/home/splash-issta-2026/hatra-2026#event-overview
(but also, there were only 4 submissions to HATRA this year? that's k…
why is my timeline obsessed with kouign amanns? maybe I should quit computer science and devote my life to popularizing Bursa-style tahinli pide (flatbread with tahini topping, see https://en.wikipedia.org/wiki/Tahinli_pide) in the US...
lol, the ICFP registration form asks for my legal name and says it will ask for my preferred name later for printing a badge, and it never does
🐘 Community & instance
Home server
functional.cafe
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
On Mastodon since
Aug 2023
An established account with real history on the platform.
💡 Facts
🗓️Joined Mastodon in 2023 — 3 years ago.
👁️Averages 7 views per post.
📤Posts about 8.5× per week.
📍Based in Turkey.
🕵️ Fake follower check
Estimated80/100
Excellent
Credibility score
97%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 97% real, active audience · Low fake-follower risk.
- Strong engagement (~1.6% of followers engage each post) — an active, real audience.
- Established account (3+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
researcher at Bloomberg 🅱️. somehow a computer doctor. 🐅
posts about functional programming, metaprogramming, proof assistants, and sometimes about linguistics, or Turkey.
📸 Gallery
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Rob Sanderson
17%
Joël Métreau
16%
Astronot
13%
Hélène Lœvenbruck
11%
Diego Mascarell ⁂ :esperanto: 🏳️🌈 🇵🇸
10%
Digitalcourage OG Kiel
10%
More like this
Find more →
Mastodon
＋
Astronot
@astronot@mastodon.online
428
Followers
Mastodon
＋
Joël Métreau
@jometro@piaille.fr
428
Followers
Mastodon
＋
Diego Mascarell ⁂ :esperanto: 🏳️🌈 🇵🇸
@mascarelldiego@tkz.one
428
Followers
Mastodon
＋
Rob Sanderson
@azaroth42@w3c.social
428
Followers
Mastodon
＋
Digitalcourage OG Kiel
@dc_og_kiel@digitalcourage.social
428
Followers
Mastodon
＋
Hélène Lœvenbruck
@loevenbruckln@mas.to
428
Followers
Frequently asked questions
How much does joomy charge for a sponsorship?
joomy 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 joomy for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify joomy, 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 joomy have?
joomy has 428 followers on Mastodon.
✉ Message joomy
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 joomy
Booking an event / appearance is a Pro feature. Upgrade to book joomy for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ joomy 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