DRMacIver

10 ms·

31.
Python Coverage could be Fast(drmaciver.com)
6 points by DRMacIver 9y ago|0 comments
32.
by DRMacIver 9y ago
A (somewhat non-standard but I think compatible with general usage) definition I tend to use is that fuzzing is the data generation part and property-based testing is layering interesting non-trivial tests on top of fuzzing. You then get di
33.
by DRMacIver 9y ago
> Smarter in what way? Better at generating values that exhibit interesting behaviour in tests. QuickCheck style testing mostly only works well because it turns out that there are a lot of bugs that are relatively "dense" in th
34.
by DRMacIver 9y ago
Internally, Hypothesis is built on a core engine called Conjecture, which looks more like a byte stream fuzzer than anything else. Hypothesis data generators are then effectively parser combinators on top of that fuzzer. This gives Hypothes
35.
by DRMacIver 9y ago
> Also, by "supporting Hypothesis", you mean "giving money to DR MacIver", right? This is not completely clear from the post. It's specifically in the form of contracting me to develop some features rather than a
36.
by DRMacIver 9y ago
> Hypothesis is a quickcheck port to python If you'll pardon the pedantry (I think the distinction matters, honest), Hypothesis isn't really a QuickCheck port. It started out life that way, and it can be used in a way that that
37.
Rigging elections with integer linear programming(drmaciver.com)
91 points by DRMacIver 10y ago|21 comments
38.
by DRMacIver 10y ago
This piece by Dr Jen Gunter provides some better perspective on this study I think: https://drjengunter.wordpress.com/2016/11/01/new-study-doesn... Short version: The study is interesting but the early termin
39.
Some things that might help you write better software(drmaciver.com)
2 points by DRMacIver 10y ago|0 comments
40.
by DRMacIver 10y ago
I might not say that the use of any language is a bad idea, but I'm definitely going to say that basing a language choice on a general and uncertain impression derived from my extremely limited, biased and anecdotal sampling as an end
41.
by DRMacIver 10y ago
> I don't think the OP would claim TypeScript is a bad idea Confirmed. TBH there are very few languages that I'd claim were a bad idea. The point I'm making is not "Statically typed languages are a bad idea" it&#
42.
by DRMacIver 10y ago
It might be based on false information - I'm a bit out of touch with Java development. I'll remove it.
43.
by DRMacIver 10y ago
> Most Smalltalks didn't really have great code completion (or code completion at all), Ditto most statically typed languages. > The fact that it's hard to write language tools in general doesn't change the fact that it
44.
by DRMacIver 10y ago
> Code completion is a fundamentally harder (if not impossible) problem with dynamically typed languages Code completion tools originally came out of Smalltalk. It's relatively doable if you can attach to a running process that has
45.
by DRMacIver 10y ago
> Being able to hit . and get a reliable list of things I can do is worth many millions of dollars to me. ...and mostly is possible because of the many millions of dollars that were thrown into developing it rather than the type system.
46.
by DRMacIver 10y ago
FWIW, rantly ( https://github.com/abargnesi/rantly ) rather than propr seems to be the most active and usable Ruby property based testing library. (I maintain a list here: http://hypothesis.works/articles
47.
by DRMacIver 10y ago
For certain values of works, that's true. It will take a long time and won't produce very good results. structureshrink more or less came out of frustration with what a bad job most of the existing shrinkers do. In particular the
48.
Evolving Towards Property-Based Testing with Hypothesis(hypothesis.works)
10 points by DRMacIver 10y ago|0 comments
49.
How to read a mathematics textbook(drmaciver.com)
6 points by DRMacIver 10y ago|0 comments
50.
by DRMacIver 11y ago
Technically they're an earlier design than the ones found in the Milky Way by the time of the show. But, um, honestly I hated Universe and didn't watch much of it, so it's not very surprising that this doesn't manage to
51.
by DRMacIver 11y ago
I think you're confusing episodes. In his first appearance he mentions that he's allergic to citrus. The "I love lemon chicken" incident comes from Carter's visit to a parallel universe when she's experimenting
52.
by DRMacIver 11y ago
The basic conceit in writing this story is that when you only have access to an area of physics through poorly understood reverse engineered xenotech, a lot of arbitrary constraints imposed by the tech start to look like physical laws.
53.
by DRMacIver 11y ago
One would certainly hope this to be the case, but it's hard to watch SG1 and get the impression that the ancients had much of a concept of defensive design.
54.
by DRMacIver 11y ago
About a third of them aren't from any episode, including that one.
55.
by DRMacIver 11y ago
Yeah, this piece has been described as Stargate/Hypothesis crossover fic before.
56.
by DRMacIver 11y ago
> Temit was an ascended being, because surely near-omniscience is the only explanation Any sufficiently advanced QA department is indistinguishable from ascension. > for his ability Stop misgendering my werewolves. >:( > Anyhow,
57.
by DRMacIver 11y ago
Most libraries found in the wild are kinda crap, because as an industry we have a massive problem where most of our stuff is built on free labour that people have performed in their spare time to scratch their own itch. Using libraries is s
58.
by DRMacIver 11y ago
> I don't think that's a fair analogy. At this point, I believe we have pretty good ideas that make it possible to write correct software. Most impressively, there has been progress on creating a completely verified C compiler
59.
by DRMacIver 11y ago
It's pretty easy to do this sort of thing in Hypothesis. You can also use [the support for stateful testing directly]( http://hypothesis.readthedocs.org/en/latest/stateful.html ). I find there's still a pl
60.
by DRMacIver 11y ago
Have you seen the talk I did about using it with Django? http://www.drmaciver.com/2015/06/hypothesis-for-django/ We're all still figuring out the details, but this sort of testing definitely works for te

More ›