🤝
Make a deal with Jeremy Gibbons
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
955
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 Jeremy Gibbons
📊 Post engagement
32
Avg engagement / post
3.4%
Engagement vs followers
Aug 2023
On Mastodon since
🔥 Top post: Sent off to the publisher today. At last! Still got the index, t · 241 likes + reposts
📊 Activity & format
Posting cadence
0.35 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 11 text · 1 image · 0 video.
Follower / following
7.1×
Follows 135 back. A strong ratio — an audience that follows them, not a follow-for-follow network.
Recent posts
View on Mastodon ↗
🔥 Top post
Sent off to the publisher today. At last! Still got the index, the solutions to exercises, and a proofread to go. But the end is in sight.
@pigworker Kellogg have emailed you, via conor@strictly. Have you received it? There's a link for you to pay "within 24h".
@pigworker I have a note in my diary that you may be visiting en route to Bristol. Is that still the plan?
I should declare that the cover image is my mockup, using "Kekub" by Victor Vasarely: https://en.vasarely.hu/artworks/15371/
RE: https://functional.cafe/@jer_gib/116817784747796292
Now also mentioned on my blog, with a link to a provisional table of contents: https://patternsinfp.wordpress.com/2026/06/27/progress-on-the-book/
@pigworker You'll enjoy this month's Guardian Genius crossword
Among his many other accolades, Tony Hoare was an Honorary Fellow at Kellogg College, University of Oxford. I wrote this obituary of him for college. https://www.kellogg.ox.ac.uk/news/remembering-honorary-fellow-sir-charles-anthony-richard…
Last boost: "The high-profile use of [LLMs] to solve a critical problem in the UK pension system might be an interesting test case. Whether scheme members who want their money or information about their investments see it that way is anoth…
Last boost: pretty sobering. What use are correct programs when the hardware is not?
Last boost: "I find the abandonment of the project of soundness depressing."
For the record, I'm now sorted, thanks to @zyang. The trick was to use @jaror 's repo. I also had a compilation error (from gcc!), but that turned out to be a bug in ghc 9.4, fixed in 9.6.
Haskell gurus: is it still possible these days (on a modern Mac) to run the Haskell School of Expression code from Paul Hudak's book? My attempts to install HGL and GLFW have been unsuccessful.
🐘 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 32 views per post.
📤Posts about 0.4× per week.
🛡️ Audience credibility
75/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 (~3.4% 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
Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Formerly @jer_gib.
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Roy #EatTheRich Pardee 🇺🇸 ☘️
18%
Inveterate Docsplainer
14%
The Drop Bear 2.0 :angery:
14%
Erik Ellestad
12%
Bohdan Dlouhý
12%
OpenCitations
10%
More like this
Find more →
Mastodon
Erik Ellestad ✓
@ellestad@sfba.social
955
Followers
Mastodon
Roy #EatTheRich Pardee 🇺🇸 ☘️ ✓
@rpardee@hachyderm.io
955
Followers
Mastodon
Inveterate Docsplainer
@lowlyadjunct@mastodon.social
955
Followers
Mastodon
The Drop Bear 2.0 :angery:
@dropbear@aus.social
955
Followers
Mastodon
Bohdan Dlouhý
@bohdandlouhy@mastodonczech.cz
955
Followers
Mastodon
OpenCitations
@opencitations@scicomm.xyz
955
Followers
✉ Message Jeremy Gibbons
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 Jeremy Gibbons
Booking an event / appearance is a Pro feature. Upgrade to book Jeremy Gibbons for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Jeremy Gibbons 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.