protz

15 ms·

1.
by protz 10mo ago
author here; thanks for the suggestion, that'll be a cool name for my next project :-)
2.
by protz 1y ago
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's blake2 integration not actually doing runtime cpu de
3.
by protz 2y ago
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 announcement for a new product where we claim we have
4.
by protz 6y ago
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 crazy semantics and computational rules of the M la
5.
by protz 6y ago
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 cryptographic security. This is what Catalin linked to ( http
6.
by protz 8y ago
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 strong claim. Ignoring for a moment the fact that
7.
by protz 12y ago
This definitely looks like an OPAM error, can you file a bug at https://github.com/OCamlPro/opam-repository ? Thanks!
8.
by protz 12y ago
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 difference between Rust and us. Being researchers, we do
9.
by protz 12y ago
(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 much come up all the time (rightly so). The answer I u