🤝
Make a deal with Andrew W Swan
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
356
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 Andrew W Swan
📊 Post engagement
8
Avg engagement / post
2.2%
Engagement vs followers
Nov 2022
On Mastodon since
🔥 Top post: Fun category theory fact of the day: A topos having enough inter · 18 likes + reposts
📊 Activity & format
Posting cadence
0.16 / 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.7×
Follows 95 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
Overall I do have to admit that this is impressive technology. The ability of llms to produce Agda has come on a lot.
Despite this there's still room for improvement. One thing I noticed was that despite giving Claude code access to an mcp…
After having the initial idea, it identified a proof by Lavenir of the Hilton-Milnor theorem in ∞-toposes as relevant to HoTT, although since Lavenir presented the work at the 2023 HoTT conference, this was simply a matter of doing a web s…
We all know that classically 𝑆² is not truncated, but it's tricky to actually prove this in HoTT. With the recent paper https://doi.org/10.4230/LIPIcs.LICS.2026.16 it's actually more plausible that we can just do that now, but instead I de…
I recently got access to the new Claude model and decided to test it out by asking it to prove one of the things on my todo list: there is a finite CW complex that is not 𝑛-truncated for any 𝑛. I chose this as something that I expected to …
An interesting group came up while thinking about a certain counterexample in cubical assemblies.
Write \(G\) for the set of partial computable functions \(f : \mathbb{N} \rightharpoondown \mathbb{Z}\) such that for \(e \in \mathbb{N}\), \…
The talks from HoTT/UF2025 are out now at https://hott-uf.github.io/2025/, including my talk on computable and non-computable 2-groups at https://www.youtube.com/watch?v=GPN0q5RTXVU.
I think that reinforcement learning specifically in go would improve its strength. Even with this I wouldn't expect it to get particular strong - this is a very inefficient way to make a go ai. It might be worthwhile anyway, because the ll…
It gave the impression of someone who had read a lot about go but never played a game, so didn't really understand what the words actually meant. It knew that corner enclosures are good but not how to use them effectively. Looking again at…
It feels a lot like R1 is not able to visualise the board and e.g. seemed completely blind to the "hole" in its position at R6, thinking nothing of letting white push through there. Maybe this is something that a multimodal model would be …
One more DeepSeek R1 thread (I promise this is the last from me for now). I got R1 to play a game of go against GnuGo, an old, and by today's standards very weak go ai. I played until I started hitting the rate limit on R1 - 40 moves. This…
Despite these problems I feel that chain-of-thought llms are getting close to being able to solve this kind of problem. The particular issues that come up here could be solved either by tool use during the chain of thought to actually look…
🐘 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 8 views per post.
📤Posts about 0.2× 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 (~2.2% 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
I am a postdoc at the University of Ljubljana interested in various things including constructive maths, homotopy type theory, (higher) topos theory and realizability.
🔀 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
Whoosh
@whoosh@techhub.social
356
Followers
Mastodon
AkhIL
@akhil@mastodon.ml
356
Followers
Mastodon
Jonas 𝓜. Nölle
@jn@fediscience.org
356
Followers
Mastodon
Zillion
@zillion@freeradical.zone
356
Followers
Mastodon
Paul-Jan
@pauljan@graphics.social
356
Followers
Mastodon
Tono Carbajo🍉
@tonocarbajo@masto.es
356
Followers
✉ Message Andrew W Swan
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 Andrew W Swan
Booking an event / appearance is a Pro feature. Upgrade to book Andrew W Swan for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Andrew W Swan 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