Ingo Blechschmidt✓
🤝
Make a deal with Ingo Blechschmidt
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
333
Account age
0 yrs
💰 Suggested sponsorship rate
$40 – $65 / sponsored post
Estimated from audience size & typical reach — every deal is negotiable and held in SocialDB escrow.
📊 Post engagement
18
Avg engagement / post
5.4%
Engagement vs followers
Apr 2026
On Mastodon since
🔥 Top post: A quick follow-up to this key wiping bug: Ondrej Kozina from the · 51 likes + reposts
📊 Activity & format
Posting cadence
2.9 / week
Posts several times a week.
Content mix
Mostly text
Recent: 11 text · 1 image · 0 video.
Follower / following
1.7×
Follows 201 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
(5/6) The new technology which allows us to construct this explicit counterexample is stateful realizability. There are several precursors and then also several more recent developments, but I'm referring to this 2019 breakthrough by Liron…
(4/6) Now here is a fantasy of how to construct an explicit counterexample.
We build two equivalence relations 𝑅 and 𝑆 on ℕ in such a way that the quotients ℕ/𝑅 and ℕ/𝑆 are both streamless but their cartesian product is not. To ensure the …
(3/6) ... there is a *formal space* of functions ℕ → 𝑋. This space has as its points the functions ℕ → 𝑋, whatever they might be. But a formal space is much more than its collection of points, and is in particular not defined by this colle…
(2/6) On first sight, the definition of streamlessness looks like a clean ∀∃ condition. No pesky negations in sight, unlike for instance in the constructively problematic saying "a function is injective if it maps nonequal inputs to nonequ…
(1/6) Here is an example of how recent mathematical technology (2019) helped solve a decades-old (1993) problem in constructive combinatorics.
This post: The problem. Next: How formal topology informs us to expect a counterexample. The tec…
The level I'm currently playing exceeds the capabilities of my old laptop. So I rented the best gaming rig my hosting provider had to offer. It still might not be enough.
Agda: my favorite MMORPG, with occasional AAA hardware requirements.…
Yes :-) Do you have a question about that? Perhaps I or someone here can answer :-)
Excited about this one-day meeting on constructive and synthetic mathematics organized by Daniel Misselbeck-Wessel and Peter Schuster. Perhaps you happen to be around and want to drop by? :-)
I could offer hosting for the night before or a…
Enjoy: a short and constructive proof that it's possible to patch the popular feature-rich and privacy-friendly NewPipe app for watching videos on Android phones so that videos are played as slideshows, to reduce their pull. Only one new f…
I still remember how disturbed I was on first encountering the standard solution to the Tower of Hanoi puzzle. (New to this puzzle? Lucky you! xkcd 1053. Three pegs, a stack of 𝑛 disks of distinct sizes; the stack should be moved to anothe…
@nixos_org @leah @identical9213 Announcing experimental secure suspend-to-RAM for NixOS
Normally (and somewhat embarrassingly, considering that it's the 21st century), full-disk encryption gives you no protection while your laptop is susp…
The level I'm currently playing exceeds the capabilities of my old laptop. So I rented the best gaming rig my hosting provider had to offer. It still might not be enough.
Agda: my favorite MMORPG, with occasional AAA hardware requirements.…
Yes :-) Do you have a question about that? Perhaps I or someone here can answer :-)
Excited about this one-day meeting on constructive and synthetic mathematics organized by Daniel Misselbeck-Wessel and Peter Schuster. Perhaps you happen to be around and want to drop by? :-)
I could offer hosting for the night before or a…
Enjoy: a short and constructive proof that it's possible to patch the popular feature-rich and privacy-friendly NewPipe app for watching videos on Android phones so that videos are played as slideshows, to reduce their pull. Only one new f…
I still remember how disturbed I was on first encountering the standard solution to the Tower of Hanoi puzzle. (New to this puzzle? Lucky you! xkcd 1053. Three pegs, a stack of 𝑛 disks of distinct sizes; the stack should be moved to anothe…
@nixos_org @leah @identical9213 Announcing experimental secure suspend-to-RAM for NixOS
Normally (and somewhat embarrassingly, considering that it's the 21st century), full-disk encryption gives you no protection while your laptop is susp…
🐘 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
Apr 2026
An established account with real history on the platform.
💡 Facts
🗓️Joined Mastodon in 2026.
👁️Averages 18 views per post.
📤Posts about 2.9× per week.
🛡️ Audience credibility
81/100
Excellent
- Est. 95% real, active audience · Low fake-follower risk.
- Strong engagement (~5.4% of followers engage each post) — an active, real audience.
- Verified account.
Est. authentic audience
95%
Fake-follower risk
Low
Data confidence
High
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Dream of Omni
18%
Sam Clemente
17%
Abra Staffin-Wiebe
16%
RaymondPierreL3
16%
James Wood
14%
George
10%
More like this
Find more →
Mastodon
James Wood
@mudri@mathstodon.xyz
333
Followers
Mastodon
George
@xorky@mastodon.art
333
Followers
Mastodon
Abra Staffin-Wiebe
@abracanabra@wandering.shop
333
Followers
Mastodon
RaymondPierreL3
@raymondpierrel3@aus.social
333
Followers
Mastodon
Sam Clemente ✓
@countablenewt@mastodon.social
333
Followers
Mastodon
Dream of Omni ✓
@dreamofomni@mstdn.social
333
Followers
✉ Message Ingo Blechschmidt
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 Ingo Blechschmidt
Booking an event / appearance is a Pro feature. Upgrade to book Ingo Blechschmidt for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Ingo Blechschmidt 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.