🌊 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

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)

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

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

Just published in JOSS: 'fortran-src: Fortran static analysis infrastructure' https://doi.org/10.21105/joss.07571

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

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

We'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!

Matrix 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! ⏩⏩

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

New paper (accepted to ESOP 2025) “Cognacy Queries over Dependence Graphs for Transparent Visualisations”, with Joe Bond, Cristina David, Minh Nguyen and @dorchard.bsky.social. arxiv.org/abs/2403.04403

What does Artifact Evaluation mean for the computational #climatescience community? The blog post below summarises a pioneering initiative that some of us in @climformatics.bsky.social embarked on to embed more #reproducibility and #fairsoftware in climate research. Please share 🙏

This year the Climate Informatics conference @climformatics.bsky.social embarked on an 'artifact evaluation' procedure to assess the software associated with accepted papers (opt in) modelled after similar approaches in computer science. New blog post about the process iccs.cam.ac.uk/news/artifac...

Our collaborators at LSCE (Laboratoire des Sciences du Climat et de l’Environnement) are hiring a 4-year Research Software Engineer to work on the fantastic CALIPSO project calipsovesri.org - closing date 20th December (still time!) This RSE would also work alongside our team at ICCS in Cambridge...

The School of Computing at the University of Kent has a PhD scholarship available, and the deadline to apply is February 15th. We're especially interested in students interested in programming languages, compilers, and systems! www.kent.ac.uk/scholarships...

Hi, CSDMS-ers! We've started a brand new forum at forum.csdms.io. If you're into earth surface processes, geoscientific software development, or anything between, please consider signing up. It would be awesome if we made this a place to easily discuss research, ask questions, and share ideas.

My keynote from FProPer'24 is also online now "From C to Comonads to Climate: A Functional Programmer's Journey in Array Programming" www.youtube.com/watch?v=y_tJ...

The video of my student Paulo Torrens presenting our ICFP'24 paper "On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs" is now online www.youtube.com/watch?v=PuX2... open access paper dl.acm.org/doi/10.1145/... (full marks for presenting in the LambdaMan t-shirt)

What could be simpler? 5 mode axes and 11 distinct modes. Nothing to worry about.

TIL that in Haskell you can give a data type a kind signature using the `type` syntax, e.g., as in line 6 in the below. I did not notice this getting introduced! (This is called StandaloneKindSignatures ghc.gitlab.haskell.org/ghc/doc/user... and was introduced in GHC 8.10.1- 4 years ago).

Can anyone guess which mathematician will feature in my (guest) lecture tomorrow based solely on their awesome hat...?

Session types (capturing communication protocols) & graded types (capturing dataflow) can be combined to describe patterns of replication, reuse, & repetition in communication. Danielle Marshall and I developed the theory + practice (in Granule) of these ideas in a new paper doi.org/10.1016/j.ic...

Only three more days to apply to join us as a (PD)RA on the EPSRC-funded #Casper project. Together with our partners at HU Berlin, AWS, and the BBC, we will be researching how the execution of scalable batch processing applications can be aligned with the availability of low-carbon energy! ☁️💻🌱

A while ago I made a list of writing strategies for my group, essentially some techniques to help get writing done: 'Stream of consciousness', 'Rubric', 'Hemingway', 'Growing a Seed', 'Bottom up', 'Top down', 'Jump in the Middle', 'Structure/outline', 'Breadth First' gist.github.com/dorchard/a03...

We're working on (re)building up our network on bsky! If you are a women in logic (both broadly construed!) let us know so we can follow you!

Very pleased and proud that my (now former!) PhD student Jack Hughes' dissertation on type-directed synthesis for graded types is now online: kar.kent.ac.uk/107798/1/67t... Seeing this work come together was incredible. Great job Jack!

Moshe Vardi sent this email to LICS. I did not know SIGLOG was in such low membership numbers. Frankly, I think SIGPLAN and SIGLOG are quite distinct in some ways, and we should continue to support and join SIGLOG!

@dorchard.bsky.social also pitching the best book I’ve read recently about climate change, in his excellent departmental seminar here at Cambridge on programming for the planet

The rate of increase of global CO2 emissions has slowed, but "Fossil fuel emissions are projected to be almost 8% higher in 2024 than in 2015, the year the Paris climate agreement was signed" #GlobalCarbonProject @pfriedling.bsky.social @glenpeters.bsky.social.

Hello folks! I'm seeking participants for a user study on a new code editor that completes your program text with syntactic obligations, which are virtual tokens that stand in for missing text. Details in thread. Reskeets appreciated 🙏

This was a brilliant workshop! Fantastic discussions and ideas. Of particular interest to me: many around modularisation and interoperation of models. I came away buzzing (& with many new tabs open in my brain). Thanks @samharrison7.bsky.social! Looking forward to seeing the outputs of this develop.

Just read "Thoughts about Artifact Badging" by Zilberman & Moore @awm22.bsky.social (2020) dl.acm.org/doi/10.1145/... reflecting on artefact evaluation in the SIGCOMM community. Interesting food for thought on how robustness can fall between a gap in replicability and reproducibility.

1: Happy to share that we were able to accept 21 regular submissions for the 1st International Workshop on Low Carbon Computing (LOCO 2024) on 3 Dec 2024. You can find the details of accepted submissions, the two keynotes, etc. on our website now: sicsa.ac.uk/loco/loco202... 💻 📄 ✨

mov dx, 0108 mov ah, 09 int 21 ret Hello world!$