Sjoerd Visscher✓ Add us as a preferred source on Google
🔄 Data last refreshed 1 day ago
🤝
Make a deal with Sjoerd Visscher
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
295
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 Sjoerd Visscher
Known for
18 views
Isn't it amazing that these are all different representations of the same thing, each useful in its own way?
11 views
I believe proarrow equipments are a great setting to study optics in. You can see the expression for optics and the equivalent string diagram below.
The string diagram even looks like it's just a schematic drawing of an optic, but it really contains all the required information! The arrow heads indicate that s, t, a and b are all tight arrows, but in the loose direction.
If you specialize to the p
![(comult @(D '["Y"]) == line || counit)
|| (comult @(D '["X"]) == mappend @(D '["X"]))
|| (comult @(D '["Z"]) == counit @(D '["Z"]) || line)](/img?u=https%3A%2F%2Fpool.jortage.com%2Ftypespl%2Fmedia_attachments%2Ffiles%2F116%2F097%2F842%2F621%2F387%2F824%2Fsmall%2F9a8002e91dada78e.png)
8 views
(comult @(D '["Y"]) == line || counit)
|| (comult @(D '["X"]) == mappend @(D '["X"]))
|| (comult @(D '["Z"]) == counit @(D '["Z"]) || line)
5 views
line || unitAdj @"L" @"R" == counitAdj @"L" @"R" || line
📊 Post engagement
Recent posts · likes + reposts
Jul 19latest
5
Avg engagement / post
1–5
Typical post (engagement)
1.7%
Engagement vs followers
54/100
Consistent reach
Nov 2022
On Mastodon since
Half of recent posts land between 1 and 5 likes + reposts (median 3) — a dependable floor a sponsored post can count on.
🔥 Top post: Isn't it amazing that these are all different representations of · 18 likes + reposts
📊 Activity & format
Posting cadence
0.23 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly images
Recent: 5 text · 7 image · 0 video.
Follower / following
1.2×
Follows 237 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
🔥 Top post
Isn't it amazing that these are all different representations of the same thing, each useful in its own way?
I have an elasticube wooden puzzle at home, and yesterday I saw a version in a museumshop with balls instead of cubes. This allows for different shapes to be made, but the smooth surface of the balls caused the shapes to lack stiffness. So…
I've added the cospan category to the proarrow library. [1] I thought it wouldn't be possible to implement it, since the composition of cospans requires pushouts. And pushouts are an inherently dependently typed concept, since the pushout …
Ah I see it now, both sources talk about thinnings as being morphisms in the augmented simplex category. I read that as thinnings being the morphisms in the augmented simplex category, but it is meant as being a subset.
I keep reading that the augmented simplex category and the category of thinnings are the same thing, but I don't think that's true? The morphisms can both be seen as functions from Fin n to Fin m, but in the simplex category the constant f…
trace @_ @(D '["A"]) @(D '["X"]) @(D '["Y"]) (node "f" == node @'["Z"] "g")
line || unitAdj @"L" @"R" == counitAdj @"L" @"R" || line
(comult @(D '["Y"]) == line || counit)
|| (comult @(D '["X"]) == mappend @(D '["X"]))
|| (comult @(D '["Z"]) == counit @(D '["Z"]) || line)
Photo post
@mc Do you think dependent optics might fit in this framework?
You could even see the above string diagram as a comb. Chad Nester et al. figured this out for the free cornering in https://arxiv.org/pdf/2205.00842 but it works for any proarrow equipment!
I believe proarrow equipments are a great setting to study optics in. You can see the expression for optics and the equivalent string diagram below.
The string diagram even looks like it's just a schematic drawing of an optic, but it reall…
trace @_ @(D '["A"]) @(D '["X"]) @(D '["Y"]) (node "f" == node @'["Z"] "g")
line || unitAdj @"L" @"R" == counitAdj @"L" @"R" || line
(comult @(D '["Y"]) == line || counit)
|| (comult @(D '["X"]) == mappend @(D '["X"]))
|| (comult @(D '["Z"]) == counit @(D '["Z"]) || line)
Photo post
@mc Do you think dependent optics might fit in this framework?
You could even see the above string diagram as a comb. Chad Nester et al. figured this out for the free cornering in https://arxiv.org/pdf/2205.00842 but it works for any proarrow equipment!
I believe proarrow equipments are a great setting to study optics in. You can see the expression for optics and the equivalent string diagram below.
The string diagram even looks like it's just a schematic drawing of an optic, but it reall…
🐘 Community & instance
Home server
types.pl
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 5 views per post.
📤Posts about 0.2× per week.
🕵️ Fake follower check
Estimated75/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 (~1.7% 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.
About
he/him #haskell #categorytheory #lumatone
📸 Gallery
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
More like this
Find more →
Mastodon
＋
Mae Milano
@mpmilano@types.pl
295
Followers
Mastodon
＋
GREUBE HUMAINE
@greubelinux@mastodon.social
295
Followers
Mastodon
＋
Edgar Almeida
@berserked_pt@masto.pt
295
Followers
Mastodon
＋
C.H.
@c_th1@digitalcourage.social
295
Followers
Mastodon
＋
Thomas Gerdes ✓
@thomasgerdes@mastodon.social
295
Followers
Mastodon
＋
Solar🌄Garden
@wavesculptor@climatejustice.social
295
Followers
Frequently asked questions
How much does Sjoerd Visscher charge for a sponsorship?
Sjoerd Visscher 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 Sjoerd Visscher for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify Sjoerd Visscher, 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 Sjoerd Visscher have?
Sjoerd Visscher has 295 followers on Mastodon.
✉ Message Sjoerd Visscher
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 Sjoerd Visscher
Booking an event / appearance is a Pro feature. Upgrade to book Sjoerd Visscher for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Sjoerd Visscher 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