Slava Pestov✓

Mastodon @slava@mathstodon.xyz

⚔ Compare ☆ Watch Own this channel?

🤝

Make a deal with Slava Pestov

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

Followers

729

Account age

1 yrs

Known for

📊 Post engagement

15

Avg engagement / post

2.1%

Engagement vs followers

Feb 2025

On Mastodon since

🔥 Top post: Virgin systems language engineer; - Uses move-only types to clos · 60 likes + reposts

📊 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.4×

Follows 299 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.

🛡️ Audience credibility

82/100 Excellent

Est. 89% real, active audience · Low fake-follower risk.
Strong content engagement (~2.1% of followers) — an active, real audience.
Verified account.

Est. authentic audience

89%

Fake-follower risk

Low

Heuristic estimate from view-through, engagement vs size and recent 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.

PositivDenken 🤯 18%

Canadian Crone 17%

Louise Løvehjerte 🇩🇰🇪🇺🇺🇦 17%

WomenDefendRojava Germany 15%

Reinder Dijkhuis Does Art 12%

ruthpozuelo 11%

More like this

PositivDenken 🤯 ✓

@zeank@mastodon.social

WomenDefendRojava Germany

@wdr@ohai.social

Reinder Dijkhuis Does Art ✓

@reinderdijkhuis@mastodon.art

@ruthpozuelo@mastodon.social

@canadiancrone@mstdn.ca

Louise Løvehjerte 🇩🇰🇪🇺🇺🇦

@louis28@mastodon.world