Viewing profile — zhd

These are basically the problems that https://hypofuzz.com is designed to solve. - You write standard property-based tests with Hypothesis, which fit into a traditional unit-test w…

I've recently launched HypoFuzz - https://hypofuzz.com/ - which solves this by running it on a different server. You run the tests briefly in CI to check for regressions, and then …

Yep! And it's also possible to run fuzzers [1, 2] or SAT-based verifiers against the same test harness :-) 1: https://hypofuzz.com/docs/literature.html 2: https://google.github.io/…

Hypothesis can report statistics on user-defined events, as well as the usual timing stuff: https://hypothesis.readthedocs.io/en/latest/details.html#tes... I'd just check that when…

Re: takeover by US firms, note that while Murdoch was born Australian he gave up Australian in favor of US citizenship... precisely because it would have been illegal to own such a…

Alas, Numpy arrays are limited to thirty-two dimensions. This is fine, because with high numbers of dimensions you really can't afford to store a dense-matrix representation in RAM…

Numpy arrays do indeed support the @-operator for matrix multiplication. In fact, one of the common design questions when adding the @-operator to Python was "why do this, when it'…

Bisect is nice, but it's not the fastest option. If binning data, discretize it and then use a dict lookup - `grades_to_letters[grade//10]`, for example. For insort, and indeed any…