🤝
Make a deal with SamToth
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
43
Account age
2 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 SamToth
Known for
32 views
Happy to have made my first contribution to Agda :)
We now have a sharp modality (from https://arxiv.org/abs/1509.07584) which is a right adjoint to the flat modality which Agda already has. Sharp is an idempotent monad, so unlike flat it can be postulated in type theory… but I think having it as a builtin provides a lot of convenience for not a lot of extra complication to the theory. By defining
4 views
I’m having a GAT summer… (Slides credit to @jacobneu)
1 views
Is there an award somewhere for most cursed Agda snippet??
📊 Post engagement
8
Avg engagement / post
18.6%
Engagement vs followers
Nov 2023
On Mastodon since
🔥 Top post: Happy to have made my first contribution to Agda :) We now have · 32 likes + reposts
📊 Activity & format
Posting cadence
0.09 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 4 text · 3 image · 0 video.
Follower / following
0.7×
Follows 59 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
🔥 Top post
Happy to have made my first contribution to Agda :)
We now have a sharp modality (from https://arxiv.org/abs/1509.07584) which is a right adjoint to the flat modality which Agda already has. Sharp is an idempotent monad, so unlike flat it can be postulated in type theory… but I …
Doing not-necessarily-simplicial simplicial type theory is very fun, even if I worry sometimes it’s not very useful. It feels a bit like doing constructive vs classical mathematics
I'm quite fond of the proof that π : U• → U is an object classifier - i.e. that is terminal in the category with objects (small) maps and morphisms cartesian squares.
We show that a cartesian square from f to π is equivalent to the proposi…
Is there an award somewhere for most cursed Agda snippet??
The code has now been merged, and if you are interested in some details you can find a short summary of the changes and some of my thoughts here: https://samtoth.github.io/agda-synthetic-categories/stt-00CY
The bittersweet feeling of getting rid of hundreds of lines of a fiddly proof in Agda to replace it with a nice, short, conceptual proof that’s about 17 lines long (and requires one fewer axiom). Details will follow (when I merge the code)…
I’m having a GAT summer… (Slides credit to @jacobneu)
Is there an award somewhere for most cursed Agda snippet??
The code has now been merged, and if you are interested in some details you can find a short summary of the changes and some of my thoughts here: https://samtoth.github.io/agda-synthetic-categories/stt-00CY
The bittersweet feeling of getting rid of hundreds of lines of a fiddly proof in Agda to replace it with a nice, short, conceptual proof that’s about 17 lines long (and requires one fewer axiom). Details will follow (when I merge the code)…
I’m having a GAT summer… (Slides credit to @jacobneu)
🐘 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 2023
An established account with real history on the platform.
💡 Facts
🗓️Joined Mastodon in 2023 — 2 years ago.
👁️Averages 8 views per post.
📤Posts about 0.1× per week.
🕵️ Fake follower check
Estimated71/100
Good
Credibility score
92%
Real
Real audience
Low
Fake-follower risk
Medium
Data confidence
- Est. 92% real, active audience · Low fake-follower risk.
- Strong engagement (~0.2× of followers engage each post) — an active, real audience.
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
Undergrad at University of Nottingham.
Enjoyer of types, cats and tromboning
📸 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
＋
Blobster
@blobster@infosec.exchange
43
Followers
Mastodon
＋
N0libri
@n0libri@chaos.social
43
Followers
Mastodon
＋
Ingo Becker
@ingobecker@ohai.social
43
Followers
Mastodon
＋
Bob Beaker
@bbeaker@toot.community
43
Followers
Mastodon
＋
Carlos LG ✓
@bluvaganto@toot.community
43
Followers
Mastodon
＋
ostwestfale2010
@ostwestfale2010@social.vivaldi.net
43
Followers
Frequently asked questions
How much does SamToth charge for a sponsorship?
SamToth hasn't published fixed prices yet. Send a proposal through SocialDB and agree terms directly — your payment is held in escrow until the work is approved.
How do I contact SamToth for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify SamToth, and once they accept, your payment is held safely in escrow and released when the work is approved. You don't need to track down an email.
How many followers does SamToth have?
SamToth has 43 followers on Mastodon.
✉ Message SamToth
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 SamToth
Booking an event / appearance is a Pro feature. Upgrade to book SamToth for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ SamToth 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