🤝
Make a deal with Alex Nelson
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
89
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 Alex Nelson
📊 Post engagement
3
Avg engagement / post
3.4%
Engagement vs followers
Nov 2022
On Mastodon since
🔥 Top post: Does anyone have good references on Brouwer's Intuitionism? I fi · 6 likes + reposts
📊 Activity & format
Posting cadence
1.1 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 12 text · 0 image · 0 video.
Follower / following
2×
Follows 45 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
Let \(\mathbf{E}_{i,j}\) be the \(n\times n\) matrix which is zero everywhere except in row \(i\) and column \(j\) where it is 1. Consider the set \(A=\{I + \lambda\mathbf{E}_{i,j}\mid i\neq j,\lambda\in R\}\) be the set of \(n\times n\) …
ChatGPT requires 0.5 liters of water to write a 100 word email. That's enough water for one person over the course of a day.
How many people-days of water are required for more complicated tasks? And imagine how many requests an AI bot get…
So, #arXiv just changed its font, and I find it really unreadable and difficult to focus. I don't understand why we must break things which already work fine.
Read later (Lie derivative of (S)pinor fields)...
https://arxiv.org/abs/2607.07360
What does Brouwer mean by "time"? Troelstra asserts it is Husserlian "transcendental time" (whatever that means), but it seems pretty obvious Brouwer means physical time experienced by a human being. Could it mean Termini's "mechanical tim…
So ACM's use of Cloudfare to check if you are human seems to be broken on Firefox, leading to an infinite loop of reloading the page...making it impossible to load a page or download a paper 🙄 🤷
#Ensh1tification
If there is a bug in part of the code which could never be run (e.g., `if true [code] else [bug]`), then is it really a bug?
I wonder if anyone else ever got distracted on a #sidequest for weeks trying to implement a (semi-)decision procedure for Intuitionistic natural deduction...
RE: https://mathstodon.xyz/@highergeometer/116740121109092535
So the Lean FRO is cool with this book claiming Lean solved the Entscheidungsproblem? Cool, cool... 🙄😬😖
What even is the history behind "decidable equality"? I know Heyting's 1930 paper formalizing Intuitionistic Logic had a rather interesting digression distinguishing [intensional] identity, equality, and defined equality.
Then [some stuff …
For more distances:
- Candlekeep to Baldur's Gate: 140 miles
- Muran to Baldur's Gate: 453 miles
- Ristavin to Baldur's Gate: 684 miles
🐘 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 3 views per post.
📤Posts about 1.1× 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 (~3.4% 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
I work as a programmer, trained as a mathematical physicist. I still like writing about #GeneralRelativity and #QuantumGravity, but I love learning about anything in the domains of pure or applied math. I also use #Mizar for formalizing #FiniteGroupTheory and have been studying #FluidMechanics during the pandemic.
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Éric Gauthier
18%
JR Rickerson :python:
15%
aglimme
14%
Max Fenton
14%
John Pell
12%
Crimperman 🏳️🌈
10%
More like this
Find more →
Mastodon
John Pell
@gaelicwizard@infosec.exchange
89
Followers
Mastodon
Éric Gauthier
@ericgauthier@mstdn.io
89
Followers
Mastodon
aglimme
@aglimme@mastodon.online
89
Followers
Mastodon
Max Fenton
@maxfenton@mas.to
89
Followers
Mastodon
JR Rickerson :python:
@jrrickerson@fosstodon.org
89
Followers
Mastodon
Crimperman 🏳️🌈 ✓
@crimperman@hachyderm.io
89
Followers
✉ Message Alex Nelson
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 Alex Nelson
Booking an event / appearance is a Pro feature. Upgrade to book Alex Nelson for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Alex Nelson 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