Slava Pestov✓ Add us as a preferred source on Google

Mastodon @slava@mathstodon.xyz

⚔ Compare ☆ Follow Own this channel?

🔄 Data last refreshed 8 hours ago

🤝

Make a deal with Slava Pestov

🔒 Paid proposals held safely in escrow — released only when the work's approved.

Followers

773

Account age

1 yrs

🎁 Free analysisfor Slava Pestov

🕵️Fake Followers CheckReal-audience % & bot risk→ 📊Engagement rateBenchmarked vs. peers→ 💰What they chargeFair sponsored-post price→

Known for

21 views Neo

📊 Post engagement

📊 Activity & format

Posting cadence

7.5 / week

Toots daily — consistently active for a campaign window.

Content mix

Mostly text

Recent: 11 text · 1 image · 0 video.

Follower / following

2.5×

Follows 306 back. A more reciprocal / networked account.

Recent posts

View on Mastodon ↗

🔥 Top post Virgin systems language engineer; - Uses move-only types to close all file descriptors once and only once - Reads category theory papers and dreams of even more exotic type declarations - Life mission is to make all legacy code memory safe - Waiting 20 minutes for program to com… ★ 60

Neo ★ 21 This sounds perfect for full stack development. Tk frontend, AOLserver backend. “AOLserver is multithreaded, Tcl-enabled, and used for large scale, dynamic web sites.” https://en.wikipedia.org/wiki/AOLserver ★ 8 Also you can ask the same question about the group with the same presentation. I suspect that if the word axab^-1 is cyclically reduced in the free group over {a, b}, then the monoid just has three more elements than the group. Also every … This looks like a fairly difficult question: For which values of x \in {a, b}^* is <a, b | aaa=1, axa=b> a finite monoid? (In the various presentations where the second rule’s right hand side is something like ba or aba, you can always tur… ★ 1 I played around a bit with GAP’s LowIndexSubgroupsFpGroup algorithm to check for low index subgroups of G := <a, b | aaa=1, babbb=aba>. Remember how G has a quotient of order 86,814, so G’s order is at least that, or possibly infinite. The… ★ 2 Apologies to anybody who was using the Swift compiler's associated type inference to solve SAT instances: https://github.com/swiftlang/swift/pull/90574 ★ 13 The Rubik’s cube is a group until you apply a non-invertible transformation by smashing it with a hammer, at which point it becomes a monoid ★ 28 MAF is so fucking hardcore, it doesn’t even build on Linux out of the box unless you edit the Makefile, it cracks my 87-element monoid instantly, and it also has a direct implementation of a Rubik’s cube as a permutation group https://sour… ★ 12 How about move-once types. You can place the value after initialization, but it cannot be moved again after ★ 4 Here is an explicit model of the monoid operation in <a, b | aaa=1, ababbb=ba>. The group is a semi-direct product, so it's almost component-wise addition modulo n, except the second component acts on the first via multiplication by 7. The… Programming language designers often ask, what is the relative expressive power of "babbb" vs "bbabbb"? Which one should they choose as the fundamental primitive? Well, based on just the evidence we have today, "babbb" can express more uni… ★ 4

🐘 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

Feb 2025

An established account with real history on the platform.

💡 Facts

🗓️Joined Mastodon in 2025 — 1 year ago.

👁️Averages 15 views per post.

📤Posts about 7.5× per week.

🕵️ Fake follower check

Estimated

70/100

Good Credibility score

87%

Real Real audience

Low Fake-follower risk

High Data confidence

Est. 87% real, active audience · Low fake-follower risk.
Engagement (~1.9% of followers engage each post) is around typical for Mastodon.
Verified account.

Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.

About

Programming languages, finitely-presented monoids, horses

🔀 Audience overlap

Estimated

Estimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.

Determinate Systems, Inc. 15%

Felicity Martin 11%

Colin Beveridge 11%

armadillosoft 11%

陈少举 11%

Chuck Berray 10%

More like this

Find more →

Mastodon ＋

Felicity Martin ✓

@felicitymartin@mastodon.scot

773 Followers

Mastodon ＋

Colin Beveridge

@icecolbeveridge@mathstodon.xyz

773 Followers

Mastodon ＋

Determinate Systems, Inc. ✓

@determinatesystems@hachyderm.io

773 Followers

Mastodon ＋

armadillosoft

@armadillosoft@cliff.social

773 Followers

Mastodon ＋

Chuck Berray

@eyeonalaska@alaskan.social

Frequently asked questions

How much does Slava Pestov charge for a sponsorship?

Slava Pestov 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 Slava Pestov for a brand deal or collaboration?

Send a paid deal or collab request right here on SocialDB — we notify Slava Pestov, 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 Slava Pestov have?

Slava Pestov has 773 followers on Mastodon.

Auto-generated from Mastodon's public data — no affiliation with or endorsement by SocialDB. Is this you? Claim it · Remove

Slava Pestov✓ Add us as a preferred source on Google

Make a deal with Slava Pestov

Known for

📊 Post engagement

📊 Activity & format

Recent posts

🐘 Community & instance

💡 Facts

🕵️ Fake follower check

About

🔀 Audience overlap

More like this

Frequently asked questions

✉ Message Slava Pestov

🎤 Event / appearance with Slava Pestov