🤝
Make a deal with Patrik Jansson
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
370
Account age
2 yrs
💰 Suggested sponsorship rate
$40 – $65 / sponsored post
Estimated from audience size & typical reach — every deal is negotiable and held in SocialDB escrow.
🧰 Free analysis for 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
12
Avg engagement / post
3.2%
Engagement vs followers
Aug 2023
On Mastodon since
🔥 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 179 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 — 2 years ago.
👁️Averages 12 views per post.
📤Posts about 0.4× per week.
🕵️ Fake follower check
Estimated84/100
Excellent
Credibility score
95%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 95% real, active audience · Low fake-follower risk.
- Strong engagement (~3.2% of followers engage each post) — an active, real audience.
- Verified account.
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
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.
Dune (1987), but regular time
18%
Mystix3D
16%
KinsZilla :verified:
15%
Deiviate 🔞
13%
Israel Ferrer Camacho
11%
Lykrast n°1 wifebait
10%
More like this
Find more →
Mastodon
Mystix3D
@mystix3d@pawoo.net
370
Followers
Mastodon
Deiviate 🔞 ✓
@deiviate@kinkycats.org
370
Followers
Mastodon
Israel Ferrer Camacho
@rallat@androiddev.social
370
Followers
Mastodon
Dune (1987), but regular time
@nofunoverlord@beige.party
370
Followers
Mastodon
Lykrast n°1 wifebait ✓
@lykrast@eldritch.cafe
370
Followers
Mastodon
KinsZilla :verified:
@kinszilla@famichiki.jp
370
Followers
✉ 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.