zhd
- Karma
- 20
- Created
- September 30, 2020 (5y ago)
- Submissions
- 0
CS researcher @ Australian National University.
I do a lot with testing, verification, and Python - https://hypofuzz.com https://hypothesis.works and https://zhd.dev Modern tools can write most of your tests, and decide what to run too.
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,…
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…
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/getting-started/new-projec...
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 changing the tests…
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…
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…
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…
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…