@dorchard.bsky.social
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling https://dorchard.github.io
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...
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...
13.10.2025 14:57 — 👍 9 🔁 4 💬 0 📌 0
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
🌊 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...
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.
01.07.2025 17:18 — 👍 419 🔁 175 💬 7 📌 3📢 Job opportunity at ICCS!
We're seeking a part-time Communications Coordinator to lead our comms strategy and amplify our research in climate + computing.
Details & apply: www.jobs.cam.ac.uk/job/50705/
#ClimateScience #ScienceCommunication #AcademicJobs
Looking for somewhere to submit work in functional programming with a focus on performance (broadly construed) or numerical computing? Consider the FProPer workshop! Co-located with ICFP and SPLASH 2025 conf.researchr.org/home/icfp-sp... I went last year, gave a keynote, and enjoyed it immensely!
16.05.2025 14:03 — 👍 6 🔁 2 💬 1 📌 0
The registration for @programming-conf.bsky.social is still open. Just sayin'...
15.05.2025 07:24 — 👍 1 🔁 4 💬 0 📌 0The abstract deadline for FProPer is coming up in a bit more than two weeks (31/5 - paper deadline 14/6). If you're working in the space, please consider submitting! And of course, if you know anyone doing interesting work in this area, please also encourage them to submit!
14.05.2025 11:07 — 👍 5 🔁 6 💬 0 📌 0This is a fantastic opportunity to work at the intersection of programming languages and scientific computing research, as part of the @cst.cam.ac.uk and ICCS teams.
Details: www.jobs.cam.ac.uk/job/51153
Apply by 25th May
This will build on the work we've done with fortran-src (joss.theoj.org/papers/10.21...) and CamFort (camfort.github.io). It's a chance to try out new ideas, develop both theory and practice, and to work with industry and academic partners (including applied to climate modelling).
29.04.2025 08:26 — 👍 4 🔁 0 💬 0 📌 0I am hiring a 2-year postdoc (either at Research Associate or Senior Research Associate level) to work on static analysis tools, particular with application to Fortran, at @cst.cam.ac.uk @iccscambridge.bsky.social. Details: www.jobs.cam.ac.uk/job/51153/ (closing date 25th May)
29.04.2025 08:26 — 👍 7 🔁 10 💬 1 📌 1
Please do consider joining the conversation by submitting a short piece, especially if you are "climate curious" and want to learn how to participate. Head over to the Call for Papers for more details conf.researchr.org/home/icfp-sp... or ask co-chairs @anil.recoil.org / @dorchard.bsky.social
03.04.2025 09:51 — 👍 1 🔁 1 💬 0 📌 0PROPL is baaack and will have a published workshop proceedings for the first time! CFP just out, and @dorchard.bsky.social and I are very excited to host it at SPLASH in October. 🌏🧪
03.04.2025 09:53 — 👍 9 🔁 3 💬 0 📌 0Happy that our (@iccscambridge.bsky.social) JOSS paper on FTorch has been accepted and is now out. This is a really neat library, smoothly enabling coupling of ML models developed in PyTorch into Fortran code, now being used in various climate models (+ other scientific domains too). Well done team!
06.03.2025 14:31 — 👍 10 🔁 2 💬 0 📌 0Just published in JOSS: 'FTorch: a library for coupling PyTorch models to Fortran' https://doi.org/10.21105/joss.07602
05.03.2025 19:46 — 👍 14 🔁 5 💬 0 📌 3
We are thrilled to join the Bluesky community and share our passion for advancing climate science through cutting-edge computing 🌱
ICCS collaborates with international research teams to address the computational challenges of climate modelling.
Follow us for updates on all our exciting projects! 🎊
Come join us in Cambridge! 2 new EPSRC-funded residental undergraduate internships available this summer, working alongside our DeepMind interns at the intersection of PL, AI/ML and HCI. Deadline 14 March. More at f.luid.org/student-proj.... Apply here: www.epsrc.group.cam.ac.uk/DTP/internsh....
07.02.2025 20:14 — 👍 0 🔁 2 💬 0 📌 0Just published in JOSS: 'fortran-src: Fortran static analysis infrastructure' https://doi.org/10.21105/joss.07571
07.02.2025 13:33 — 👍 5 🔁 5 💬 0 📌 0
@dynamicaspects.org presented Fluid at last week’s Virtual Earth System Research Institute journal club. Talk available at www.youtube.com/watch?v=5KUW...
www.schmidtsciences.org/virtual-eart...
Sorry to hear that @codeandcurrents.bsky.social I hope we can stay in touch / connect on some other projects. Good luck for what's next.
31.01.2025 09:21 — 👍 2 🔁 0 💬 1 📌 0
This poster provides a bit of context for our two DeepMind summer internships: an AI “authoring assistant” (for writing text with embedded Fluid computations), and an AI “reading assistant” (for turning provenance traces into natural language explanations). www.cst.cam.ac.uk/outreach/dee...
20.01.2025 15:24 — 👍 2 🔁 2 💬 0 📌 0We're delighted to publish ten PhD abstracts in this round. Topics range from types to tests, from synthesis to software engineering, from datatypes to differentiation. Have a look!
13.01.2025 03:23 — 👍 10 🔁 3 💬 1 📌 1Matrix convolution example, running with our new dependence-graph implementation of Fluid. Output interactions highlights inputs cells being consumed; input interactions highlight output cells that consume that input. 50-80x speedup vs. the previous implementation! ⏩⏩
09.01.2025 21:53 — 👍 3 🔁 2 💬 0 📌 0(this year is the 52nd iteration of POPL)
09.01.2025 14:29 — 👍 1 🔁 0 💬 1 📌 01973 I believe: dblp.org/db/conf/popl...
09.01.2025 14:28 — 👍 1 🔁 0 💬 1 📌 0
With the right instrument everyone is musical.
Could code be yours?
Imagine the music you could create with the expressive power of code.
Make it your 2025 resolution to get started with this friendly introductory course:
sonic-pi-studio.teachable.com/p/sonic-pi-i...
