🤝
Make a deal with Dan Marsden
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
548
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 Dan Marsden
Known for
12 views
Sam Speight kicking off MGS 2026 with Lambda Calculus and Combinatory Algebra
8 views
MGS 2026 invited lecturer Stephanie Weirich teaching us how to implement our POPL paper
6 views
Sergey Goncharov's opening MGS 2026 lecture on category theory.
3 views
Thorsten Altenkirch's first lecture at MGS 2026, including an advert for his new podcast series!
📊 Post engagement
8
Avg engagement / post
1.5%
Engagement vs followers
Nov 2022
On Mastodon since
🔥 Top post: After over two years in hibernation, it's time to wake up my mon · 28 likes + reposts
📊 Activity & format
Posting cadence
0.87 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 8 text · 4 image · 0 video.
Follower / following
3.4×
Follows 159 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
The final monad theory post in the short series on multilinear extensions, preservation of equations, and sufficient conditions for distributive laws. This time some more recent results that deserve to be better known, producing distributi…
Monad blog post time again. Today the payoff from the recent series of posts: sufficient conditions under which distributive laws between monads exists. The multilinear extensions we saw previously play a central role:
https://stringdiagra…
Another monad theory blog post in the recent series. This time, a monad theoretic generalisation of bilinearity from good old linear algebra:
https://stringdiagram.com/2026/07/13/monads-and-multilinear-extensions/
Following on very rapidly from its predecessor, the third monad theory blog post in my mini-series. This time, distributive laws over the powerset:
https://stringdiagram.com/2026/07/11/distributing-over-the-powerset/
The second in my short series of monad blog posts. This time, lifting the powerset monad to categories of algebras:
https://stringdiagram.com/2026/07/11/lifting-the-powerset-monad/
It's amazing what you can automate with AI. I was stuck fixing an issue in my Neovim configuration. I simply throw Claude Fable at the problem, and I've fully automated being stuck fixing my Neovim configuration...
RE: https://mathstodon.xyz/@highergeometer/116526500300835429
Literally beautiful work
MGS 2026 invited lecturer Stephanie Weirich teaching us how to implement our POPL paper
Sergey Goncharov's opening MGS 2026 lecture on category theory.
Thorsten Altenkirch's first lecture at MGS 2026, including an advert for his new podcast series!
Sam Speight kicking off MGS 2026 with Lambda Calculus and Combinatory Algebra
MGS 2026 invited lecturer Stephanie Weirich teaching us how to implement our POPL paper
Sergey Goncharov's opening MGS 2026 lecture on category theory.
Thorsten Altenkirch's first lecture at MGS 2026, including an advert for his new podcast series!
Sam Speight kicking off MGS 2026 with Lambda Calculus and Combinatory Algebra
🐘 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
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 8 views per post.
📤Posts about 0.9× per week.
🕵️ Fake follower check
Estimated80/100
Excellent
Credibility score
97%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 97% real, active audience · Low fake-follower risk.
- Strong engagement (~1.5% of followers engage each post) — an active, real audience.
- Established account (3+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
Categories, computer science and logic
📸 Gallery
🔀 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
ﾁｶﾁｰﾛ
@seilen_k@mstdn.jp
548
Followers
Mastodon
The Listening Club
@listeningclub@mastodon.social
548
Followers
Mastodon
Kori Maleski 🐘
@arroganthair@mstdn.ca
548
Followers
Mastodon
Andreas V. Chatzopoulos
@mimavox@zirk.us
548
Followers
Mastodon
BBAW
@bbaw@wisskomm.social
548
Followers
Mastodon
Joe
@littlejoemuc@social.tchncs.de
548
Followers
✉ Message Dan Marsden
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 Dan Marsden
Booking an event / appearance is a Pro feature. Upgrade to book Dan Marsden for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Dan Marsden 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