ℹ️ This listing was auto-generated from Mastodon's public data. Lu Maltsis :blobcat3c: 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 Lu Maltsis :blobcat3c:
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
24
Account age
1 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 Lu Maltsis :blobcat3c:
📊 Post engagement
18
Avg engagement / post
75%
Engagement vs followers
Jun 2025
On Mastodon since
🔥 Top post: I know it is probably well-known in my circles but for anyone wh · 64 likes + reposts
📊 Activity & format
Posting cadence
0.17 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 7 text · 0 image · 0 video.
Follower / following
0.3×
Follows 78 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
Really happy to see stuff happening in e-graphs. From a university in Switzerland nontheless!
Versioned E-Graphs
https://programming-group.com/assets/pdf/papers/2026_Versioned-EGraphs.pdf
from PLDI26
6 months ago I searched "Dependent Type Theory Book" to regain some level of agency about my learning after a bad month. I found the wonderful (work-in-progress) "Principles of Dependent Type Theory"
https://www.danielgratzer.com/papers/t…
Accelerating Mathematics - Kevin Buzzard
https://xenaproject.wordpress.com/2026/02/09/accelerating-mathematics/
found via
https://bsky.app/profile/jalonso.bsky.social/post/3megwr36q3c22
The Making of Lean - Leo de Moura
(slideset)
https://github.com/pitmonticone/ItaLean2025/raw/main/presentations/LeonardoDeMoura.pdf
found via https://bsky.app/profile/jalonso.bsky.social/post/3m7xmlmns6c2l
Liked this one.
> In this way, verification is like locking the barn door after most of the horses have already left, and verification is mainly reduced to finding and fixing remaining bugs, often against flawed specifications.
https://dl.…
Recommendation:
The section "Advice to a Young Mathematician" in The Princeton Companion to Mathematics.
It's an enjoyable read. Maybe I'll get around to reading the entire book at some point.
🐘 Community & instance
Home server
infosec.exchange
A cybersecurity & infosec server — its members and audience skew toward that niche, so expect a community-aligned, engaged following.
✅ 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
Jun 2025
An established account with real history on the platform.
💡 Facts
🗓️Joined Mastodon in 2025 — 1 year ago.
👁️Averages 18 views per post.
📤Posts about 0.2× per week.
🕵️ Fake follower check
Estimated79/100
Good
Credibility score
95%
Real
Real audience
Low
Fake-follower risk
Medium
Data confidence
- Est. 95% real, active audience · Low fake-follower risk.
- Strong engagement (~0.8× of followers engage each post) — an active, real audience.
- Verified account.
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
PhD student in Computer Science at the University of Manchester
https://lmaltsis.github.io/
Formal Methods, Proof Assistants, Software Security
they/them
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Desmond Rivet
18%
T's All Welcoming Pub
16%
Somewhat Grumpy Press Inc. 🇨🇦
14%
Awesome Gaming
13%
D. T. M. D
12%
David J. Whelan
10%
More like this
Find more →
Mastodon
Awesome Gaming
@inawegaming@mastodon.social
24
Followers
Mastodon
Desmond Rivet ✓
@desmondrivet@indieweb.social
24
Followers
Mastodon
D. T. M. D
@daigz@mastodon.world
24
Followers
Mastodon
David J. Whelan
@djwhelan@mastodon.world
24
Followers
Mastodon
Somewhat Grumpy Press Inc. 🇨🇦 ✓
@somewhatgrumpy@mstdn.ca
24
Followers
Mastodon
T's All Welcoming Pub
@tspub_ottawa@mstdn.ca
24
Followers
✉ Message Lu Maltsis :blobcat3c:
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 Lu Maltsis :blobcat3c:
Booking an event / appearance is a Pro feature. Upgrade to book Lu Maltsis :blobcat3c: for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Lu Maltsis :blobcat3c: 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.