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

Three puddles have just joined up! (I am doing some work today as well of course...!)

021

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

3. AI-enabled language translation frameworks, e.g., from Fortran (popular in climate science) to modern languages, e.g., Python/JAX.

020

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

2. leveraging LLMs to generate code alongside proofs (e.g., in Lean, Rocq, Agda) for improving verification of computational models and supporting trust in generated code;

120

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

Potential projects include (but are not limited to): 1. developing and evaluating frameworks that incorporate analytical tools (e.g., testing, static analysis, type systems, climate ensemble validators) in feedback loops with LLMs;

110

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

The goal of this position is to explore how to better leverage generative-AI for trustworthy software engineering within science, without eroding science or understanding, and including a critical view of negative externalities (environmental cost, IP issues, corporate interests)

220

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

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

Have you played Liero? (or perhaps you were already thinking of that! For me it is the canonical split-screen multi-player game!)

110

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

Dominic Orchard @dorchard.bsky.social · 17/04/2026

Sorry I wasn't in town in time - glad there is a recording!

010

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

Especially as its design is computationally generated ;)

010

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