Brian Slesinsky
Brian Slesinsky
Seems like a flag would work. If the examples and internal benchmarks set the same flag, the results would be comparable, without affecting other benchmarks.
Instead of "object" I suggest "selection". We could say that each query defines selection variables in the "collect" phase. This makes it clear that a selection is not immutable -...
I think this is fine for my use case. I will only be using it to store the GitHub username in the session. (The storageFn does need to be async...
Could you explain how? When I create an new file with an ojs extension, it says "Observable JavaScript (OJS)" in the lower right, but it just behaves like a regular...
Thanks! Clearly, I wasn't reading very carefully. Sorry about that! In retrospect, I picked the .ojs extension because it was the first one listed and you use 'OJS' as an...
Looking at the [code](https://github.com/dubzzz/fast-check/blob/main/packages/fast-check/src/arbitrary/_internals/StreamArbitrary.ts#L22), it generates one random number for appliedBiasFactor and then clones the generator. So it seems like each stream will get a random number generator that's only...
I’m thinking it might be best to jump the *parent* random number generator before returning, to allocate some random numbers for the child. But for an infinite stream, how many...
A more principled solution would handle the case of a stream of streams. It looks like a random number generator that has a split operation is the way to go....
LXM is a newer RNG that also does splitting. It was included in Java 17. The authors of the [paper](https://dl.acm.org/doi/abs/10.1145/3485525) are Guy Steele (who contributed to SplitMix) and Sabastiano Vigna...
There's a different way to think about this problem that seems pretty elegant and might be a lot easier, since it doesn't require a splittable random number generator: The iterator...