Raphaël Rigo

One of the bottlenecks if the `filter_vertices` function, which iterates over ALL states to find a fixpoint. As we compare states like this: ```ocaml let same prev v' = Data.Address.equal...

One option is also to `[@@inline]` critical functions

In #18 I implemented saving the frequencies in a pickle file, which is ~100MB, and makes startup very fast

I updated the page for GCC 12, I still have to cover the modern versions of clang

For pycapnp I'm not really sure of what's going on. I've been messing with it so it may be my fault. Debian has no opencv3 package, I compiled it from...

Well, I found it definitely very confusing and never realized that it behave the way you describe. I usually hate "magic" but I understand it is a kind of corner...

The problem is the same with the Staging key: ```python # otherwise prompt the user for a set value to hash for the negotiation password if STAGING_KEY == "BLANK": choice...

Hello, I was not fully sure of the impact and limitations of CFI so I chose not to add it directly on the tl;dr. `-mshstk` is confusing: ``` mshstk Target...

It's on lzo files, Linux, Debian Sid x86_64 (4 Cores). The commit is b1f74018c80383d30dfbef6bd41b87e8840ba415

Hello. Thank you for your PR. I'd be happy to merge it if there's a way to embed the corpus when using "cargo install". Unfortunately I could not find a...