David Allsopp's Avatar

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

238
Followers
57
Following
75
Posts
16.11.2024
Joined
Posts Following

Latest posts by David Allsopp @dra27.uk

_Great_ Northern; _Great_er Anglia; _Great_ Western Railway; Thames_link_ โ€ฆ all ironies of naming ๐Ÿค”

06.02.2026 09:11 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

github.com/ocaml/ocaml/...; remember to follow the guidelines in github.com/ocaml/ocaml/.... Details on the original investigation in www.dra27.uk/blog/platfor...

26.01.2026 07:48 ๐Ÿ‘ 1 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 1

Claude Code has committed in trunk OCaml! With great power comes great responsibility, and all that...

26.01.2026 07:47 ๐Ÿ‘ 6 ๐Ÿ” 1 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Preview
BBC Sounds - More or Less - Available Episodes Listen to the latest episodes of More or Less on BBC Sounds.

www.bbc.co.uk/sounds/brand... - โ€œThe Stats of the Nationโ€

07.01.2026 12:14 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Fantastic special series of episodes of @timharford.ft.com and coโ€™s More or Less occupying the BBC Radio 4 9am slot *every day* this week

07.01.2026 12:14 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

I was implicitly referred to as a โ€œhoary greybeardโ€ the other dayโ€ฆ my son just innocently asked how long Iโ€™ve worked on/in OCaml and I realised the answer is half my life ๐Ÿ‘ด๐Ÿป #old #greybeard

04.01.2026 10:32 ๐Ÿ‘ 6 ๐Ÿ” 1 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Itโ€™s merged!! ๐Ÿฅณ๐Ÿฅณ๐Ÿฅณ

17.12.2025 17:30 ๐Ÿ‘ 9 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Of course, only have a paper ticket at all because apparently issuing an electronic ticket which can work both mainline station barriers and London Underground barriers is a feat engineering well beyond our national infrastructureโ€ฆ

30.11.2025 09:38 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image

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!

30.11.2025 09:37 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Preview
Relocatable OCaml - `--with-relative-libdir` by dra27 ยท Pull Request #14244 ยท ocaml/ocaml This is the second of three PRs which implement Relocatable OCaml as proposed in ocaml/RFCs#53. The series of changes in this PR combine to allow the absolute location of the Standard Library (e.g....

Aaaand, breathe againโ€ฆ ๐Ÿ˜ฎโ€๐Ÿ’จ

github.com/ocaml/ocaml/...

29.11.2025 22:09 ๐Ÿ‘ 12 ๐Ÿ” 2 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 1

๐Ÿ˜‚

29.11.2025 11:01 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

โ˜บ๏ธ Thereโ€™s an eleventh-hour technical stall with a test harness for the second one (found by a Windows runner, but itโ€™s not a Windows-specific issue!), but it should be good to go on Monday! ๐Ÿฅณ

29.11.2025 10:43 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

There are some minor corrections to be made in each branch, but Relocatable OCaml has passed its defence!

25.11.2025 17:20 ๐Ÿ‘ 17 ๐Ÿ” 2 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 1

Yes, I very much agree!

08.11.2025 12:33 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Opam on Windows is a masterpiece of engineering | Hacker News

Being British, Iโ€™m of course able to read this both negatively and positively ๐Ÿซข news.ycombinator.com/item?id=4585...

08.11.2025 11:03 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Post image
05.10.2025 10:55 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Unsure whether to be more shocked by the discovery that there will be 10 current/former lay clerks singing at this morningโ€™s mass at Westminster Cathedral (first time for a decade?) or that theyโ€™ve completely renovated the 100 year old song school toilets!

05.10.2025 09:44 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Preview
The Moon is rusting โ€” thanks to โ€˜windโ€™ blown all the way from Earth Lunar minerals generate the rust mineral hematite when bombarded with high-energy oxygen particles, experiments show.

Quite an extreme case of rewrite-it-in-Rustโ€ฆ www.nature.com/articles/d41...

23.09.2025 07:05 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

๐Ÿคฃ

17.09.2025 17:25 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Actually, dune package management is then able to stop doing anything special for the compiler - it becomes possible for Duneโ€™s cache to cache the build instead (which was tested with a much earlier build back in March IIRC). So Dune still โ€œbuildsโ€ the compiler multiple times - but using the cache

15.09.2025 15:09 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Relocatable OCaml It is my great pleasure, 3 years to the day since I finalised the first full demonstration of it in Ljubljana for the OCaml Workshop in 2022, to announce the general availability of Relocatable OCaml ...

Discuss announcement at discuss.ocaml.org/t/17253; โ€œoverviewโ€ PR at github.com/ocaml/ocaml/...; some additional pontifications at www.dra27.uk/blog/platfor...

15.09.2025 11:46 ๐Ÿ‘ 2 ๐Ÿ” 1 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

3 years since I finalised the demo of it for the OCaml Workshop in Ljubljana, Relocatable OCaml is finally submitted for review! ๐Ÿฅณ๐Ÿพ๐ŸŽŠ

15.09.2025 11:45 ๐Ÿ‘ 20 ๐Ÿ” 5 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0

Currently dotting โ€˜iโ€™s and crossing โ€˜tโ€™s and therefore wishing Iโ€™d used fewer โ€˜iโ€™s and โ€˜tโ€™s in my code (also, when I did I start handwriting code?? ๐Ÿค”) #relocatable #ocaml

29.08.2025 09:53 ๐Ÿ‘ 3 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Reeling in shock and awe at just how simple and fast live-moving VM storage is in Hyper-V #scarred-by-esxi

27.08.2025 06:59 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
Contra the UK government, please don't delete your old photos and emails to save water You'd need to delete hundreds of millions of emails to save as much water as fixing your toilet

andymasley.substack.com/p/contra-the... #world-beating

17.08.2025 09:23 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Wonders how much water Apple could save each year by having Apple Mail offer to reduce the size of photos being emailed from an iPad in the same way as it does on an iPhone? ๐Ÿค”๐Ÿง๐Ÿคซ

17.08.2025 09:22 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Remembering the grandfather who could not forgive so that hopefully we might learn from it #VJ80

15.08.2025 11:03 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

โ€œI do not know whether there is anything peculiarly exciting in the air of this particular part of Hertfordshire, but the number of engagements that go on seems to me considerably above the proper average that statistics have laid down for our guidance.โ€

Good old Oscar ๐Ÿคฃ

12.08.2025 22:25 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Congratulations to Apple for anticlimax of the month with Apple โ€œIntelligenceโ€. In a metaphor for the age, seems all the time has been spent on the animations and hype and not a lot on it actually doing anything ๐Ÿคท๐Ÿปโ€โ™‚๏ธ #unabletosummarisethismessage

04.08.2025 07:46 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
Polymorphic Parameters by voodoos ยท Pull Request #13806 ยท ocaml/ocaml This upstreaming PR adds the possibility to have function parameters with polymorphic types in the language. This work was originally done by @lpw25 in Jane Street's fork of the compiler with e...

Yet another small OCaml/OxCaml diff has been squished! Polymorphic parameters has just gotten merged upstream:

github.com/ocaml/ocaml/...

There's more to go (include functor, for example: github.com/ocaml/RFCs/p...), but it's nice to see more progress in this space.

21.07.2025 17:23 ๐Ÿ‘ 29 ๐Ÿ” 7 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0