LIVE
⭐1.97M influencer listings 🏢31K sponsor listings 🌍51.78B combined audience reach 📊13 platforms indexed 🗺️130+ countries covered 🏷️10,000+ niches 🟣694.6K Twitch creators 🦋582.3K Bluesky creators 🎙️307.4K podcast creators 🐘141.1K Mastodon creators ▶️71.9K YouTube creators 🥊64.5K Kick creators ✈️47.1K Telegram creators 𝕏30.9K X creators 🎵15.2K TikTok creators 🎮5.1K Discord creators 🎬3.1K Rumble creators 🧵1.2K Threads creators ⭐1.97M influencer listings 🏢31K sponsor listings 🌍51.78B combined audience reach 📊13 platforms indexed 🗺️130+ countries covered 🏷️10,000+ niches 🟣694.6K Twitch creators 🦋582.3K Bluesky creators 🎙️307.4K podcast creators 🐘141.1K Mastodon creators ▶️71.9K YouTube creators 🥊64.5K Kick creators ✈️47.1K Telegram creators 𝕏30.9K X creators 🎵15.2K TikTok creators 🎮5.1K Discord creators 🎬3.1K Rumble creators 🧵1.2K Threads creators
Moritz Firsching

Moritz Firsching✓

Mastodon @moritzfirsching@mathstodon.xyz
⚔ Compare ☆ Watch Own this channel?
🔄 Data last refreshed 2 hours ago
🤝

Make a deal with Moritz Firsching

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

📣Sponsored postOne disclosed post (toot) with your link and message. $12→ 🧵Sponsored threadA multi-post explainer or story — the fediverse rewards dept… $30→ 📦Product seeding / honest reviewSend me your product — I post a disclosed, honest take. Auth… $16→ 📌Pinned sponsored postA disclosed post pinned to the top of my profile for the mon… $36/mo→ 🔗Profile link (bio field)Your link in one of my profile metadata fields for the month… $18/mo→ 🔁Boost packageI boost (repost) your account's toots through the month — di… $24/mo→ 🏛️Instance / community sponsorshipSponsor the server I run — a sponsor line in the About/rules… $30/mo→ 🤝Mutual boost collabWe boost each other across instances — a value swap between … Swap→ 🎬UGC HireBranded content for your own channels & ads from $50→ 🎙️Podcast guest spotInvite Moritz Firsching onto your podcast (~45 min, remote) $25→

Every booking is a normal escrow-protected deal.

Followers
88
Account age
3 yrs
🧰 Free analysis for Moritz Firsching
🕵️ Fake follower check 📊 Engagement rate 💰 What they charge

Known for

I’m thrilled that the formal-conjectures repo has reached 100 contributors! Many thanks you to everyone who has submitted a PR. It is amazing to see this community grow! We are always looking for the next conjecture. What is the one conjecture you would love to see formalized? Let me know in the replies (or better yet, come help us add it)! https://github.com/google-deepmind/formal-conjectures7 views I’m thrilled that the formal-conjectures repo has reached 100 contributors! Many thanks you to everyone who has submitted a PR. It is amazing to see this community grow! We are always looking for the next conjecture. What is the one conjecture you would love to see formalized? Let me know in the replies (or better yet, come help us add it)! https://github.com/google-deepmind/formal-conjectures https://github.com/robert7k/gentoo-overlay/commit/c0ffeeeb620480b2ad82c1e84672bcb85ac4cae3 A programmer is a machine turnings c0ffeee into commits...5 views https://github.com/robert7k/gentoo-overlay/commit/c0ffeeeb620480b2ad82c1e84672bcb85ac4cae3 A programmer is a machine turnings c0ffeee into commits... @christianp if you like the "¬" symbol, you might also like the "≠"?! One of the following three examples might not do what you think it does: https://live.lean-lang.org/#codez=JYWwDg9gTgLgBAWQIYwBYBtgCMBQOJgCmAdnAM4DGBhAJnAHIp6EAeS46hcAXHAAxwAhAF44ARh6isATzg1CFYPOZsOXXgBr+cURO5TZ8xcpyt2YTj22ADInGS4MuQqWE8QA3 views @christianp if you like the "¬" symbol, you might also like the "≠"?! One of the following three examples might not do what you think it does: https://live.lean-lang.org/#codez=JYWwDg9gTgLgBAWQIYwBYBtgCMBQOJgCmAdnAM4DGBhAJnAHIp6EAeS46hcAXHAAxwAhAF44ARh6isATzg1CFYPOZsOXXgBr+cURO5TZ8xcpyt2YTj22ADInGS4MuQqWE8QA

📊 Post engagement

6
Avg engagement / post
6.8%
Engagement vs followers
Nov 2022
On Mastodon since

🔥 Top post: Kevin Buzzard's on the counter example of the Jacobian conjectur · 32 likes + reposts

📊 Activity & format

Posting cadence
0.26 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 9 text · 3 image · 0 video.
Follower / following
0.9×
Follows 99 back. A more reciprocal / networked account.

Recent posts

View on Mastodon ↗
🔥 Top post Kevin Buzzard's on the counter example of the Jacobian conjecture and other recent counter examples. https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/ ★ 32
Formal Conjectures workshop, central London, 7–11 Sept 2026: 1 week of formalising statements of unsolved conjectures in Lean for the Formal Conjectures repo (https://github.com/google-deepmind/formal-conjectures), and hopefully writing ne… ★ 1 This was exactly one year ago! By now we have ~1000 more formalised conjectures, all thanks to our many wonderful contributors! One thing we didn't have when we started: a nice website: https://google-deepmind.github.io/formal-conjectures/… ★ 2 We hit 1000 `research open` problems, i.e. open conjecture today on Formal Conjectures. And also the big round number milestone 1024 (https://xkcd.com/1000/) https://google-deepmind.github.io/formal-conjectures/ Many thanks to all the cont… ★ 3 https://mathoverflow.net/questions/486451/reference-request-right-local-semirings/508783#508783 I'm quite happy how this worked: (1) Junyan Xu comes up with a question (2) formalises it and puts it into https://github.com/google-deepmind/f… ★ 6 @christianp if you like the "¬" symbol, you might also like the "≠"?! One of the following three examples might not do what you think it does: https://live.lean-lang.org/#codez=JYWwDg9gTgLgBAWQIYwBYBtgCMBQOJgCmAdnAM4DGBhAJnAHIp6EAeS46hcAXH… ★ 3 I thought this was fixed very quickly after I wrote the explanation, but now it seems broken again, at least on chrome in light mode, see this test repo: https://github.com/mo271/label_colors_test/labels Seems like it uses again the formul… I’m thrilled that the formal-conjectures repo has reached 100 contributors! Many thanks you to everyone who has submitted a PR. It is amazing to see this community grow! We are always looking for the next conjecture. What is the one conje… ★ 7 "For example, if you have a nice conjecture you would like to see solved, you may submit it to the Formal Conjectures project and someone might try solving it (whether autonomously or the old-fashioned way)" quote from the great and nuance… ★ 3 I gave a talk at the ITP Lean Workshop 2025 and the talk is now available online: https://youtu.be/MfJ-7e-KoyA?si=AFsJXr0xjBdDpgKd It is about the Formal Conjectures repo: https://github.com/google-deepmind/formal-conjectures (contribut… ★ 1 https://github.com/robert7k/gentoo-overlay/commit/c0ffeeeb620480b2ad82c1e84672bcb85ac4cae3 A programmer is a machine turnings c0ffeee into commits... ★ 5 https://xkcd.com/3125/ Now new in https://github.com/google-deepmind/formal-conjectures : https://github.com/google-deepmind/formal-conjectures/blob/d588a3a82e6043ff0bc23d947431fb6fff67e6fc/FormalConjectures/Wikipedia/SnakeInTheBox.lean#L1…

🐘 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
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 6 views per post.
📤Posts about 0.3× per week.

🕵️ Fake follower check

Estimated
89/100
Excellent Credibility score
99%
Real Real audience
Low Fake-follower risk
High Data confidence
  • Est. 99% real, active audience · Low fake-follower risk.
  • Strong engagement (~6.8% 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.

📸 Gallery

@christianp if you like the "¬" symbol, you might also like the "≠"?! One of the following three examples might not do what you think it does: https://live.lean-lang.org/#codez=JYWwDg9gTgLgBAWQIYwBYBtgCMBQOJgCmAdnAM4DGBhAJnAHIp6EAeS46hcAXHAAxwAhAF44ARh6isATzg1CFYPOZsOXXgBr+cURO5TZ8xcpyt2YTj22ADInGS4MuQqWE8QA I’m thrilled that the formal-conjectures repo has reached 100 contributors! Many thanks you to everyone who has submitted a PR. It is amazing to see this community grow! We are always looking for the next conjecture. What is the one conjecture you would love to see formalized? Let me know in the replies (or better yet, come help us add it)! https://github.com/google-deepmind/formal-conjectures https://github.com/robert7k/gentoo-overlay/commit/c0ffeeeb620480b2ad82c1e84672bcb85ac4cae3 A programmer is a machine turnings c0ffeee into commits...

🔀 Audience overlap

Estimated

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

Nys Nys 17% Pfefferfrau Pfefferfrau 15% Sebastian Hans Sebastian Hans 15% nothacking nothacking 14% Stefan H. 👾 Stefan H. 👾 12% ambi ✨ ambi ✨ 12%

More like this

Find more →
Mastodon
nothacking
nothacking
@nothacking@infosec.exchange
88 Followers
Mastodon
Stefan H. 👾
Stefan H. 👾 ✓
@silson@chaos.social
88 Followers
Mastodon
Pfefferfrau
Pfefferfrau
@pfefferfrau@troet.cafe
88 Followers
Mastodon
ambi ✨
ambi ✨
@moonbath@mas.to
88 Followers
Mastodon
Sebastian Hans
Sebastian Hans ✓
@sebhans@hachyderm.io
88 Followers
Mastodon
Nys
Nys
@lunalupus@troet.cafe
88 Followers

✉ Message Moritz Firsching

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
See Pro $9.95/mo →

Already Pro? Log in.

🎤 Event / appearance with Moritz Firsching

Booking an event / appearance is a Pro feature. Upgrade to book Moritz Firsching for an in-person or virtual appearance — payment held safely in escrow until the event is done.

  • ✓ Book them for events, livestreams, panels & more
  • ✓ Moritz Firsching gets notified by email
  • ✓ Fee held in escrow, released after the appearance
See Pro $9.95/mo →

Already Pro? Log in.