Dominic Orchard

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

Can do next week!

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

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!

In summer 2025, 10 students from backgrounds under-represented in AI came to Cambridge to do a paid 8-week AI research placement with us. This was thanks to the Google DeepMind Research Ready programme, which will run again in summer 2026. Interested in applying? Visit https://www.cst.cam.ac.uk/outreach/deepmind-research-ready

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...

Participants at ICCS Summer School work and chat together during session

☀️ 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...

Especially as its design is computationally generated ;)

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

Professor Emily Shuckburgh

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!

Programming for the Planet at ICFP/SPLASH 2025

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... 🌍

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

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...

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

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

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.

🌊 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.

📢 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!

The registration for @programming-conf.bsky.social is still open. Just sayin'...

The 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!

This 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

fortran-src: Fortran static analysis infrastructure Contrastin et al., (2025). fortran-src: Fortran static analysis infrastructure. Journal of Open Source Software, 10(106), 7571, https://doi.org/10.21105/joss.07571

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).

I 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)

PROPL 2025 - Programming for the Planet 2025 - ICFP/SPLASH 2025 There are simultaneous interlinked crises across the planet due to human actions: climate change, biodiversity loss, and desertification. Addressing these challenges requires, amongst other things, a ...

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

PROPL 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. 🌏🧪

Happy 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!

Just published in JOSS: 'FTorch: a library for coupling PyTorch models to Fortran' https://doi.org/10.21105/joss.07602