I had a long discussion about a very tiny bit of code and specifically about the yielding behaviour/execution order within the Lwt part of the code. So I made an small addendum to the tutorial:
It highlights how the behaviours of
wakeup interact. It also waffles on a bit about how
run interact. The behaviours of all these functions were already described in the post. In that sense the addendum does not bring any new information. However, it does point out some emergent (and, some would say, surprising) behaviours when the functions are combined.
Anyone interested in the very minutia of scheduling might be interested in reading through the addendum.