🤝
Make a deal with Philip Zucker
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
335
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 Philip Zucker
📊 Post engagement
4
Avg engagement / post
1.2%
Engagement vs followers
Nov 2022
On Mastodon since
🔥 Top post: If you are interested in seeing my talk on lifting e-graphs (and · 13 likes + reposts
📊 Activity & format
Posting cadence
1.2 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 11 text · 1 image · 0 video.
Follower / following
1×
Follows 321 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
A new blog post "Finite Algebraic Effects as dicts and such" https://www.philipzucker.com/bdd_term_alg_effects/ I like making things finite. An explanation of algebraic effects as terms with keyword args / generalized arity a la Bauer. Co…
A new blog post "Making TLA+ and x86 Kiss Via Z3Py" https://www.philipzucker.com/kissin_tla/ Basically, I'm type inferring on tla2tools.jar xml output to convert to z3py expressions, then using knuckledragger z3py stuff to talk to ghidra…
It's kind of interesting that ordinary de Bruijn indices fails to let you describe the useful and meaningful phenomenon of shadowing. You need explicit weakening. It's the dark twin to de bruijn avoids accidental capture.
A new blog post "Lifting Terms: Making Well Scoped Syntax Dumber" https://www.philipzucker.com/thin_term/ Basically, add a field to regular terms that says what scope you're in and which variables you use. Lifting e-graphs minus the e-grap…
A new blog post "A Theory of Arrays (ToA) Union Find" https://www.philipzucker.com/toa_unionfind/ Another non group union find inspired by semi-persistent arrays. You can support "store" annotations on edges if you swap data out of the "la…
A function symbol with arity 10^100
The is now also an arxiv preprint https://arxiv.org/abs/2606.22734
On Monday morn I'll be giving a talk at @pldi #PLDI EGRAPHS 2026 about lifting egraphs https://pldi26.sigplan.org/details/egraphs-2026-papers/13/Lifting-E-Graphs-A-Function-Isn-t-a-Constant a new twist on adding a notion of rigid alpha c…
A new blog post, Arenas, Cyclic Terms, and Flat Equational Systems https://www.philipzucker.com/arena_coegraph2_rational/ #datastructures
A New Blog Post: Lifting E-Graphs https://www.philipzucker.com/lifting_egraph/ #egraphs
Can you spot the powerful mancat?
Can you spot the powerful mancat?
🐘 Community & instance
Home server
types.pl
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 4 views per post.
📤Posts about 1.2× per week.
🕵️ Fake follower check
Estimated75/100
Good
Credibility score
92%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 92% real, active audience · Low fake-follower risk.
- Engagement (~1.2% of followers engage each post) is around typical for Mastodon.
- Verified account.
- Established account (3+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
Computer Friend, Not a Bird. https://www.kdrag.com
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Otwarte Źródło
18%
Philip Stade ♻
17%
turbolove.de :BlobhajHeart:
15%
Michael
15%
Brar Piening
15%
MATAK79
14%
More like this
Find more →
Mastodon
Otwarte Źródło ✓
@otwartezrodlo@101010.pl
335
Followers
Mastodon
turbolove.de :BlobhajHeart:
@turbolove@mastodon.online
335
Followers
Mastodon
Michael
@fount8@mastodon.au
335
Followers
Mastodon
Philip Stade ♻ ✓
@freiekultur@bildung.social
335
Followers
Mastodon
Brar Piening ✓
@brar@floss.social
335
Followers
Mastodon
MATAK79
@matak79@stranger.social
335
Followers
✉ Message Philip Zucker
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 Philip Zucker
Booking an event / appearance is a Pro feature. Upgrade to book Philip Zucker for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Philip Zucker 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.