iiinova — where your digital self keeps evolving

Reposted by Dominic Orchard

John C. Baez @johncarlosbaez.bsky.social · 08/09/2026

OpenAI claims formal proof that Navier-Stokes solutions can blow up. They used 10,000 agents simultaneously, who sent 2.7 million messages and used ~130 billion output tokens. "Not without controversy" - whew, what an understatement!

3277

Dominic Orchard @dorchard.bsky.social · 08/09/2026

Today's activity: staring out of my office window every so often to watch the adjacent small lake (pond?) refill. It completely dried up this summer but we've finally got a day of proper rain.

160

Dominic Orchard @dorchard.bsky.social · 05/09/2026

My Saturday is being conducted in a slight daze... Anthropic have used LLMs + prove2.me platform to mechanize a proof of FLT in Lean: www.anthropic.com/research/for... Kevin Buzzard has of course posted about it too xenaproject.wordpress.com/2026/09/04/f...

anthropic.com

Formalizing Fermat's Last Theorem

Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.

120

Reposted by Dominic Orchard

Institute for Research Software @softwaresaved.bsky.social · 01/09/2026

⬡ Today, we become the Institute for Research Software. For 15 years, we've worked as the Software Sustainability Institute to make research software more sustainable and properly recognised.

13325

Reposted by Dominic Orchard

Institute of Computing for Climate Science @iccscambridge.bsky.social · 18/08/2026

🤔 What impact is generative AI having on research software engineering and scientific computing, and how can we identify where the real benefits could lie? ICCS's Prof @dorchard.bsky.social outlines the current situation and how #GenAI might be explored in future: iccs.cam.ac.uk/news/generat...

Two men sitting next to each other with their laptops while they work on code

011

Reposted by Dominic Orchard

Institute of Computing for Climate Science @iccscambridge.bsky.social · 10/08/2026

💡 We're #hiring! The Institute of Computing for Climate Science at the University of Cambridge is advertising for a Senior Research Software Engineer in AI. Join of a team of 12 RSEs working in the climate science domain on a wide range of projects. Apply by 28 August www.cam.ac.uk/jobs/senior-...

We're recruiting! Senior Research Software Engineer in AI. Closing date 28 August

012

Reposted by Dominic Orchard

Fluid News @f.luid.org · 30/07/2026

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

pure-py.github.io

PurePy

PurePy: a pure, functional subset of Python for scientific computing. Formal specification and reference checker.

022

Dominic Orchard @dorchard.bsky.social · 29/07/2026

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

cam.ac.uk

Research Assistant/Associate in Trustworthy Generative AI for Computational Science (Fixed Term)

Fixed-term: The funds for this post are available for 2 years.

131

Reposted by Dominic Orchard

Sam Westrick @shwestrick.bsky.social · 24/06/2026

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!

103

Reposted by Dominic Orchard

Programming for the Planet @propl.dev · 15/06/2026

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

222

Reposted by Dominic Orchard

Programming for the Planet @propl.dev · 15/06/2026

@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

142

Reposted by Dominic Orchard

Programming for the Planet @propl.dev · 15/06/2026

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

242

Reposted by Dominic Orchard

Programming for the Planet @propl.dev · 15/06/2026

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

youtube.com

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

YouTube video by ACM SIGPLAN

043

Reposted by Dominic Orchard

Programming for the Planet @propl.dev · 15/06/2026

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

101

Reposted by Dominic Orchard

Programming for the Planet @propl.dev · 15/06/2026

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

1122

Dominic Orchard @dorchard.bsky.social · 13/05/2026

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!

dorchard.github.io

Teaching

050

Reposted by Dominic Orchard

Institute of Computing for Climate Science @iccscambridge.bsky.social · 02/04/2026

☔ 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:

iccs.cam.ac.uk

Journal Club: Rethinking Weather and Climate Model Parametrisations with Reinforcement Learning | Institute of Computing for Climate Science

A talk by Pritthijit Nath, part of ICCS Journal Club

021

Reposted by Dominic Orchard

Tori @proof-by.bsky.social · 25/02/2026

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?

045

Reposted by Dominic Orchard

Tomas Petricek @tomasp.net · 25/01/2026

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

072

Dominic Orchard @dorchard.bsky.social · 06/01/2026

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!

youtube.com

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

YouTube video by Math Inc

020

Reposted by Dominic Orchard

Cambridge Computer Science @cst.cam.ac.uk · 06/01/2026

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

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

151

Dominic Orchard @dorchard.bsky.social · 05/01/2026

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

dorchard.github.io

FirstPrelude v0.2.0 for beginner Haskell using GHC

142

Reposted by Dominic Orchard

Institute of Computing for Climate Science @iccscambridge.bsky.social · 02/12/2025

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

Participants at ICCS Summer School work and chat together during session

113

Dominic Orchard @dorchard.bsky.social · 19/11/2025

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

dorchard.github.io

Blog

020

Reposted by Dominic Orchard

Laurence Tratt @ltratt.bsky.social · 07/11/2025

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!

2173

Reposted by Dominic Orchard

Roly Perera @dynamicaspects.org · 06/11/2025

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

021

Reposted by Dominic Orchard

Institute of Computing for Climate Science @iccscambridge.bsky.social · 27/10/2025

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!

022

Reposted by Dominic Orchard

Anil Madhavapeddy @anil.recoil.org · 23/10/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... 🌍

anil.recoil.org

Programming for the Planet at ICFP/SPLASH 2025

295

Reposted by Dominic Orchard

Yaron Minsky @yminsky.bsky.social · 20/10/2025

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

janestreet.com

OxCaml Educator :: Jane Street

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

143

Reposted by Dominic Orchard

Programming for the Planet @propl.dev · 13/10/2025

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

0125

Dominic Orchard @dorchard.bsky.social · 10/10/2025

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

dl.acm.org

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

032

Reposted by Dominic Orchard

Institute of Computing for Climate Science @iccscambridge.bsky.social · 03/09/2025

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

jobs.ac.uk

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.

021

Reposted by Dominic Orchard

Mike Sperber @sperbsen.bsky.social · 26/08/2025

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

functional-logic.org

FLOPS 2026 - Call for Papers | Functional Logic Programming

18th International Symposium on Functional and Logic Programming

057

Reposted by Dominic Orchard

Institute for Research Software @softwaresaved.bsky.social · 11/08/2025

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

01316

Reposted by Dominic Orchard

Daniel Swain @weatherwest.bsky.social · 01/07/2025

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.

7416173

Reposted by Dominic Orchard

Institute of Computing for Climate Science @iccscambridge.bsky.social · 04/06/2025

📢 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

jobs.cam.ac.uk

Communications Coordinator - Job Opportunities - University of Cambridge

Communications Coordinator in the Department of Applied Mathematics and Theoretical Physics at the University of Cambridge.

041

Dominic Orchard @dorchard.bsky.social · 16/05/2025

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!

cambridge-iccs.github.io

ICCS Summer School 2025 Programme

152

Reposted by Dominic Orchard

Tomas Petricek @tomasp.net · 15/05/2025

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

014

Reposted by Dominic Orchard

gckeller.bsky.social @gckeller.bsky.social · 14/05/2025

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!

056

Reposted by Dominic Orchard

Programming for the Planet @propl.dev · 03/04/2025

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

conf.researchr.org

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

011

Reposted by Dominic Orchard

Anil Madhavapeddy @anil.recoil.org · 03/04/2025

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

093

Dominic Orchard @dorchard.bsky.social · 06/03/2025

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!

0102

Reposted by Dominic Orchard

Journal of Open Source Software @joss-openjournals.bsky.social · 05/03/2025

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

0145

Reposted by Dominic Orchard

Institute of Computing for Climate Science @iccscambridge.bsky.social · 19/02/2025

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

153

Reposted by Dominic Orchard

Fluid News @f.luid.org · 07/02/2025

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

epsrc.group.cam.ac.uk

Internships | EPSRC Doctoral Training Opportunities

Applications are now open! STEM Widening Participation Research Internship Programme The Schools of the Physical Sciences and Technology are inviting current undergraduate students to apply for an eig...

002

Reposted by Dominic Orchard

Journal of Open Source Software @joss-openjournals.bsky.social · 07/02/2025

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

055