François Bérenger

Results 420 comments of François Bérenger

In my opam setup in a VM with as many packages as I could install: there are more .cmi files than any other type (3518 .cmi files, 1880 .mli files,...

I added a .cmi.json file for each .cmi file in there: https://github.com/UnixJunkie/ocaml-4.04.0-mlis. The .json files were created using Thierry's hooglebackend software.

Yes, just log a warning. This is not a "PEBKAC". Just a feature request. If some other people find it useful, then it might be. If not, then not (and...

Blocking is not necessarily bad, it can be a mean of synchronization. Example: single writer, many readers (parallel workers). The writer blocking to write means all workers are busy and...

Note that I am aware of Domainslib.Chan, which have a make_bounded constructor. So that's what I am currently using in parany: https://github.com/UnixJunkie/parany/blob/master/src/parany.ml

This "lockfree" word is very misleading. I understand people are using hardware-supported instructions, I guess in the CPU then there is some kind of semaphore.

Yes, I have one use-case where the only writer wants to passive-wait if the data structure is full. This is a one writer to many readers communication scheme. I have...

Maybe this might help: https://github.com/Khady/ocaml-argon2

@janilcgarcia apparently Xavier likes https://en.wikipedia.org/wiki/PBKDF2. I don't know if this is the one that won the password hashing competition though.