🤝
Make a deal with José A. Alonso
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
198
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 José A. Alonso
📊 Post engagement
2
Avg engagement / post
1%
Engagement vs followers
May 2022
On Mastodon since
🔥 Top post: A pedagogical history of compactness. ~ Manya Raman-Sundstrom. h · 5 likes + reposts
📊 Activity & format
Posting cadence
16.8 / week
Toots daily — consistently active for a campaign window.
Content mix
Mostly text
Recent: 12 text · 0 image · 0 video.
Follower / following
0.5×
Follows 361 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
#Exercitium: Números de Lychrel. https://www.glc.us.es/~jalonso/exercitium/numeros-de-lychrel/ #Haskell #Python #Matemáticas
#Vestigium: La semana en Calculemus (4 de noviembre). https://www.glc.us.es/~jalonso/vestigium/dao-la-semana-en-calculemus-4-de-noviembre-de-2022/ #ITP #LeanProver #Math
#Vestigium: La semana en Exercitium (4 de noviembre). https://www.glc.us.es/~jalonso/vestigium/pfh-la-semana-en-exercitium-4-de-noviembre-de-2022/ #Haskell #Python #Matemáticas
The unplanned impact of mathematics. ~ Peter Rowlett. https://www.nature.com/articles/475166a #Math
One problem five solutions: Zip function. ~ Kevin Da Silva. https://kevin-da-silva.medium.com/one-problem-five-solutions-zip-function-ad1ed3bd1f16 #Haskell #Elixir #JavaScript #Python #Vlang
A map of Haskell's numeric types. ~ Mark Dominus. https://blog.plover.com/prog/haskell/numbers.html #Haskell #FunctionalProgramming enen
Data-driven lemma synthesis for interactive proofs. ~ Aishwarya Sivaraman et als. https://dl.acm.org/doi/pdf/10.1145/3563306 #ITP #Coq
Good old-fashioned code optimization never goes out of style. ~ Itamar Turner-Trauring. https://pythonspeed.com/articles/old-fashioned-software-optimized/ #Python #Programming
#Exercitium: El algoritmo de Luhn. https://www.glc.us.es/~jalonso/exercitium/el-algoritmo-de-luhn/ #Haskell #Python #Matemáticas
Verifying cryptographic protocols, II: a simple example. ~ Lawrence C. Paulson (@LawrPaulson). https://lawrencecpaulson.github.io/2022/11/02/crypto-protocols-NS.html #ITP #IsabelleHOL
Haskell is the greatest programming language of all time. https://www.reddit.com/r/haskell/comments/yjxfol/haskell_is_the_greatest_programming_language_of/ #Haskell #FunctionalProgramming
🐘 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 2 views per post.
📤Posts about 16.8× 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 (~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
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
🔀 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
＋
Bob Carver
@[email protected]
198
Followers
Mastodon
＋
Yoann Sculo
@[email protected]
198
Followers
Mastodon
＋
Julia Rios
@[email protected]
198
Followers
Mastodon
＋
Dark Photon Studio
@[email protected]
198
Followers
Mastodon
＋
Ian Badcoe ✓
@[email protected]
198
Followers
Mastodon
＋
egor
@[email protected]
198
Followers
Frequently asked questions
How much does José A. Alonso charge for a sponsorship?
José A. Alonso 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 José A. Alonso for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify José A. Alonso, 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 José A. Alonso have?
José A. Alonso has 198 followers on Mastodon.
✉ Message José A. Alonso
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 José A. Alonso
Booking an event / appearance is a Pro feature. Upgrade to book José A. Alonso for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ José A. Alonso 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