daniel gratzer Add us as a preferred source on Google

Mastodon @danielgratzer@mathstodon.xyz

⚔ Compare ☆ Follow Own this channel?

🔄 Data last refreshed 10 hours ago

🤝

Make a deal with daniel gratzer

🔒 Paid proposals held safely in escrow — released only when the work's approved.

Followers

639

Account age

3 yrs

🎁 Free analysisfor daniel gratzer

🕵️Fake Followers CheckReal-audience % & bot risk→ 📊Engagement rateBenchmarked vs. peers→ 💰What they chargeFair sponsored-post price→

📊 Post engagement

📊 Activity & format

Posting cadence

1.1 / week

A lower-frequency account — each post lands with more weight.

Content mix

Mostly text

Recent: 12 text · 0 image · 0 video.

Follower / following

3.3×

Follows 195 back. A more reciprocal / networked account.

Recent posts

View on Mastodon ↗

🔥 Top post Slides from my talk today at TYPES: https://www.danielgratzer.com/papers/types-2026-slides.pdf ★ 36

@misc{... author = {Lore, Folk}, ... } ★ 27 It is funny that for a lot of the book outside the core narrative, Carlo started with "well, clearly we need to include this" while I thought it was unnecessary and within about 6 months of the initial discussion we totally swapped positio… ★ 12 I've suddenly jumped up a notch in my handstand skills! Now able to consistently hold it for 30+ seconds. Very excited to increase my circus repertoire ★ 7 I've never managed to shake the habit of missing *so* *many* typos when proofing my writing. At least now I can take it as some signal that the text is human---rather than LLM---generated. Silver linings. ★ 5 On the advice of (many) friends I asked my doctor to be assessed for ADHD. I... may have mixed in the forms they gave me with my scratch paper (I used them to quickly do a calculation so they had notes on them) which I then used as kindlin… ★ 29 Hey! Want to come visit Aarhus for a week in August and learn about some fun programming languages stuff? Remember to apply for the PLS summer school (deadline June 7). Some financial support for travel is available! https://conferences.au… ★ 25 Arrived in Gothenburg! Very nice to be back actually... Looking forward to seeing some of you tomorrow at TYPES. ★ 10 A note to future me! I would really love to have the following: The assignment: \(A : X \to \mathcal{U}\) to \(\lambda x.\, \bigcirc_{\mathrm{grpd}}\, A\,x : X \to \mathcal{U}\) sends cocartesian families to covariant families. This seems … ★ 5 Looks like I'll be at LICS/FLoC this year. Yay. ★ 15 My rational of "if it was important, I'll remember it at some point" is apparently not accepted. (Otherwise I can always forget things. Like a cool person) ★ 6 Speaking to a close Danish friends about how much people use calendars here in DK. My summary of "before I came here, I just didn't bother to keep a calendar for social events" caused them to literally grasp at their chest in horror. ★ 3

🐘 Community & instance

Home server

mathstodon.xyz

Their home server on the fediverse — the instance a creator picks signals the community they belong to.

On Mastodon since

Nov 2022

Joined in the Twitter-exodus wave of late 2022 — part of the migration that made Mastodon a real destination.

💡 Facts

🗓️Joined Mastodon in 2022 — 3 years ago.

👁️Averages 15 views per post.

📤Posts about 1.1× per week.

🕵️ Fake follower check

Estimated

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 (~2.3% 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

assistant professor at Aarhus University interested in (higher) category theory and (modal) type theory. he/him 🏳️‍🌈

🔀 Audience overlap

Estimated

Estimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.

Jen Keane (Zenbuffy - she/her) 17%

くまの雨子 14%

James_inthe_box 13%

Chut! Magazine 13%

Maite Sánchez 11%

Koniyoji 11%

More like this

Find more →

Mastodon ＋

James_inthe_box

@james_inthe_box@infosec.exchange

639 Followers

Mastodon ＋

Jen Keane (Zenbuffy - she/her) ✓

@zenbuffy@mastodon.ie

639 Followers

Mastodon ＋

くまの雨子

@nuruuri@cliff.social

639 Followers

Mastodon ＋

Maite Sánchez

@maitesancat@cliff.social

639 Followers

Mastodon ＋

Chut! Magazine

@chut_magazine@mastodon.social

639 Followers

Mastodon ＋

Koniyoji

@kiddyscord@abdl.link

639 Followers

Frequently asked questions

How much does daniel gratzer charge for a sponsorship?

daniel gratzer hasn't published fixed prices yet. Send a proposal through SocialDB and agree terms directly — your payment is held in escrow until the work is approved.

How do I contact daniel gratzer for a brand deal or collaboration?

Send a paid deal or collab request right here on SocialDB — we notify daniel gratzer, and once they accept, your payment is held safely in escrow and released when the work is approved. You don't need to track down an email.

How many followers does daniel gratzer have?

daniel gratzer has 639 followers on Mastodon.

Auto-generated from Mastodon's public data — no affiliation with or endorsement by SocialDB. Is this you? Claim it · Remove

daniel gratzer Add us as a preferred source on Google

Make a deal with daniel gratzer

📊 Post engagement

📊 Activity & format

Recent posts

🐘 Community & instance

💡 Facts

🕵️ Fake follower check

About

🔀 Audience overlap

More like this

Frequently asked questions

✉ Message daniel gratzer

🎤 Event / appearance with daniel gratzer