Benjamin Beurdouche

Can we add to this list a way to have a monad agnostic IO for debugging code ? We currently proceed by adding Printfs in the extracted code directly (which...

If the build is failing from time to time, it likely means that we are missing something in our CI and we should add it. It is also possible that...

I just had this problem when trying to vendor code in mozilla-central. One of the crate has massive dependencies which were pulled in for vetting and vendoring while not being...

Yes, coincidentally I just emailed Daniel about it... What you are aware of and that I can publicly share at this point is that there is movement on the Integrity...

> Two weeks have almost passed :) @beurdouche - any feedback before we merge this? Hi Yoav, thanks, just emailed the stakeholders on our side to collect a final round...

A better reference for F* based code in WASM would be: https://github.com/project-everest/hacl-star/tree/master/dist/wasm (Directly comoiled from F* to WASM) Or you could get faster code by compiling the generated C code...