3 ms·

I believe this is an explanation (part of) of this proposal: https://github.com/ocaml-flambda/ocaml-jst/blob/main/jane/doc/proposals/data-race-freedom.md https

by Laaas 3y ago

I believe this is an explanation (part of) of this proposal: https://github.com/ocaml-flambda/ocaml-jst/blob/main/jane/doc/proposals/data-race-freedom.md https://github.com/ocaml-flambda/ocaml-jst/blob/main/jane/do...

ReleaseCandidat 3y ago
It's this proposal: https://github.com/ocaml-flambda/ocaml-jst/blob/main/jane/doc/local-intro.md https://github.com/ocaml-flambda/ocaml-jst/blob/main/jane/do... and these problems: https://github.com/ocaml-flambda/ocaml-jst/blob/main/jane/doc/local-pitfalls.md https://github.com/ocaml-flambda/ocaml-jst/blob/main/jane/do...
- TheNumbat 3y ago
  Yes - upcoming posts will cover the uniqueness and data-race-freedom designs.
- still_grokking 3y ago
  OT: Funny, I start to see here more and more Heise expats. Welcome @ReleaseCandidat! :-D