David Allsopp
dra27.uk
David Allsopp
@dra27.uk
Cambridge-based singer and computer scientist. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
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…
November 30, 2025 at 9:38 AM
😂
November 29, 2025 at 11:01 AM
☺️ 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! 🥳
November 29, 2025 at 10:43 AM
Yes, I very much agree!
November 8, 2025 at 12:33 PM
October 5, 2025 at 10:55 AM
🤣
September 17, 2025 at 5:25 PM
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
September 15, 2025 at 3:09 PM
Working on Windows, too... 16 seconds verses 4 minutes.
July 20, 2025 at 3:13 PM