🤝
Make a deal with Sebastian Ullrich
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
668
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 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
5
Avg engagement / post
0.7%
Engagement vs followers
Jan 2023
On Mastodon since
🔥 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.8×
Follows 174 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.
🛡️ Audience credibility
66/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.
Jim Patterson 🇨🇦
17%
Epistatacadam
16%
huertanix
15%
Philipp Berens
15%
Keiko
13%
Bundesverband Mobile Beratung
12%
More like this
Find more →
Mastodon
Jim Patterson 🇨🇦 ✓
@sheamuspatt@mstdn.ca
668
Followers
Mastodon
Keiko
@keiko_geo@fediscience.org
668
Followers
Mastodon
Epistatacadam
@epistatacadam@toot.wales
668
Followers
Mastodon
Bundesverband Mobile Beratung
@mobileberatung@troet.cafe
668
Followers
Mastodon
huertanix
@huertanix@tenforward.social
668
Followers
Mastodon
Philipp Berens
@celltypist@scicomm.xyz
668
Followers
✉ 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.