François Pottier

Thanks, I hadn't noticed! This is very useful.

I suppose it would be good to remove the default 1-second sleep, which seems counter-productive if it is *added* to the time spent grading. What would be nice is to...

Hi Marcello, `opam switch create 5.0.0+trunk` fails immediately: ``` [ERROR] No compiler matching `5.0.0+trunk' found, use `opam switch list-available' to see what is available, or use `--packages' to select packages...

Thanks, `opam repo set-url default https://opam.ocaml.org` did the trick. Until now I was using `git+https://github.com/ocaml/opam-repository` as the URL of my `default` repository.

@kayceesrk Could you update the [rendered version](https://kcsrk.info/webman/manual/parallelism.html)? Thanks!

> @fpottier are you planning to review the memory model chapter? I probably won't have time in the near future. Perhaps @jhjourdan might be able and willing to review it?

I believe that offering immutable arrays would be a useful feature. Documenting that an array is immutable helps clarify the code (and can help the compiler optimize it). In fact,...

> * The unsafe primitive `%array_to_iarray` is currently not exposed I imagine that this primitive operation will have to be exposed, in the same way that `Bytes.unsafe_to_string` is currently exposed....

> What are use-cases of immutable arrays in practice, can we discuss some examples? @OlivierNicole mentioned that this could be useful for constant tables, as used in Unicode libraries. What...

> I would likely prefer an all round efficient persistent polymorphic vector on the line of [RRB vectors](https://dl.acm.org/doi/10.1145/2858949.2784739) in the stdlib The library [Sek](https://cambium.inria.fr/~fpottier/sek/doc/sek/Sek/), developed by Arthur Charguéraud (@charguer) and...