jules Add us as a preferred source on Google
🔄 Data last refreshed 28 days ago
🤝
Make a deal with jules
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
199
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 jules
📊 Post engagement
Recent posts · likes + reposts
Mar 15latest
4
Avg engagement / post
2–5
Typical post (engagement)
2%
Engagement vs followers
71/100
Consistent reach
Sep 2023
On Mastodon since
Half of recent posts land between 2 and 5 likes + reposts (median 3) — a dependable floor a sponsored post can count on.
🔥 Top post: I’d like to propose an addition to @pigworker’s advice that one · 8 likes + reposts
📊 Activity & format
Posting cadence
0.59 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 12 text · 0 image · 0 video.
Follower / following
1.4×
Follows 139 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
Terms of a second-order abstract syntax indexed by a variable and metavariable form a near semiring where the two products correspond substitution and meta-substitution 😁
@pigworker have you thought about opetope thinnings?
@julesh saw this on the evil website, thought it might interest you
https://x.com/VictorTaelin/status/2056595271920816587
This means we can use the trick for other things! One useful monad of this form comes from packaging an element of a type family with an identity proof about its index in order to yield a monad which helps you avoid subst clutter. We can e…
This also gives greater perspective on *why* in @pigworker’s original paper “things-with-thinnings” satisfies monad laws. Left kan extensions along a functor F : C -> D always yields a monad on [C, E] when E is cocomplete via the adjunctio…
This trick of course can also take us from linear terms to affine terms as well. Perhaps more novel though: we can also consider other functors out of the discrete category of scopes. The inclusion functor into the category of scopes and s…
If we view relevant terms as being a functor on the discrete category of scopes (non-relevant) terms are the left kan extension of the relevant term functor along the inclusion functor from the discrete category of scopes into the category…
@zanzi @julesh have you (or anyone else) made progress on the "further work" section of "Canonical bidirectional typechecking"? I've been writing an implementation of the ideas of the paper in Agda and was thinking doing the embedding of λ…
@pigworker @JadeMasterMath is there still a plan to put up the transactions in category theory talks?
@pigworker is the repository that had the thinnings with dependency public on your GitHub? I was having trouble finding it.
Really enjoyed this talk by @jonmsterling While the talk is ostensibly about the motivation behind the theorem prover Sterling is working on it's worth watching even you don't care about that. It also happens to go over a lot of important …
🐘 Community & instance
Home server
mathstodon.xyz
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
On Mastodon since
Sep 2023
An established account with real history on the platform.
💡 Facts
🗓️Joined Mastodon in 2023 — 3 years ago.
👁️Averages 4 views per post.
📤Posts about 0.6× per week.
🕵️ Fake follower check
Estimated66/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 (~2.0% of followers engage each post) is around typical for Mastodon.
- Established account (3+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
Interested in mathematics, philosophy, computer science, and the real movement to abolish the present state of things
I am not Jules Hedges, you can find them at @julesh
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Ed
15%
Ben Aveling
15%
Starry Starry Knight
14%
James M. Branum יעקב מתתיהו
14%
RuthS
12%
More like this
Find more →
Mastodon
＋
Ed
@edbruce@infosec.exchange
199
Followers
Mastodon
＋
RuthS
@ruthsachter@wandering.shop
199
Followers
Mastodon
＋
Ben Aveling
@benaveling@infosec.exchange
199
Followers
Mastodon
＋
Starry Starry Knight
@space6host@freeradical.zone
199
Followers
Mastodon
＋
Bel Collins
@tarheelbel@caneandable.social
199
Followers
Mastodon
＋
James M. Branum יעקב מתתיהו
@jmb@babka.social
199
Followers
Frequently asked questions
How much does jules charge for a sponsorship?
jules 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 jules for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify jules, 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 jules have?
jules has 199 followers on Mastodon.
✉ Message jules
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 jules
Booking an event / appearance is a Pro feature. Upgrade to book jules for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ jules 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