🤝
Make a deal with Jacques Carette
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
836
Account age
4 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 Jacques Carette
📊 Post engagement
8
Avg engagement / post
1%
Engagement vs followers
May 2022
On Mastodon since
🔥 Top post: The panbench paper, co-authored with @totbwf published at ITP 2 · 27 likes + reposts
📊 Activity & format
Posting cadence
6.2 / week
Posts several times a week.
Content mix
Mostly text
Recent: 11 text · 1 image · 0 video.
Follower / following
2.3×
Follows 362 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
Wow, moving from Haskell2010 to GHC2024 allowed for a huge number of language pragmas to be deleted from my group's large Haskell project.
A pain to review a PR with 201 files changed, great to review a PR that is almost all deletions.
Oh, the joys of being "Associate Chair, Graduate Studies". Typical situation:
Student comes to me with sob story, making me feel quite sympathetic. I talk with the supervisor; no part of the story is false, but a couple of crucial points w…
Is there a way to say "let X be an inductive type" inside Agda?
Is the closest I can say is "Suppose X is equivalent to a W-type"?
Looks like a new game is emerging amongst AI-piled people: token use optimization. Because otherwise their addiction is simply too expensive!
Of course we don't benchmark proofs! That would be > 1 PhD's worth of work to 'unify' that. But the basic language of declarations and functions of all 4 is quite unifiable.
The point of the paper is to benchmark "the easy stuff", i.e. whe…
I have now read some Claude-generated Agda. It was not a pleasant experience at all (massive understatement.)
Let's just say that its style is quite the opposite of the style found in any of agda-stdlib, 1lab and agda-categories.
I have Maphra's cover of Faouzia's "Unethical" stuck in my head. At least it's really good, so there are worse earworms.
Weather for next 36 hours: smoke.
It really is very bad out there -- hazy and smells of burning wood.
arxiv features that I want: negative filtering.
I don't want to see any paper whose main category is cs.AI, even if it is cross-posted to cs.SE or cs.PL. I also don't want to see papers with main category cs.SE/cs.PL which have cs.AI as se…
Part of the abstract of a paper on arxiv today:As part of the AAAI-26 review process, we (conference organizers) compared AAAI main-track submissions to nine other archival venues with overlapping
review periods. We also searched for dual …
When even the abstract is complete nonsense. Sigh.
Weather for next 36 hours: smoke.
It really is very bad out there -- hazy and smells of burning wood.
arxiv features that I want: negative filtering.
I don't want to see any paper whose main category is cs.AI, even if it is cross-posted to cs.SE or cs.PL. I also don't want to see papers with main category cs.SE/cs.PL which have cs.AI as se…
Part of the abstract of a paper on arxiv today:As part of the AAAI-26 review process, we (conference organizers) compared AAAI main-track submissions to nine other archival venues with overlapping
review periods. We also searched for dual …
When even the abstract is complete nonsense. Sigh.
🐘 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
May 2022
An established account with real history on the platform.
💡 Facts
🗓️Joined Mastodon in 2022 — 4 years ago.
👁️Averages 8 views per post.
📤Posts about 6.2× per week.
🛡️ Audience credibility
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 (~1.0% of followers engage each post) is around typical for Mastodon.
- Established account (4+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
Computing Scientist, ex-mathematician. Currently in academia, spent considerable time in industry as well. Into weird programming languages and the outer parts of programming and software engineering. Currently exploring metaprogramming, quantum programming, DSLs and "generate everything".
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Silent Beauties
18%
Art Of Fleeks / Ayvaire
18%
Mario Munoz
15%
Eliot Lash
12%
RichardInSandy
10%
near
10%
More like this
Find more →
Mastodon
Silent Beauties
@silentbeauties@toot.community
836
Followers
Mastodon
RichardInSandy
@richardinsandy@c.im
836
Followers
Mastodon
Mario Munoz ✓
@pythonbynight@hachyderm.io
836
Followers
Mastodon
near ✓
@computersandblues@post.lurk.org
836
Followers
Mastodon
Art Of Fleeks / Ayvaire
@fleeks@socel.net
836
Followers
Mastodon
Eliot Lash ✓
@eliot_l@social.coop
836
Followers
✉ Message Jacques Carette
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 Jacques Carette
Booking an event / appearance is a Pro feature. Upgrade to book Jacques Carette for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Jacques Carette 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.