ℹ️ This listing was auto-generated from Mastodon's public data. joomy hasn't claimed it, and it doesn't imply any partnership with or endorsement of SocialDB.
Is this you? Claim it · Request removal (free).
🤝
Make a deal with joomy
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
394
Account age
2 yrs
💰 Suggested sponsorship rate
$40 – $65 / sponsored post
Estimated from audience size & typical reach — every deal is negotiable and held in SocialDB escrow.
🧰 Free analysis for 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
7
Avg engagement / post
1.8%
Engagement vs followers
Aug 2023
On Mastodon since
🔥 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 283 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 — 2 years ago.
👁️Averages 7 views per post.
📤Posts about 8.5× per week.
🕵️ Fake follower check
Estimated75/100
Good
Credibility score
92%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 92% real, active audience · Low fake-follower risk.
- Strong engagement (~1.8% of followers engage each post) — an active, real audience.
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.
James Fine Art (.ie)
18%
Eric Saeger, Writer
16%
Ciela-An Orca Ally
16%
BEAD
16%
PalmAndNeedle
16%
SouprMatt
11%
More like this
Find more →
Mastodon
Eric Saeger, Writer
@esaeger@universeodon.com
394
Followers
Mastodon
James Fine Art (.ie) ✓
@jamesfineart@mastodon.ie
394
Followers
Mastodon
SouprMatt
@mls14@social.vivaldi.net
394
Followers
Mastodon
Ciela-An Orca Ally
@ciela@mastodon.ie
394
Followers
Mastodon
BEAD
@bead@kolektiva.social
394
Followers
Mastodon
PalmAndNeedle
@palmandneedle@norden.social
394
Followers
✉ 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.