ℹ️ This listing was auto-generated from Mastodon's public data. Boarders 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 Boarders
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
591
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 Boarders
📊 Post engagement
15
Avg engagement / post
2.5%
Engagement vs followers
Nov 2022
On Mastodon since
🔥 Top post: cambridge mathematics not wanting lectures on category theory by · 43 likes + reposts
📊 Activity & format
Posting cadence
1.3 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 12 text · 0 image · 0 video.
Follower / following
0.6×
Follows 986 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
mathematicians largely refuse to teach their students inference rules of logic and then complain that none of the students know what it means to disprove a universally quantified statement, nor what it means to prove a negation. At some po…
Recommend this new talk by Jeremy Howard which is on what a humane vision for what computing could be if we aimed to augment human capacities, rather than continuing towards the nightmare of eliminationism: https://www.youtube.com/watch?v=…
“Even within the instrumental logic of capitalism, it is at least sometimes recognized that giving people adequate time and resources, and a measure of freedom from the obligation constantly to justify their existence – leaving them alone,…
One commonly builds the integers as the so-called "grothdendieck group" of the natural numbers. This is defined by taking ℤ to be equiv classes of pairs of natural numbers where given (a b c d : ℕ) we say:
(a, b) ~ (c, d) iff a + d = b +…
If introducing the theory of countability then one should ideally prove a single theorem which is that if one has a function:
𝑓 : 𝐴 → ℕ
such that each fiber is finite, then A is countable. This single theorem covers almost all elementar…
An observation I made last night (so long as I am not mistaken), is that the formula for the hitting time for a Markov process X is the same as the fixed point one gets from the Knaster--Tarski theorem.
Suppose we ask when X hits a given s…
I recommend adopting the doctrine of generalized elements and deciding that ‘variable’ often ultimately means the identity map X -> X, n distinct variables means all projections X^n -> X, and not declaring that one has “an infinite supply …
I generally subscribe to a loose version of Penelope Maddy’s notion of mathematical naturalism on philosophical questions in mathematics. If someone wants to debate whether 0 is a natural number or flavours of finitism, but they don’t have…
each passing year brings ever more wisdom to "avoid success at all costs"
Wrote a post on Kripke and Beth semantics in lean 4, and added some features to my blog so that you can see the proof state on hover: https://boarders.github.io/posts/beth.html
Philosophy of mathematics is like mathematics — one can either choose to engage in a deep hermeneutical study to begin to understand the scientific and social context for the questions, practices, and positions of the past, or one can eng…
🐘 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 15 views per post.
📤Posts about 1.3× 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 (~2.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
Interested in mathematics (homotopy theory, category theory, topos theory), programming languages, and philosophy.
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Mathieu_Marion
17%
Timo Grün
17%
MH Thaung
17%
Adrian Schönig :kangaroo:
15%
𝓙𝓲𝓶 𝓑𝓮𝓪𝓶𝔂č ®
15%
Alison
10%
More like this
Find more →
Mastodon
Adrian Schönig :kangaroo: ✓
@nighthawk@aus.social
591
Followers
Mastodon
Mathieu_Marion
@mathieu_marion@fediscience.org
591
Followers
Mastodon
Timo Grün
@khoji@ieji.de
591
Followers
Mastodon
MH Thaung ✓
@mhthaung@mastodon.scot
591
Followers
Mastodon
Alison ✓
@britishkoalatea@social.coop
591
Followers
Mastodon
𝓙𝓲𝓶 𝓑𝓮𝓪𝓶𝔂č ®
@beaminovich@mastodon.ml
591
Followers
✉ Message Boarders
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 Boarders
Booking an event / appearance is a Pro feature. Upgrade to book Boarders for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Boarders 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.