Sebastian Ullrich Add us as a preferred source on Google
🔄 Data last refreshed 1 day ago
🤝
Make a deal with Sebastian Ullrich
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
683
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 Sebastian Ullrich
Known for
15 views
At the Lean workshop, Ningning Xie presented Lott, a WIP Ott-like embedded into Lean. Formal typing rules were one inspiration for the implicit quantification feature of Lean 4 so it's beautiful to see this coming full circle, properly annotated by the Lean language server.
8 views
I did *not* know that ctest records test timings and uses them to optimize future test run scheduling. Extremely pleasing to see how it manages to make all cores finish at almost the same time, except for those running the most expensive tests
8 views
I just don't know about this mode of swordfighting
4 views
Hiking friends
#cordelpics
📊 Post engagement
Recent posts · likes + reposts
Jun 13latest
5
Avg engagement / post
4–6
Typical post (engagement)
0.7%
Engagement vs followers
70/100
Consistent reach
Jan 2023
On Mastodon since
Half of recent posts land between 4 and 6 likes + reposts (median 5) — a dependable floor a sponsored post can count on.
🔥 Top post: At the Lean workshop, Ningning Xie presented Lott, a WIP Ott-lik · 15 likes + reposts
📊 Activity & format
Posting cadence
2 / week
Posts several times a week.
Content mix
Mostly text
Recent: 7 text · 5 image · 0 video.
Follower / following
3.9×
Follows 176 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
🔥 Top post
At the Lean workshop, Ningning Xie presented Lott, a WIP Ott-like embedded into Lean. Formal typing rules were one inspiration for the implicit quantification feature of Lean 4 so it's beautiful to see this coming full circle, properly annotated by the Lean language server.
(If you are not familiar with the feature: the gray parts are server annotations of the free variables of the following term, which will be quantified over automatically and which you can optionally click on to convert them into manual qua…
Impromptu q&a continuation by way of the following speaker not showing up, oops
Lean workshop keynote accomplished, find me there/at ITP to ask me lots more questions!
GitHub Inactions
Or, to give the slightly more readable version,
jj rebase --source wstt --onto 'parents(wstt) ~ xklum'
Just realized I can use jj's expressive revset language to eject a parent from a merge commit without having to look up the names of all the other parents
```
jj rebase -s wstt -d 'wstt- ~ xklum'
```
Düsseldorf will be integrated into Bavaria with the next update to rectify this issue https://github.com/microsoft/dusseldorf/issues/80
It happens.
God I love Rhythm Heaven Groove
Hiking friends
#cordelpics
I did *not* know that ctest records test timings and uses them to optimize future test run scheduling. Extremely pleasing to see how it manages to make all cores finish at almost the same time, except for those running the most expensive t…
I just don't know about this mode of swordfighting
It happens.
God I love Rhythm Heaven Groove
Hiking friends
#cordelpics
I did *not* know that ctest records test timings and uses them to optimize future test run scheduling. Extremely pleasing to see how it manages to make all cores finish at almost the same time, except for those running the most expensive t…
I just don't know about this mode of swordfighting
🐘 Community & instance
Home server
functional.cafe
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
On Mastodon since
Jan 2023
Joined in the Twitter-exodus wave of late 2022 — part of the migration that made Mastodon a real destination.
💡 Facts
🗓️Joined Mastodon in 2023 — 3 years ago.
👁️Averages 5 views per post.
📤Posts about 2× per week.
📍Based in Germany.
🕵️ Fake follower check
Estimated66/100
Good
Credibility score
89%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 89% real, active audience · Low fake-follower risk.
- Engagement (~0.7% of followers engage each post) is around typical for Mastodon.
- Established account (3+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
makes Lean at Lean FRO
Munich, Germany
📸 Gallery
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Bo-Alternativ.de
30%
KURS FAHRRADSTADT
30%
ArcaneChat
17%
Le Virus Info
17%
Ariipoppy :verified_purple:
14%
Sven 🚲 Cykelgodt
12%
More like this
Find more →
Mastodon
＋
Bo-Alternativ.de ✓
@boalternativ@ruhr.social
683
Followers
Mastodon
＋
KURS FAHRRADSTADT
@kursfahrradstadt@norden.social
682
Followers
Mastodon
＋
ArcaneChat ✓
@arcanechat@fosstodon.org
683
Followers
Mastodon
＋
Ariipoppy :verified_purple: ✓
@ariipoppy@tkz.one
683
Followers
Mastodon
＋
Sven 🚲 Cykelgodt
@svencykelgodt@chaos.social
683
Followers
Mastodon
＋
Le Virus Info
@acbm_com@mastodon.cloud
683
Followers
Frequently asked questions
How much does Sebastian Ullrich charge for a sponsorship?
Sebastian Ullrich 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 Sebastian Ullrich for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify Sebastian Ullrich, 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 Sebastian Ullrich have?
Sebastian Ullrich has 683 followers on Mastodon.
✉ Message Sebastian Ullrich
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 Sebastian Ullrich
Booking an event / appearance is a Pro feature. Upgrade to book Sebastian Ullrich for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Sebastian Ullrich 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