Fluid now supports PurePy v0.12, which means dataclasses and Python-style modules and imports with full compatibility with that subset of Python. pure-py.github.io

Combining several interests, I have a 2-year postdoc position now open on Trustworthy Generative AI for Computational Science at @cst.cam.ac.uk and @iccscambridge.bsky.social (closing date Sept 6th) www.cam.ac.uk/jobs/researc...

We've extended the deadline for the ML Family Workshop 2026! The new deadline is ** July 1, AoE ** The submission requirements are fairly minimal: only 2 pages. Please consider submitting, and encourage your friends to do so too!

@dorchard.bsky.social advertises the @iccs.bsky.social 'hacktoberfest' to collaborate with people on climate science projects; sign up later this year!

@f.luid.org language moves beyond notebooks to explain itself via literate execution. CamFORT tries to bring units of measure to code. But many of these are partial solutions; what would a complete language solution look like? Fortl is @dorchard.bsky.social's new language! github.com/plas4sci/fortl

Deepak's a great example of someone who wouldn't ordinarily attend @sigplan-pldi.bsky.social; he's a 'professional scientist' who has worked on terabyte scale oceanic models, and now maintains important scientific infrastructure like xarray

The 3rd Programming for the Planet chaired by @neurocy.bsky.social will be livestreaming from @sigplan-pldi.bsky.social in an hour at www.youtube.com/watch?v=wqc9...; see the morning program here pldi26.sigplan.org/program/prog...

[PLDI 2026] Flatirons 4 - PROPL (Jun 15th)

YouTube video by ACM SIGPLAN

youtube.com

There are clear roles for computer scientists to have a role in managing planetary health, and we can win! #propl26

Opening with @neurocy.bsky.social explaining the 'working group' model we're doing for the 3rd PROPL

I’ll be giving a talk on the Basic Model Interface next week at the PROPL 2026 workshop (organized by @dorchard.bsky.social!). pldi26.sigplan.org/home/propl-2...

PROPL 2026 - PLDI 2026

There are simultaneous interlinked crises across the planet due to human actions: climate change, biodiversity loss, and desertification (collectively, a crisis in climate health). Assessing progress ...

pldi26.sigplan.org

I like to give my students summary lecture notes of key technical ideas, which I make open source. Have just added my x64 assembly programming notes/reference for this year's Computer Systems (1st year) course at Kent dorchard.github.io/teaching.html even better is when students make PRs!

☔ Rethinking Weather and Climate Model Parametrisations with Reinforcement Learning You're welcome to join us online for Pritthijit Nath's talk, part of ICCS Journal Club, on Tuesday 21 April from 3pm-4pm UK time. 👉️ Full details:

I will need a post doc position in May-ish. Topics I want to work on are, lax functors, 2-categories/bicategories, generalized multicategories, double categories, other stuff on graded monads, and anything similar. Does anyone want to pay me to do this?

arxiv.org/pdf/2601.14846 cc @dorchard.bsky.social

Terence Tao on the future of mathematics | Math, Inc. www.youtube.com/watch?v=4ykb... Interesting times for the intersection of mathematics, theorem proving, machine learning, and software engineering!

Terry Tao on the future of mathematics | Math, Inc.

YouTube video by Math Inc

youtube.com

A former refugee & a mature student who returned to education after 30 years in hospitality. Just 2 of the students from backgrounds underrepresented in AI who did paid AI research placements with us last summer thanks to the Google DeepMind Research Ready scheme. Meet them here: shorturl.at/St577

New blog post on my 'FirstPrelude' library for teaching beginner functional programming with Haskell: dorchard.github.io/blog/2026/01...

☀️ The 2026 ICCS Summer School will bring together researchers for a week of collaborative, hands-on learning and expert-led sessions supporting their scientific work. 🗓️ When? Monday 13 July to Friday 17 July 2026 📍 Where? Centre for Mathematical Sciences, @cam.ac.uk iccs.cam.ac.uk/events/insti...

I finally migrated my Wordpress blog to my static Jekyll site and wrote a short little blog post on keyboard shortcuts for toggling gen-AI autocomplete dorchard.github.io/blog.html

Somewhat delayed because of Covid, I'm finally going to give my "inaugural lecture", which is a short, hopefully accessible, public talk: in my case "Some things I've learned about software"! All are welcome!

Condensed version of NAP3/CCRA3 transparent brushing-and-linking demo from @propl.dev in Singapore. Built with @f.luid.org

We're proud to say that Professor Emily Shuckburgh CBE, the Director of ICCS, has been appointed as the UK Government's new Chief Scientific Adviser to the Department for Energy Security and Net Zero. Emily will remain in her ICCS post while helping the UK to reach #NetZero – bravo!

Part 1 covers the 2nd Programming for the Planet conference (@propl.dev) organised by @kcsrk.info @dorchard.bsky.social and me. There were talks, demos and discussions about what we can do as computer scientists to avert the climate and biodiversity crises anil.recoil.org/notes/icfp25... 🌍

Programming for the Planet at ICFP/SPLASH 2025

anil.recoil.org

One highlight at the end is a skech of the crazy new language features we're going to have to teach to the 100s of JS devs. If that sounds like an exciting challenge, consider applying! We have roles in both NY and London. janestreet.com/join-jane-st... janestreet.com/join-jane-st...

OxCaml Educator :: Jane Street

Jane Street is a quantitative trading firm and liquidity provider with a unique focus on technology and collaborative problem solving.

janestreet.com

That’s a wrap for PROPL25 at @icfp-conference.bsky.social! Here’s the tired but happy organising team @anil.recoil.org @dorchard.bsky.social @kcsrk.info with @neurocy.bsky.social celebrating! Stay tuned for a writeup and enjoy our proceedings in the meantime dl.acm.org/doi/proceedi...

PROPL '25: Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming for the Planet. Now online: dl.acm.org/doi/proceedi... Looking forward to the workshop next week @icfp-conference.bsky.social/SPLASH

Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming for the Planet | ACM Conferences

dl.acm.org

🌊 An exciting Postdoctoral Research Associate opportunity at @kingscollegelondon.bsky.social Join a team of climate scientists and AI experts to generate new projections of the land ice contribution to sea level rise until 2300 with machine learning. Full info: www.jobs.ac.uk/job/DOL498/p...

Postdoctoral Research Associate at King's College London

Explore an exciting academic career as a Postdoctoral Research Associate. Don't miss out on other academic jobs. Click to apply and explore more opportunities.

jobs.ac.uk

The Call for the 2026 International Symposium on Functional and Logic Programming (FLOPS) is open - the symposium will be May 26-28 in Akita, Japan. Deadline for the CfP is Dec 8 (abstracts) / Dec 16 (submissions). Send us your best on the best of both worlds! functional-logic.org/events/flops...

🧭 We are pleased to announce that applications for the SSI Fellowship Programme 2026 are now open! The deadline to apply is Mon 6 Oct. Find out more and access further resources at www.software.ac.uk/news/ssi-fel...

For perspective: a recent study suggested that economic savings from just a *single* well-predicted hurricane, thanks to NOAA research advancements, are on order of *$5 billion.* That exceeds NOAA's *entire proposed annual operating budget.* So much for government efficiency.