ℹ️ This listing was auto-generated from Mastodon's public data. Lukas Gerlach hasn't claimed it, and it doesn't imply any partnership with or endorsement of SocialDB.
Is this you? Claim it · Request removal (free).
🤝
Make a deal with Lukas Gerlach
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
11
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 Lukas Gerlach
📊 Post engagement
2
Avg engagement / post
18.2%
Engagement vs followers
Jan 2023
On Mastodon since
🔥 Top post: I've tried #NixOS containers for the first time in the last few · 5 likes + reposts
📊 Activity & format
Posting cadence
0.13 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 12 text · 0 image · 0 video.
Follower / following
0.3×
Follows 32 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
Felt a bit nervous about being the #lean4 unicorn at the KR conference yesterday 🦄
But I think the talk went quite well :)
The slides are available on our institutes page in case you are interested:
https://iccl.inf.tu-dresden.de/web/Inpr…
My Lean endeavor continues in formalizing RPC-like non-termination conditions for the chase. Correctness of these is brittle and took us a long time back in the day. The formalization is going to be painful. Let's see if we discover new mi…
A couple of days ago, a colleague entered my office looking to identify that "noise" they had been curious about for weeks just to find out that I am that noise. (Not the first time that happened.)
If I don't pay attention my hands and fe…
I'm very happy (and frankly mostly relieved) that I recently got a paper accepted that talks about my existential rules Lean library 🎉 #Lean4
The preprint is available on Arxiv:
https://arxiv.org/abs/2604.22531
I did not think it would make me so happy to see how many of my (not complicated but sometimes lengthy) induction proofs can be replaced by a simple `fun_induction ... <;> grind`. Good stuff! #Lean4
Also, I finally got around to writing some doc comments. The auto-generated documentation is available here: https://monsterkrampe.github.io/Existential-Rules-in-Lean/ExistentialRules/ChaseSequence/ChaseDerivation.html
A sizable refactoring (basically almost a complete rewrite) of the Chase definitions in my #Lean4 library on existential rules [1] has finally landed last week. The definitions are (and were) based on infinite lists and trees but now do a …
I got to experience the enjoyment of adrenaline coming from executing `fsck` from a live usb today after my machine unexpectedly shut down while compiling something 🤙
On a totally unrelated note, I have now setup my waybar to show critica…
After months of being "almost done", I've finally managed to prove correctness of DMFA/RMFA in my Lean project! 🎉 Non-termination conditions (MFC/DMFC/RPC) are up next 🤞
My Existential Rule #Lean4 library [1] is taking shape more and more. I've recently finished a correctness proof for a sufficient condition for chase termination, called MFA. I'm hopeful that extensions of this notion (DMFA and RMFA) are n…
In an attempt to formalize parts of my research on Existential Rules in #Lean4 and learning Lean on the way, I'm very happy to have reached a first milestone, which was initially meant to be a mere exercise 😅
My pet project [1] now contai…
🐘 Community & instance
Home server
mathstodon.xyz
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
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 2 views per post.
📤Posts about 0.1× per week.
🕵️ Fake follower check
Estimated83/100
Excellent
Credibility score
99%
Real
Real audience
Low
Fake-follower risk
Medium
Data confidence
- Est. 99% real, active audience · Low fake-follower risk.
- Strong engagement (~0.2× of followers engage each post) — an active, real audience.
- Verified account.
- Established account (3+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
Theoretical Computer Science PhD Student / Motorcyclist / Drummer / Video Game Enthusiast
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
More like this
Find more →✉ Message Lukas Gerlach
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 Lukas Gerlach
Booking an event / appearance is a Pro feature. Upgrade to book Lukas Gerlach for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Lukas Gerlach 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.