Human Folly about “Hypothesis”

index

Hegel (antithesis.com):
#DRMacIver’s announcement of #Hegel. #Hypothesis #Antithesis #PBT #testing
on 02026-04-09
Item (news.ycombinator.com):
discussion of the announcement of #Hegel from the #Hypothesis and #Antithesis folks. #PBT #testing
on 02026-04-09
(hegel.dev):
“#Hegel is a universal property-based #testing protocol and family of libraries, built on #Hypothesis.” #PBT
on 02026-04-09
Item (news.ycombinator.com):
discussion of #Hypothesis and property-based testing (#PBT)
on 02025-11-05
Generating the right data (hypothesis.works):
#Hypothesis #documentation for strategies #PBT
on 02025-07-23
Lipics (drops.dagstuhl.de):
#CC by final #paper by #DRMacIver on #Hypothesis shrinking. #toread #testing #PBT
on 02024-12-22
(github.com):
more about #testing #Python with #Hypothesis #PBT
on 02024-12-22
(github.com):
#testing #Python with #Hypothesis is proposed (and now accepted) #PBT
on 02024-12-22
Reduction via generation preview (drmaciver.github.io):
#CC by preprint of #PDF #paper by #DRMacIver on how #Hypothesis shrinking works #testing #PBT
on 02024-12-22
Issue42109 (bugs.python.org):
Paul Ganssle and Zac Hatfield-Dodds want to use #Hypothesis to test the core of #Python, saying #PyPy already does this, while Guido and Raymond Hettinger are skeptical. “Minithesis is readable mostly by virtue of not handling the hard edge cases.” #testing #PBT
on 02024-12-22
@Drmaciver (mastodon.social):
#DRMacIver on #Mastodon (author of #Hypothesis and #Shrinkray) #PBT
on 02024-11-28
Anatomy of a test (hypothesis.works):
maybe this is the best introductory #tutorial link for #Hypothesis #documentation #PBT
on 02024-06-23
What is Hypothesis (hypothesis.works):
is maybe the best introductory #tutorial link for #Hypothesis #documentation #PBT
on 02024-06-23
(schemathesis.io):
Schemathesis harnesses #Hypothesis for #fuzzing OpenAPI web APIs #testing #PBT
on 02024-01-14
Minithesis (github.com):
#DRMacIver’s #Hypothesis subset implementation in under 1000 lines of Python, intended as a tutorial for applying his innovative test-case generation and reduction approach to new languages that aren’t Python. #small-is-beautiful #PBT
on 02023-12-06
Falsify (well-typed.com):
"falsify" implements test-case shrinking for #Haskell. “The test runner is able to go back and forth between shrinking the length and the list, and shrinking elements in the list. That is, we have integrated shrinking (like in hedgehog: we do not specify a separate generator and shrinker), which is internal: works across monadic bind. The Python #Hypothesis library showed the world how to achieve this. In this blog post...” #testing #PBT
on 02023-12-06
(carstein.github.io):
this guy is building a coverage-driven #fuzzer similar to shapr’s effort and similar to the #coverage support in #Hypothesis #PBT
on 02023-10-01