🤝
Make a deal with Ilya Sergey
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
305
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 analysisfor Ilya Sergey
📊 Post engagement
15
Avg engagement / post
4.9%
Engagement vs followers
Nov 2022
On Mastodon since
🔥 Top post: I've had a lot of fun designing and teaching a course on classic · 74 likes + reposts
📊 Activity & format
Posting cadence
0.08 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 11 text · 1 image · 0 video.
Follower / following
2×
Follows 149 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
New blog post on Proofs and Intuitions: "Liveness Proofs in Veil, Part I: The First Step" (by Qiyuan Zhao).
https://proofsandintuitions.net/2026/06/24/liveness-proofs-in-veil-part-1/
Safety says nothing bad happens; liveness says something…
New blog post on "Proofs and Intuitions": On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications.
https://proofsandintuitions.net/2026/05/18/property-based-testing-specifications/
The gist: randomi…
I am wondering if the recent unprecedented advances in building AI-based search/synthesis tools, such as AlphaProof and AlphaGeometry 2, mark the beginning of the end of modern mathematics.
Here are my thoughts and I'm curious what other …
I don’t know who that lady on Elsevier login page is, but every time I see this picture, I imagine her saying, in the Dolores Umbridge voice: “Deep down, you know that you deserve your SciVal, Scopus, and FWCI scores to be as low as they a…
Fellow academics who travel to conferences with their children: what was your best experience with conference-provided childcare?
Today my Mattermost feed made me google “bucatini”.
What is the most exciting PL paper you’ve read in the last five years and why?
And by “read”, I mean fully read it, understood, and learned something surprising from it.
No matter how many conferences I go to, I consistently get into this situation: approaching a couple of people having a casual chat in a public hallway, one is my acquaintance and another is not, waiting for them to finish to introduce my…
Tfw when you give a tutorial talk on Curry-Howard correspondce in the morning, and the keynote speaker, a famous mathematician, shows up after lunch and dunks on computer scientists who go around preaching about constructive proofs.
We are delighted to announce LeanSSR, an SSReflect-style tactic language for Lean 4.
Sources: https://github.com/verse-lab/lean-ssr
Paper: https://arxiv.org/abs/2403.12733
Please, give it a try in your projects and let us know about your e…
We are conducting a study of programmer mistakes in Racket macros. If you teach @racketlang and your students use macros, we would love to talk to you!
(cc @wilbowma )
I don’t know who that lady on Elsevier login page is, but every time I see this picture, I imagine her saying, in the Dolores Umbridge voice: “Deep down, you know that you deserve your SciVal, Scopus, and FWCI scores to be as low as they a…
Fellow academics who travel to conferences with their children: what was your best experience with conference-provided childcare?
Today my Mattermost feed made me google “bucatini”.
What is the most exciting PL paper you’ve read in the last five years and why?
And by “read”, I mean fully read it, understood, and learned something surprising from it.
No matter how many conferences I go to, I consistently get into this situation: approaching a couple of people having a casual chat in a public hallway, one is my acquaintance and another is not, waiting for them to finish to introduce my…
Tfw when you give a tutorial talk on Curry-Howard correspondce in the morning, and the keynote speaker, a famous mathematician, shows up after lunch and dunks on computer scientists who go around preaching about constructive proofs.
We are delighted to announce LeanSSR, an SSReflect-style tactic language for Lean 4.
Sources: https://github.com/verse-lab/lean-ssr
Paper: https://arxiv.org/abs/2403.12733
Please, give it a try in your projects and let us know about your e…
We are conducting a study of programmer mistakes in Racket macros. If you teach @racketlang and your students use macros, we would love to talk to you!
(cc @wilbowma )
🐘 Community & instance
Home server
types.pl
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
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 15 views per post.
📤Posts about 0.1× 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 (~4.9% of followers engage each post) — an active, real audience.
- Established account (3+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
Associate Prof at NUS School of Computing.
PL, proofs, systems, pictures of corgi.
https://ilyasergey.net
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
14mission
18%
A∂α Lσνєℓαcє
18%
長 高弘 または ガジくん(獣脚類ズケンティラヌス)
17%
emama 🦉
11%
Gabriel-le
11%
Mattan S. Ben-Shachar
11%
More like this
Find more →
Mastodon
＋
長 高弘 または ガジくん(獣脚類ズケンティラヌス)
@chouisamu@mstdn.jp
305
Followers
Mastodon
＋
emama 🦉
@emama@mastodon.uno
305
Followers
Mastodon
＋
Gabriel-le ✓
@gabrielhle@pouet.chapril.org
305
Followers
Mastodon
＋
Mattan S. Ben-Shachar
@mattansb@scicomm.xyz
305
Followers
Mastodon
＋
14mission
@14mission@sfba.social
305
Followers
Mastodon
＋
A∂α Lσνєℓαcє
@ecosdelpasado@tkz.one
305
Followers
Frequently asked questions
How much does Ilya Sergey charge for a sponsorship?
Ilya Sergey 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 Ilya Sergey for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify Ilya Sergey, 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 Ilya Sergey have?
Ilya Sergey has 305 followers on Mastodon.
✉ Message Ilya Sergey
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 Ilya Sergey
Booking an event / appearance is a Pro feature. Upgrade to book Ilya Sergey for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Ilya Sergey 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