Jacques Carette Add us as a preferred source on Google
🔄 Data last refreshed 16 hours ago
🤝
Make a deal with Jacques Carette
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
860
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 analysisfor Jacques Carette
📊 Post engagement
Recent posts · likes + reposts
Jul 14latest
8
Avg engagement / post
3–13
Typical post (engagement)
0.9%
Engagement vs followers
60/100
Consistent reach
May 2022
On Mastodon since
Half of recent posts land between 3 and 13 likes + reposts (median 5) — a dependable floor a sponsored post can count on.
🔥 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 373 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.
🕵️ Fake follower check
Estimated43/100
Fair
Credibility score
73%
Mixed
Real audience
Medium
Fake-follower risk
High
Data confidence
- Est. 73% real, active audience · Medium fake-follower risk.
- Low engagement (~0.9% of followers engage each post) — a sign of an inflated or inactive audience.
- 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.
More like this
Find more →
Mastodon
＋
Kody Kinzie
@skickar@infosec.exchange
860
Followers
Mastodon
＋
Loïc Sécheresse
@loicsecheresse@piaille.fr
860
Followers
Mastodon
＋
Thomas Kollatz ✓
@thomaskollatz@nrw.social
860
Followers
Mastodon
＋
MrEddy
@mreddy1933@cliff.social
860
Followers
Mastodon
＋
Meron Estefanos
@meron@dair-community.social
860
Followers
Mastodon
＋
brett
@brett@brettiverse.com
860
Followers
Frequently asked questions
How much does Jacques Carette charge for a sponsorship?
Jacques Carette 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 Jacques Carette for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify Jacques Carette, 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 Jacques Carette have?
Jacques Carette has 860 followers on Mastodon.
✉ 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.
Auto-generated from Mastodon's public data — no affiliation with or endorsement by SocialDB. Is this you? Claim it · Remove