Dominic Orchard

Mastodon @dorchard@types.pl

⚔ Compare ☆ Follow Own this channel?

🔄 Data last refreshed 1 hour ago

🤝

Make a deal with Dominic Orchard

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

Followers

313

Account age

3 yrs

🎁 Free analysisfor Dominic Orchard

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

Known for

6 views Yes it's that time of year again... time to set my functional programming assessment:

Jack Hughes presenting our work on Program Synthesis from Graded Types at ESOP 2024 https://link.springer.com/chapter/10.1007/978-3-031-57262-3_4 #etaps2024 well done Jack!

2 views Jack Hughes presenting our work on Program Synthesis from Graded Types at ESOP 2024 https://link.springer.com/chapter/10.1007/978-3-031-57262-3_4 #etaps2024 well done Jack!

📊 Post engagement

Avg engagement / post

7.3%

Engagement vs followers

Nov 2022

On Mastodon since

🔥 Top post: I'm hiring a postdoc to work with me at the University of Kent o · 131 likes + reposts

📊 Activity & format

Posting cadence

0.34 / week

A lower-frequency account — each post lands with more weight.

Content mix

Mostly text

Recent: 10 text · 2 image · 0 video.

Follower / following

2.7×

Follows 115 back. A more reciprocal / networked account.

Recent posts

View on Mastodon ↗

🔥 Top post I'm hiring a postdoc to work with me at the University of Kent on programming languages, tools, and systems for climate science in partnership with the Institute of Computing for Climate Science https://jobs.kent.ac.uk/Vacancy.aspx?ref=CEMS-264-24 Closing date 9th September 202… ★ 131

I've been using Agda for at least 10 years now and I still don't know a good way to find things in the standard library. Am I missing a trick? How do people navigate the standard library, e.g., to find if some particular property of a stan… ★ 6 Anyone at @icfp_conference looking for a postdoc in the UK, I am hiring for two positions, one on PL for climate modelling (https://www.youtube.com/watch?v=dJ6I2NO_VeU, https://jobs.kent.ac.uk/Vacancy.aspx?ref=CEMS-264-24) and a 1-year pos… ★ 22 On my way via train to @icfp_conference! My student @takanuva will present our ICFP paper "On the Operational Theory of the CPS-calculus: Towards a Theoretical Foundation for IRs" https://dl.acm.org/doi/10.1145/3674630 Tuesday afternoon an… ★ 18 Correct link: https://jobs.kent.ac.uk/Vacancy.aspx?ref=CEMS-264-24 ★ 2 Interested in doing a postdoc with me on programming languages, tools, and systems for climate science at the University of Kent? See this video for more info, context, and ideas. Closes Sept 9th 2024 (details here https://jobs.kent.ac.uk/… ★ 29 I was interviewed for the Haskell Interlude podcast and had a very fun and wide-ranging conversation with them about my work and how I came to it, both the Granule project and my work with climate scientists. Listen here: https://haskell.f… ★ 22

Jack Hughes presenting our work on Program Synthesis from Graded Types at ESOP 2024 https://link.springer.com/chapter/10.1007/978-3-031-57262-3_4 #etaps2024 well done Jack! ★ 2 Had a great time today giving the keynote at S-REPLS 14th edition (https://www.cl.cam.ac.uk/events/s-repls14/) at Janes Street in London, on "Graded Types and Algebraic Effects" (slides here: https://dorchard.github.io/slides/granule-srep… ★ 8

Yes it's that time of year again... time to set my functional programming assessment: ★ 6 A very short blog post about the PROPL "Programming for the Planet" workshop that I co organised with @avsm last month https://plas4sci.github.io/conference/2024/01/22/propl.html Will write something much more lengthy at some point soon.... ★ 10 @vollmerm might know the answer to this one...?

🐘 Community & instance

Home server

types.pl

Their home server on the fediverse — the instance a creator picks signals the community they belong to.

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 23 views per post.

📤Posts about 0.3× per week.

🕵️ Fake follower check

Estimated

80/100

Excellent Credibility score

97%

Real Real audience

Low Fake-follower risk

High Data confidence

Est. 97% real, active audience · Low fake-follower risk.
Strong engagement (~7.3% of followers engage each post) — an active, real audience.
Established account (3+ years old).

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

💚 Brand affinity

Estimated

Brands Dominic Orchard's audience is most likely to respond to — from detected sponsorships in this niche.

Institute

About

Senior Lecturer in Computer Science at the University of Kent and Co-director of the Institute of Computing for Climate Science at the University of Cambridge