ℹ️ This listing was auto-generated from Mastodon's public data. Evan Cavallo 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 Evan Cavallo
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
273
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 analysis for Evan Cavallo
📊 Post engagement
21
Avg engagement / post
7.7%
Engagement vs followers
Nov 2022
On Mastodon since
🔥 Top post: Something new on the arXiv from Jonas Höfer (@jhoefer) and I tod · 67 likes + reposts
📊 Activity & format
Posting cadence
0.54 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 12 text · 0 image · 0 video.
Follower / following
3.2×
Follows 86 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
type theory's grody computer science vibes inevitably compel its users to set 1/0 := 0
Thierry and I have something in the TYPES 2025 post-proceedings: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2025.10
This is about the "type theoretic axiom of replacement", which you may be familiar with from @egbertr…
fan och hans sats
Something a long time in the making: https://arxiv.org/abs/2607.02420
in light of Nguyen–Uemura, I will now be referring to higher categories with finite limits as "E-infinity algebras"
I think in some sense one would rather not ask these questions; you might like to take the position that you should never talk about univalence without funext (or you should never go without funext, period). In a way I think it's a point a…
just remember direct and inverse ↔ recto and verso ↔ right and left (exact) ↔ colimit and limit #nothelpful
RE: https://mathstodon.xyz/@ecavallo/115405668250784594
You can look forward to type theory is weird content at MFPS!
"The equivariant model structure on cartesian cubical sets" is published! https://doi.org/10.1016/j.aim.2026.110965
The arXiv version will be updated with the post-review changes shortly :)
You can look forward to cubical content at LICS!
This is a cute piece of history: https://homotopytypetheory.org/2011/12/05/hott-in-prose/
🐘 Community & instance
Home server
mathstodon.xyz
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
✅ Link-verified
Verified link
Proved ownership of a website linked on their profile — Mastodon's green-check verification, a real identity signal rather than a paid badge.
On Mastodon since
Nov 2022
Joined in the Twitter-exodus wave of late 2022 — part of the migration that made Mastodon a real destination.
💡 Facts
🗓️Joined Mastodon in 2022 — 3 years ago.
👁️Averages 21 views per post.
📤Posts about 0.5× per week.
🕵️ Fake follower check
Estimated89/100
Excellent
Credibility score
99%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 99% real, active audience · Low fake-follower risk.
- Strong engagement (~7.7% of followers engage each post) — an active, real audience.
- Verified account.
- Established account (3+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
Postdoc at Göteborgs universitet. Types + Cubes
🔀 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
nak ✓
@nak@infosec.exchange
273
Followers
Mastodon
Koos
@koos@mastodon.green
273
Followers
Mastodon
M. Weiß
@mojoweiss@bildung.social
273
Followers
Mastodon
Seboss666 ✓
@seboss666@piaille.fr
273
Followers
Mastodon
JackPearse
@jackpearse@nrw.social
273
Followers
Mastodon
Mayday
@mayday@piaille.fr
273
Followers
✉ Message Evan Cavallo
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 Evan Cavallo
Booking an event / appearance is a Pro feature. Upgrade to book Evan Cavallo for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Evan Cavallo 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.