ℹ️ This listing was auto-generated from Mastodon's public data. Brent Yorgey 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 Brent Yorgey
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
533
Account age
9 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 Brent Yorgey
Known for
41 views
Very happy to announce that I have won this extremely prestigious award.
8 views
I was testing out a Swarm scenario that starts by generating a random permutation of characters. I ran it and this is the first random permutation that was generated. 👻 😱
6 views
Loons are such magnificent animals.
📊 Post engagement
12
Avg engagement / post
2.3%
Engagement vs followers
May 2017
On Mastodon since
🔥 Top post: Very happy to announce that I have won this extremely prestigiou · 41 likes + reposts
📊 Activity & format
Posting cadence
1.4 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 9 text · 3 image · 0 video.
Follower / following
3.5×
Follows 151 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
🔥 Top post
Very happy to announce that I have won this extremely prestigious award.
Loons are such magnificent animals.
New blog post containing a commentated, cleaned up version of my Agda proof of the Fundamental Theorem of Arithmetic:
https://byorgey.github.io/blog/posts/2026/06/26/FTA.lagda.html
Also including a link to a version with all the proofs rep…
Suppose we have a monoid M with a "star" operation * : M -> M satisfying a* = aa*. I'm not sure if there are other laws we might also want (e.g. perhaps we also want a* = a*a), but the idea is that a* is supposed to represent "combining …
I could listen to #VOCES8 all day.
https://youtu.be/_tZ0r2A9ddA
Consider the free monoid over a set of atoms A, and suppose that I want to talk about "free monoid expressions" which consist of elements of the free monoid arbitrarily combined with variables that can stand for elements of the free monoid…
me: Good morning.
Book shop owner: Good morning.
me: This is a nice book shop you have.
BO: Thank you. Do you want to live with me?
me: Oh, uh, no thank you, I just want to buy some books and take them back to my house.
BO: Pretend your h…
Latest weeknotes, including a successful conclusion to our 1-year visitor search, and a report on my creative retreat!
http://ozark.hendrix.edu/~yorgey/forest/2026-W22/index.xml
Today's lunch in the Yorgey household:
- Oldest child opened the fridge and ate whatever leftovers he could find (in this case, fried rice with gochujang)
- Youngest child demanded I make her a grilled cheese
- Middle child forgot to eat l…
8yo: "The calendars at my school are really weird, they only have 5 days on them each week."
me: "That's because the interior of your school time travels directly from Friday to Monday every week. On Saturdays and Sundays there is simply …
I was testing out a Swarm scenario that starts by generating a random permutation of characters. I ran it and this is the first random permutation that was generated. 👻 😱
Aha, I think it must have something to do with the bijection between encodings of integer partitions as (1) nonincreasing lists of natural numbers and (2) arbitrary lists of natural numbers, witnessed by sending a nondecreasing list to its…
🐘 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
May 2017
An OG fediverse account from Mastodon's early years — a long, established presence.
💡 Facts
🗓️Joined Mastodon in 2017 — 9 years ago.
👁️Averages 12 views per post.
📤Posts about 1.4× 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.3% of followers engage each post) — an active, real audience.
- Established account (9+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
Associate professor of CS at Hendrix College in Conway, AR. Open-source Haskell development, education, competitive programming, type theory, category theory, combinatorics, etc.
📸 Gallery
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
6-4-3 Double Play
17%
Solarpunk Now!
16%
Mark Doyle
15%
Brandon Horst
13%
Scooter8647 🇺🇦 🇳🇿
12%
Toma Susi
11%
More like this
Find more →
Mastodon
Brandon Horst ✓
@brandonhorst@techhub.social
533
Followers
Mastodon
Toma Susi
@mostlyphysics@fediscience.org
533
Followers
Mastodon
Scooter8647 🇺🇦 🇳🇿
@doppelganger75@mastodon.world
533
Followers
Mastodon
Mark Doyle
@markdoyle@zirk.us
533
Followers
Mastodon
6-4-3 Double Play
@seanaloysiusobrien@tenforward.social
533
Followers
Mastodon
Solarpunk Now!
@solarpunkcast@spore.social
533
Followers
✉ Message Brent Yorgey
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 Brent Yorgey
Booking an event / appearance is a Pro feature. Upgrade to book Brent Yorgey for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Brent Yorgey 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.