Hacker News
- What is property-based testing? (2016) https://hypothesis.works/articles/what-is-property-based-testing/ 35 comments
- Moving Beyond Types (2017) https://hypothesis.works/articles/types-and-properties/ 47 comments
- Calculating the mean of a list of numbers (2016) https://hypothesis.works/articles/calculating-the-mean/ 94 comments
- What is property based testing? http://hypothesis.works/articles/what-is-property-based-testing/ 33 comments
Lobsters
- Python hypothesis property-based testing library https://hypothesis.works/ 3 comments formalmethods , python
- Calculating the mean of a list of numbers (2016) https://hypothesis.works/articles/calculating-the-mean/ 9 comments math , testing
- Moving Beyond Types http://hypothesis.works/articles/types-and-properties/ 5 comments python , testing
- The Economics of Software Correctness http://hypothesis.works/articles/economics-of-software-correctness/ 22 comments programming , testing
- Hypothesis for Computer Science Researchers http://hypothesis.works/articles/hypothesis-for-researchers/ 9 comments compsci , python
- Calculating the mean of a list of numbers http://hypothesis.works/articles/calculating-the-mean/ 16 comments math , programming
- Evolving toward property-based testing with Hypothesis http://hypothesis.works/articles/incremental-property-based-testing/ 2 comments python , testing
- Testing Optimizers with Hypothesis http://hypothesis.works/articles/testing-optimizers-with-hypothesis/ 12 comments programming , testing
- What is property based testing? http://hypothesis.works/articles/what-is-property-based-testing/ 2 comments programming , testing
- QuickCheck in every language http://hypothesis.works/articles/quickcheck-in-every-language/ 13 comments programming , testing
- Calculating the mean of a list of numbers is not trivial https://hypothesis.works/articles/calculating-the-mean/ 181 comments programming
- Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesis http://hypothesis.works/articles/how-not-to-die-hard-with-hypothesis/ 20 comments programming
- What is Property Based Testing? http://hypothesis.works/articles/what-is-property-based-testing/ 5 comments programming
- Integrated vs type based shrinking http://hypothesis.works/articles/integrated-shrinking/ 17 comments haskell
- Calculating the mean is hard http://hypothesis.works/articles/calculating-the-mean/ 57 comments programming
- Evolving toward property-based testing with Hypothesis http://hypothesis.works/articles/incremental-property-based-testing/ 4 comments programming
Linking pages
- Why TDD Isn't Crap • Hillel Wayne https://www.hillelwayne.com/post/why-tdd-isnt-crap/ 165 comments
- Clever vs Insightful Code https://www.hillelwayne.com/post/cleverness/#fnref:teammates 133 comments
- GitHub - rochacbruno/py2rs: A quick reference guide for the Pythonista in the process of becoming a Rustacean https://github.com/rochacbruno/py2rs 67 comments
- Contributors do not save time | David R. MacIver http://www.drmaciver.com/2016/07/contributors-do-not-save-time/ 59 comments
- It might be worth learning an ML-family language | David R. MacIver http://www.drmaciver.com/2016/07/it-might-be-worth-learning-an-ml-family-language/ 54 comments
- Some things that might help you make better software | David R. MacIver http://www.drmaciver.com/2016/10/some-things-that-might-help-you-write-better-software/ 50 comments
- Supporting Hypothesis https://stripe.com/blog/hypothesis 35 comments
- GitHub - rust-unofficial/awesome-rust: A curated list of Rust code and resources. https://github.com/kud1ing/awesome-rust 30 comments
- Getting Started With Property-Based Testing in Python With Hypothesis and Pytest - Semaphore https://semaphoreci.com/blog/property-based-testing-python-hypothesis-pytest 30 comments
- GitHub - BurntSushi/quickcheck: Automated property based testing for Rust (with shrinking). https://github.com/BurntSushi/quickcheck 28 comments
- Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesis - Hypothesis http://hypothesis.works/articles/how-not-to-die-hard-with-hypothesis/ 20 comments
- GitHub - geru-scotland/pylib-atlas: A curated list with useful Python programming tools and libraries, as well as other noteworthy resources. https://github.com/geru-scotland/pylib-atlas 18 comments
- QuickCheck in Every Language - Hypothesis http://hypothesis.works/articles/quickcheck-in-every-language/ 13 comments
- Finding Property Tests • Hillel Wayne https://www.hillelwayne.com/post/contract-examples/ 11 comments
- Property-Based Testing Is Fuzzing - Made of Bugs https://blog.nelhage.com/post/property-testing-is-fuzzing/ 11 comments
- Property-Based Testing with PropEr, Erlang, and Elixir https://ferd.ca/property-based-testing-with-proper-erlang-and-elixir.html 11 comments
- Cross-Branch Testing • Hillel Wayne https://www.hillelwayne.com/post/cross-branch-testing/ 9 comments
- Solving puzzles with hypothesis https://edoput.it/2022/11/18/hypothesis.html 9 comments
- GitHub - rust-unofficial/awesome-rust: A curated list of Rust code and resources. https://github.com/rust-unofficial/awesome-rust?tab=readme-ov-file#database 9 comments
- Security as Rust 2019 goal. The goals and 2019 roadmap of Rust… | by Sergey "Shnatsel" Davidoff | Medium https://medium.com/@shnatsel/security-as-rust-2019-goal-6a060116ba39 7 comments
Linked pages
- Supertab https://laterpay.net/ 30 comments
- Welcome to Hypothesis! — Hypothesis 6.56.3 documentation https://hypothesis.readthedocs.io/en/latest/index.html 0 comments
- GitHub - HypothesisWorks/hypothesis: Hypothesis is a powerful, flexible, and easy to use library for property-based testing. https://github.com/HypothesisWorks/hypothesis-python 0 comments
- QuickCheck - Wikipedia https://en.wikipedia.org/wiki/QuickCheck 0 comments