Make a deal with Sebastian Ullrich
🔒 Paid proposals held safely in escrow — released only when the work's approved.
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
🔥 Top post: At the Lean workshop, Ningning Xie presented Lott, a WIP Ott-lik · 15 likes + reposts
📊 Activity & format
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.
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
💡 Facts
🕵️ Fake follower check
Estimated- 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
📸 Gallery
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Küpsis 🇺🇦🇬🇱
18%
Eric Brandom
17%
Philipp Berens
15%
Giulio Gabrieli
14%
ungual
12%
Dragan Espenschied
10%
More like this
Find more →
✉ 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