🤝
Make a deal with Anne Baanen
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
169
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 Anne Baanen
📊 Post engagement
19
Avg engagement / post
11.2%
Engagement vs followers
Jul 2023
On Mastodon since
🔥 Top post: I'm in the news!PhD degree awarded to Anne Baanenhttps://vu.nl/e · 142 likes + reposts
📊 Activity & format
Posting cadence
0.26 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 12 text · 0 image · 0 video.
Follower / following
1.4×
Follows 117 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
[PhD position on the Leanprover Zulip chat:](https://leanprover.zulipchat.com/#narrow/channel/284757-job-postings/topic/PhD.20position.20in.20Saint-.C3.89tienne.26Paris)
> Dear All, Riccardo Brasca and I (Filippo Nuccio) are looking for a …
New paper! I am happy to announce the publication of the paper "Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge" by Kai Obendrauf, Anne Baanen, Patrick Koopmann, and Vera Stebletsova.
https://doi.org/10.4…
Can I ask how things are going with the Coq → Rocq rename? Last I heard a couple months ago they were sorting out some legal issues. Hopefully those didn't cancel the whole project!
(To be clear: I am not attending GPN; this is merely sharing an interesting-looking talk announcement.)
Tomorrow at the GPN event in Karlsruhe:
https://cfp.gulas.ch/gpn22/talk/WWMGVN/Intro to Lean 4: A language at the intersection of programming and mathematics
31.05, 14:30–15:30 (Europe/Berlin), ZKM Vortragssaal
Sprache: English
Type theory…
Jim Portegies, Paige North, and Johan Commelin are looking for a PhD student to work on the development of proof assistants for education such as Waterproof [1] (see [2] for a project description). The position will be based at the Univers…
We are hiring!
In the [Software and Sustainability Research Group (S2 Group)](https://s2group.cs.vu.nl/) at Vrije Universiteit Amsterdam we are looking for synergetic and ambitious candidates for a career track position as assistant profes…
> We are pleased to announce the International Logic Olympiad 2024 (ILO2024) a world-wide contest on Logic for high school students.
>
> Register & learn more at https://www.logicolympiad.org/
> Brief Overview: http://intrologic.stanford.…
I happen to be somewhat more interested in the supervisor and concurrency part of the ARM spec... Maybe I should do some collaboration when I finally have some free time!
This is a very cool project that got open sourced recently: a symbolic evaluator for ARMv8 in Lean! https://github.com/leanprover/LNSym
i think i made an oopsie and replaced the main database with an older dump. let me see if i can fix it before i fall asleep!
(Worst case is we'll just have to repost our best posts of the last month or so!)
🐘 Community & instance
Home server
types.pl
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
On Mastodon since
Jul 2023
An established account with real history on the platform.
💡 Facts
🗓️Joined Mastodon in 2023 — 3 years ago.
👁️Averages 19 views per post.
📤Posts about 0.3× per week.
🕵️ Fake follower check
Estimated80/100
Excellent
Credibility score
97%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 97% real, active audience · Low fake-follower risk.
- Strong engagement (~0.1× of followers engage each post) — an active, real audience.
- Established account (3+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
Doctor of Philosophy at Vrije Universiteit Amsterdam, formalizing mathematics in the Lean prover. I enjoy intuitionistic logic, formal verification and functional programming.
This is my formal account. Friends looking for unserious nonsense, please see also: @Vierkantor.
I *am* an intuitionist.
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
muddle 🥣
18%
Joonas Riekkola
15%
𝖄𝖔𝖚𝖗 𝕲𝖔𝖉 𝕷𝖚𝖈𝖎𝖋𝖊𝖗
13%
ADFC Starnberg
12%
Björn
11%
samppa sahapuru
11%
More like this
Find more →
Mastodon
muddle 🥣
@muddle@infosec.exchange
169
Followers
Mastodon
Björn ✓
@thaodan@mastodon.social
169
Followers
Mastodon
samppa sahapuru
@sahapuru@mementomori.social
169
Followers
Mastodon
Joonas Riekkola
@luovaruho@mementomori.social
169
Followers
Mastodon
ADFC Starnberg ✓
@adfc_sta@muenchen.social
169
Followers
Mastodon
𝖄𝖔𝖚𝖗 𝕲𝖔𝖉 𝕷𝖚𝖈𝖎𝖋𝖊𝖗
@yourgodsatan@mstdn.party
169
Followers
✉ Message Anne Baanen
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 Anne Baanen
Booking an event / appearance is a Pro feature. Upgrade to book Anne Baanen for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Anne Baanen 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