Nice @cam.ac.uk article on our biodiversity impacts of food consumption at www.cam.ac.uk/stories/food... with an interactive explorer here quantifyearth.github.io/food-globe/ 🌎

Very good fun shaking Jensen Huang's hand after he was award the Hawking Fellowship at the Cambridge Union... and did he just advise us to abolish exams? anil.recoil.org/notes/jensen...

I like the direction @leaflet.pub is going, and am wondering if I could use Leaflet as the commenting/quoting platform for my own blog. It would need some sort of Atom/RSS bridging; I could create a Leaflet pub with just the URL to my blog as the only entry; any better way?

Discovered this custom papers feed based on who you follow: bsky.app/profile/did:... , via lab.leaflet.pub/3lz2rud4d3s2...

I'll add:: the future is having the agency of extensibility for code management. I want to be able to render executable notebooks that aren't Jupyter, to coordinate large datasets outside of git LFS, to track provenance of code+data. Federation is the means to this end. icy.leaflet.pub/3m47cll72hs25

This is exactly what I need and why I love the lazyweb. Thanks @runlevel0.me !

One thing I'm missing in my self-hosting stack is a service that can track all the changelogs/releases of software I depend on, and give me an Atom feed. I can poll the Docker registry for them, but I never know what migrations need to run for each service

Today, the @ec.europa.eu has announced the creation of the #EDIC #DigitalCommons — a major milestone in a multi-year European effort that the Sovereign Tech Agency helped shape from the start. 1/3

We’ve been working hard with the UK public sector at OpenUK, looking not just at funding of open source software but at the overall landscape needed as a user and funder of sustainable software through open source. Read the blog post here openuk.uk/theuksfuture... #opensource #openuk

The UK *really* needs to set up a sovereign tech fund to support the vibrant open source scene here. Kudos to @openuk.bsky.social for pushing this in their recommendations to @ukri.org openuk.uk/theuksfuture...

There's relatively little LLM training data for niche languages and this causes poorer coding agent performance. I think this is an existential threat for smaller language communities like OCaml. My talk at the OCaml workshop gave some actionable steps to mitigate that: toao.com/blog/ai-exis...

TIL you can use @quarto.org markdown to generate ACM format compliant journal articles... github.com/quarto-journ...

omg my blog got into @rogue-scholar.bsky.social and now has a permanent DOI per entry. I am DISPROPORTIONATELY EXCITED by this. E.g. my @icfp-conference.bsky.social blog post roundup now has its own DOI! doi.org/10.59350/4jf... Less excitingly it has revealed bugs in my Atom generation...

I was in the audience, and I loved this talk! Although it did lead to late night conversations about why we're allocating external memory in the first place in OCaml, instead of going full zero-copy. My thoughts here: anil.recoil.org/notes/icfp25...

A five part roundup of my @icfp-conference.bsky.social experience, covering chairing @propl.dev, holding an OxCaml tutorial, speaking about Docker, and what I learnt from everyone! anil.recoil.org/notes/icfp25; above all, huge thanks to @ilyasergey.bsky.social for making this ICFP/SPLASH so good

I'm honoured to have been appointed Chief Scientific Adviser to the UK Department of Energy Security and Net Zero: www.gov.uk/government/n...

Did u know? Queen bumblebees are looking for places to hibernate, right now: loose mud, leaf piles, plant pots or, in this case, my ceramic organic wool-filled skep. If you do accidentally disturb a sleeping beauty, just gently cover her back up again, so she can complete her winter's rest.🌿🌱🇬🇧🌱🌍🪲🐝

What's the best way to get a RISCV Linux on the cloud that runs a reasonably recent kernel? The @scaleway.com RV5 are great, but still stuck on Linux 5.5 and so can't run io_uring

OpenBSD 7.8 released marc.info?l=openbsd-an... www.openbsd.org/78.html

I would have commented sooner on the AWS outage, but I've only just managed to free myself from my $2000 smart bed www.dexerto.com/entertainmen...

A great opportunity to help work on OCaml's modern scientific computing ecosystem, Raven, with a fantastic co-mentor Thibaut! discuss.ocaml.org/t/outreachy-...

@xvw.lol notes just how complex modern editor tooling is, esp with agentic workflows #icfpsplash25 - he’s also done the coolest OCaml use of effects I’ve seen to help fix this! discuss.ocaml.org/t/ann-an-exp...

Every OCaml talk needs a pun, and @sadiq.toao.com is no exception #icfpsplash25

Great to see Richard Eisenberg giving this talk to OCamlers AND Haskellers AND still grinning! #icfpsplash25

Extremely cool work on a mechanically verified garbage collector for OCaml using F* by Sheera Samsu, @kcsrk.info and colleagues at the OCaml Workshop #icfpsplash25

If you're interested in Oxidised OCaml (OCaml with lifetime features), see the tutorial we ran at @icfp-conference.bsky.social here: gavinleroy.com/oxcaml-tutor.... We could also use your help answering a quiz that will help us develop this further gavinleroy.com/oxcaml-icfp-... #icfpsplash25

you can follow the live feed here: www.youtube.com/live/8B4VrU_...

🤖🌍 Session 5 Recap | Science in Action Speakers explored how AI & big data can transform climate resilience, land use, and science - while warning of risks. Highlights ⬇️ @royalsociety.org @ukri.org #ScienceInAction #AI #Sustainability #IIASAUK

Nice protocol, it seems to finally solve the problem of rendering Unicode on a terminal by putting the client in charge of determining the width of a character (grapheme cluster), avoiding disagreements between the terminal emulator and client in determining the width of Unicode text.

The most important fact i learnt at @icfp-conference.bsky.social from @yminsky.bsky.social is that Kitty supports variable sized text and it took no time at all to build an OCaml version of this protocol

Two talks today at @icfp-conference.bsky.social; first up is Max Carroll on his awesome work on type-level debugging at HATRA conf.researchr.org/details/icfp... at 1140 in Orchid Small #icfpsplash25

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

To be clear, @satnam6502.bsky.social is talking about chip design here but feel free to meme this as you wish #icfpsplash25

The 2nd PROPL is today, and will be livestreaming from www.youtube.com/watch?v=IIRJ... in an hour! Full program here conf.researchr.org/home/icfp-sp... and an overview of the program at dl.acm.org/action/showF...

Completely full house for our OxCaml tutorial at #icfpsplash25! conf.researchr.org/details/icfp...

Singapore’s airport is really something else

Computing education needs to change. Our new report, System upgrade required, summarises research commissioned by the Royal Society that highlights the significant barriers to participation in computing education and proposes the changes needed to support a skilled and inclusive workforce.

Does the news reflect what we die from?

I’m a happy paid subscriber!

omg I made it onto French national TV yesterday talking about hedgehogs and satellite AI www.youtube.com/shorts/s4A6s... 1m45 mark, but the first bit is even more interesting about French conservation efforts; I just need to get my bud in Paris @gazagnaire.org to translate it for me

And if you’re interested in OxCaml, we have a tutorial on Sunday at ICFP walking through it conf.researchr.org/track/icfp-s... (materials will be online for anyone afterwards. Just the minor detail of finishing writing them first)

I am quite enjoying following design conversations over ppxlib with @patrick.sirref.org across Discourse, Slack(s), Zulip(s), Matrix(s), GitHub and email. We need a couple more modes though; IP over avian time?

Just been adding Linux-specific sockopts to our OCaml Eio library and blimey there are a lot of new options lurking in there in recent years github.com/ocaml-multic...

📢 New blog! @charlesemogor.bsky.social uses machine learning to enhance anti-poaching across sub-Saharan Africa. Working with @anil.recoil.org, @fletcherecology.bsky.social and @milindtambe-ai.bsky.social, he is developing models to help rangers patrol effectively. Find out more: bit.ly/4mMs3Av

Not how I expected to make my @arstechnica.com debut but I'll take it arstechnica.com/ai/2025/09/c...

While it was a delight to visit my colleagues in Oxford today, I’m really not sure what’s going with their sofa placements. Is this their latest ploy to get an edge over Cambridge in the boat race?!

next step: spot hedgehogs from space

The #OCaml community are looking for mentors and projects for the next round of Outreachy. More details at: discuss.ocaml.org/t/outreachy-...

As for biodiversity, a brand new study also confirms what's well established: overall ruminant meat, especially from grazing animals (which require more land, entailing more carbon & biodiversity opportunity costs) has the biggest 'extinction footprint' of all foods: www.nature.com/articles/s43...