Viewing profile — protz

author here; thanks for the suggestion, that'll be a cool name for my next project :-)

the performance was pretty much identical, however, as an added benefit, Blake2 got quite a bit faster due a combination of 1) our code being slightly more optimized, and 2) python…

Author here, I thought it'd be helpful to address a few of the points brought up in the various comment threads. 1. This is an academic paper that we posted on arxiv, not a release…

Hi, one of the paper authors here. This is unfortunately only part of the story. This "calculette" covers only a fraction of the tax computation; furthermore, without knowing the c…

Just to build on Catalin's answer. We are actively working on an implementation of QUIC's transport layer (i.e. packet encryption and decryption), along with a proof of cryptograph…

Several comments note that the headline is perhaps a little misleading; I agree, and I don't think any of us (I'm one of the cited people in the article) would've made such a stron…

This definitely looks like an OPAM error, can you file a bug at https://github.com/OCamlPro/opam-repository ? Thanks!

Thanks. > I don’t expect Mezzo to be the next big thing, but ideas from it will most probably make their way into upcoming type-safe systems languages. I guess that's also one diff…

(Disclaimer: I'm the co-author of Mezzo, and I also happen to be a long-time Mozilla contributor). While we indeed do not mention Rust in the bibliography, the question does pretty…