Patrik Jansson✓ Add us as a preferred source on Google
🔄 Data last refreshed 2 hours ago
🤝
Make a deal with Patrik Jansson
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
382
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 Patrik Jansson
Known for
26 views
In the paper "Agda-ventures with PolyP" Jeremy Gibbons (@jer_gib) and I revisit PolyP in a literate Agda setting — combining executable code, theory, and reflection on three decades of generic programming. It is part of a Festschrift gifted to Johan Jeuring at the academic celebration of his 60th birthday.
📖 Blog post: https://patrikja.owlstown.net/posts/4693
📄 Paper: https://github.com/DSLsofMath
11 views
Just submitted my latest Swedish Science Council grant proposal: "Navigating the Incomparable"!
We want to build correct-by-construction software for multi-objective optimization—helping safely navigate complex trade-offs like economic costs vs. global temperature rise (see the attached idealised Pareto front).
To do this, we're proposing three connected work packages (see diagram) moving from for
11 views
New pre-print out: "Types, equations, dimensions and the Pi theorem".
We formalized the covariance principle (physical laws must be independent of units) as a homomorphism between the algebra of physical quantities and real numbers.
While the Pi Theorem from Dimensional Analysis (DA) is non-constructive, we introduce a constructive method for applying it. This could enable DA-driven program deriva
4 views
Here is some constructive evidence of my talk at the Budapest Type Theory Seminar yesterday.
https://bitbucket.org/akaposi/tipuselmelet/src/master/
(I guess, strictly speaking, there is only evidence of pizza + drinks unless somebody also took a picture of me giving the talk;-)
📊 Post engagement
Recent posts · likes + reposts
Oct 20latest
12
Avg engagement / post
4–11
Typical post (engagement)
3.1%
Engagement vs followers
45/100
Variable reach
Aug 2023
On Mastodon since
Half of recent posts land between 4 and 11 likes + reposts (median 7) — reach is spiky, driven by the occasional post that pops.
🔥 Top post: Do you want to use functional programming to find new ways to de · 55 likes + reposts
📊 Activity & format
Posting cadence
0.35 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 7 text · 5 image · 0 video.
Follower / following
2.1×
Follows 182 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
More FP2 courseplan details:
DAT600 Content
Students will study key abstractions such as lazy/strict evaluation, functors, monads and similar, and learn how these can be used to express effects like state, exceptions, and I/O in a purely f…
In January 2027, I will teach the first instalment of the new BSc course "Functional Programming: continuation course" (joint between Chalmers and UGOT). https://share.google/int8wna1Pjo9T1tGE
Within a month or so, I need to decide on the …
Just submitted my latest Swedish Science Council grant proposal: "Navigating the Incomparable"!
We want to build correct-by-construction software for multi-objective optimization—helping safely navigate complex trade-offs like economic cos…
The schedule for the 2026 PhD course "Functional Programming and Climate Impact Research" (FPClimate) is now live!
We kick off on March 23, reading and discussing papers on the application of FP, DSLs, and dependent types to climate modeli…
X-mas comes early this year: the ICFP 2025 talks are now on YouTube.
You can catch my talk on "Domain-specific tensor languages" below. We explore implementing tensor calculus in #Haskell, supporting both Einstein notation and Penrose diag…
The paper is being reviewed for the Journal of Functional Programming, and we have received very helpful feedback in the process. As a side-effect it has grown to 44 pages, so be prepared for a long-ish read...
New pre-print out: "Types, equations, dimensions and the Pi theorem".
We formalized the covariance principle (physical laws must be independent of units) as a homomorphism between the algebra of physical quantities and real numbers.
While …
Here is some constructive evidence of my talk at the Budapest Type Theory Seminar yesterday.
https://bitbucket.org/akaposi/tipuselmelet/src/master/
(I guess, strictly speaking, there is only evidence of pizza + drinks unless somebody also …
After a few intense weeks — first at #icfpsplash25 in Singapore, then four days of interviewing candidates for tenure-track positions as part of the faculty appointment committee (Lärarförslagsnämnd) at the University of Gothenburg — I’m …
In the paper "Agda-ventures with PolyP" Jeremy Gibbons (@jer_gib) and I revisit PolyP in a literate Agda setting — combining executable code, theory, and reflection on three decades of generic programming. It is part of a Festschrift gifte…
Half the trip home from #icfpsplash25 is now done: 9h from SIN, two hours left until touchdown at IST, then some waiting and 3.5h flight home to GOT.
Singapore was an intense experience, but I'm looking forward to a cooler outdoor, and war…
Just submitted my latest Swedish Science Council grant proposal: "Navigating the Incomparable"!
We want to build correct-by-construction software for multi-objective optimization—helping safely navigate complex trade-offs like economic cos…
The schedule for the 2026 PhD course "Functional Programming and Climate Impact Research" (FPClimate) is now live!
We kick off on March 23, reading and discussing papers on the application of FP, DSLs, and dependent types to climate modeli…
X-mas comes early this year: the ICFP 2025 talks are now on YouTube.
You can catch my talk on "Domain-specific tensor languages" below. We explore implementing tensor calculus in #Haskell, supporting both Einstein notation and Penrose diag…
The paper is being reviewed for the Journal of Functional Programming, and we have received very helpful feedback in the process. As a side-effect it has grown to 44 pages, so be prepared for a long-ish read...
New pre-print out: "Types, equations, dimensions and the Pi theorem".
We formalized the covariance principle (physical laws must be independent of units) as a homomorphism between the algebra of physical quantities and real numbers.
While …
Here is some constructive evidence of my talk at the Budapest Type Theory Seminar yesterday.
https://bitbucket.org/akaposi/tipuselmelet/src/master/
(I guess, strictly speaking, there is only evidence of pizza + drinks unless somebody also …
After a few intense weeks — first at #icfpsplash25 in Singapore, then four days of interviewing candidates for tenure-track positions as part of the faculty appointment committee (Lärarförslagsnämnd) at the University of Gothenburg — I’m …
In the paper "Agda-ventures with PolyP" Jeremy Gibbons (@jer_gib) and I revisit PolyP in a literate Agda setting — combining executable code, theory, and reflection on three decades of generic programming. It is part of a Festschrift gifte…
Half the trip home from #icfpsplash25 is now done: 9h from SIN, two hours left until touchdown at IST, then some waiting and 3.5h flight home to GOT.
Singapore was an intense experience, but I'm looking forward to a cooler outdoor, and war…
🐘 Community & instance
Home server
functional.cafe
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
Aug 2023
An established account with real history on the platform.
💡 Facts
🗓️Joined Mastodon in 2023 — 3 years ago.
👁️Averages 12 views per post.
📤Posts about 0.4× 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 (~3.1% 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.
💚 Brand affinity
EstimatedBrands Patrik Jansson's audience is most likely to respond to — from detected sponsorships in this niche.
About
Computer scientist, #Haskell hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.
Have worked on Domain-Specific Languages of Mathematics, #Agda, Climate Impact Research, Parametricity for Dependent Types, Testing, Parsing, polytypic programming, ...
(Using tootfinder.ch)
📸 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
＋
ÐДѷє ۷ǿȵ ຣ ✓
@dave_von_s@infosec.exchange
382
Followers
Mastodon
＋
Solar Phasing
@solarphasing@mastodon.social
382
Followers
Mastodon
＋
Scott Wright 🏳️🌈🏳️⚧️ ✓
@jswright61@ruby.social
382
Followers
Mastodon
＋
Chupacabra 78704
@homoevolutis0@mastodon.social
382
Followers
Mastodon
＋
pmac ✓
@pmac@fosstodon.org
382
Followers
Mastodon
＋
budak
@budak@kopiti.am
382
Followers
Frequently asked questions
How much does Patrik Jansson charge for a sponsorship?
Patrik Jansson 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 Patrik Jansson for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify Patrik Jansson, 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 Patrik Jansson have?
Patrik Jansson has 382 followers on Mastodon.
✉ Message Patrik Jansson
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 Patrik Jansson
Booking an event / appearance is a Pro feature. Upgrade to book Patrik Jansson for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Patrik Jansson 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