iiinova — where your digital self keeps evolving

David Allsopp

@dra27.uk

Cambridge-based, London-working software engineer; sometime classical singer. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist

Posts Replies Media

David Allsopp @dra27.uk · 15/03/2026

Doing some clearing out - do these belong in recycling… or in a museum? 😂🤔

Photograph of two interoffice mailing envelopes

011

David Allsopp @dra27.uk · 30/11/2025

Haven’t had to use a paper train ticket in a looong time, and was somewhat bemused to see the machine list that it would be printing two seat reservations. I am duly sat in my first non-specific seat of the day. Nice paper-saving there, @greateranglia.bsky.social!

100

David Allsopp @dra27.uk · 05/10/2025

010

David Allsopp @dra27.uk · 20/07/2025

Working on Windows, too... 16 seconds verses 4 minutes.

Terminal screenshot showing an existing opam switch being cloned in under 20 seconds on Windows, with the new compiler reporting its new location

020

David Allsopp @dra27.uk · 20/07/2025

Testing opam packages for Relocatable OCaml which actually take advantage of it. Creating a new switch using the same version as one you've already built in another switch now takes 5 seconds, rather than 2 minutes (cloning the compiler itself takes just 100ms of that 5 seconds!)

Terminal screenshot showing an existing opam switch being cloned in under 5 seconds on Linux, with the new compiler reporting its new location

2134

David Allsopp @dra27.uk · 16/04/2025

Wondering if this is a judging stare about the delays getting Relocatable OCaml’s first pull request opened, or possibly something else… 🐈‍⬛ #catcaml

160

David Allsopp @dra27.uk · 01/04/2025

This is not an April Fool! #IYKYK #ocaml

061