Moritz Firsching✓ Add us as a preferred source on Google

Mastodon @moritzfirsching@mathstodon.xyz

⚔ Compare ☆ Follow Own this channel?

🔄 Data last refreshed 1 day ago

🤝

Make a deal with Moritz Firsching

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

Followers

109

Account age

3 yrs

🎁 Free analysisfor Moritz Firsching

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

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-conjectures

7 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+cURO5TZ8xcpyt2YTj22ADInGS4MuQqWE8QA

3 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

📊 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

1×

Follows 105 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

75/100

Good Credibility score

92%

Real Real audience

Low Fake-follower risk

High Data confidence

Est. 92% real, active audience · Low fake-follower risk.
Engagement (~5.5% of followers engage each post) is around typical for Mastodon.
Verified account.
Established account (3+ years old).

Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.

📸 Gallery

🔀 Audience overlap

Estimated

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

the cranky hermit🌻 17%

Leah 17%

motourer.de 16%

aoanla 15%

NeunMalKlug :tux: 12%

Andrii Mishkovskyi 🇺🇦 11%

More like this

Find more →

Mastodon ＋

the cranky hermit🌻

@rayknyc@mastodon.online

109 Followers

Mastodon ＋

NeunMalKlug :tux:

@neunmalklug@troet.cafe

109 Followers

Mastodon ＋

motourer.de ✓

@motourer@mastodon.online

Andrii Mishkovskyi 🇺🇦 ✓

@mishok13@hachyderm.io

109 Followers

Mastodon ＋

Leah

@waterbear@chaos.social

109 Followers

Frequently asked questions

How much does Moritz Firsching charge for a sponsorship?

Moritz Firsching 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 Moritz Firsching for a brand deal or collaboration?

Send a paid deal or collab request right here on SocialDB — we notify Moritz Firsching, 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 Moritz Firsching have?

Moritz Firsching has 109 followers on Mastodon.

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

Moritz Firsching✓ Add us as a preferred source on Google

Make a deal with Moritz Firsching

Known for

📊 Post engagement

📊 Activity & format

Recent posts

🐘 Community & instance

💡 Facts

🕵️ Fake follower check

📸 Gallery

🔀 Audience overlap

More like this

Frequently asked questions

✉ Message Moritz Firsching

🎤 Event / appearance with Moritz Firsching