zhd

5 ms·

1.
by zhd 5y ago
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 workflow (run with pytest, or unittest, or whatev
2.
by zhd 5y ago
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 leave them running permanently on a fu
3.
by zhd 6y ago
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/oss-fuzz/ge
4.
by zhd 6y ago
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 you're writing or chan
5.
by zhd 6y ago
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 stake in US media firms as a non- or dual-citizen. We would
6.
by zhd 6y ago
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 and 32 is plenty for any low-dimensional problem.
7.
by zhd 6y ago
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's not used anywhere in the core language or standa
8.
by zhd 6y ago
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 anything with sorted collections, just use the