ℹ️ This listing was auto-generated from Mastodon's public data. José A. Alonso hasn't claimed it, and it doesn't imply any partnership with or endorsement of SocialDB.
Is this you? Claim it · Request removal (free).
🤝
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 analysis for 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
@cybersecboardrm@infosec.exchange
198
Followers
Mastodon
vendredilecture ✓
@vendredilecture@piaille.fr
198
Followers
Mastodon
egor
@egordorogov@peoplemaking.games
198
Followers
Mastodon
PhilStr
@philstrachan@photog.social
198
Followers
Mastodon
Arcanum
@arcanum@urbanists.social
198
Followers
Mastodon
Infosperber
@infosperber@newsie.social
198
Followers
✉ 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.