home.social

#propertybased β€” Public Fediverse posts

Live and recent posts from across the Fediverse tagged #propertybased, aggregated by home.social.

  1. After the summer break 🌴, it's time to go back to and spend some time onto the maintenance of fast-check 🀫

    Lots of upcoming in the pipe: new arbitrary for strings able to base its generated values onto examples provided by the user, support for non-serializable values on our worker-based extension, better integration with @vitest and start to pile stuff for a new major version of the library (without huge breaking changes).

  2. Why is key in development cycles? Because it can detect nasty or happening only under certain circumstances.

    The technique just revealed a regression in fast-check 3.6.x, now patched in 3.6.3.

    Release note: github.com/dubzzz/fast-check/r

  3. CW: How to Property Based against 'designing data structures'?

    Just started to extend my set of examples showing how to leverage to algorithms on "stacks and queues". On this topic, most of my tests adopt as it mostly deals with designing new , so it fits well.

    See github.com/dubzzz/cracking-pbt πŸ‘€

  4. People often wonder if is really applicable. I started a demo example showing how to leverage against exercises coming from Cracking the Coding Interview in at github.com/dubzzz/cracking-pbt

    More demos to come (race conditions..)

  5. CW: Advent of PBT β€” Day 4

    πŸŽ…πŸ“…

    Let's try to cyclde detection in via . Here is a link to an up-and-running environment running a version of the code codesandbox.io/s/advent-of-pbt

    πŸ‘‹ Today's topic: detectCycleInLinkedList
    πŸ“₯ Answer tonight!

    More details: dev.to/dubzzz/advent-of-pbt-20

  6. CW: Advent of PBT β€” Day 4

    #AdventOfPBT #Day4 πŸŽ…πŸ“…

    Let's try to #test cyclde detection in #LinkedLists via #PropertyBased. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code codesandbox.io/s/advent-of-pbt

    πŸ‘‹ Today's topic: detectCycleInLinkedList
    πŸ“₯ Answer tonight!

    More details: dev.to/dubzzz/advent-of-pbt-20

  7. CW: Advent of PBT β€” Day 4

    #AdventOfPBT #Day4 πŸŽ…πŸ“…

    Let's try to #test cyclde detection in #LinkedLists via #PropertyBased. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code codesandbox.io/s/advent-of-pbt

    πŸ‘‹ Today's topic: detectCycleInLinkedList
    πŸ“₯ Answer tonight!

    More details: dev.to/dubzzz/advent-of-pbt-20

  8. CW: Advent of PBT β€” Day 4

    #AdventOfPBT #Day4 πŸŽ…πŸ“…

    Let's try to #test cyclde detection in #LinkedLists via #PropertyBased. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code codesandbox.io/s/advent-of-pbt

    πŸ‘‹ Today's topic: detectCycleInLinkedList
    πŸ“₯ Answer tonight!

    More details: dev.to/dubzzz/advent-of-pbt-20

  9. CW: Advent of PBT β€” Day 3

    πŸŽ…πŸ“…

    Let's try to via . Here is a link to an up-and-running environment running a version of the code codesandbox.io/s/advent-of-pbt 🐎

    πŸ‘‹ Today's topic: fizzbuzz
    πŸ“₯ Answer tonight!

    More details: dev.to/dubzzz/advent-of-pbt-20

  10. CW: Advent of PBT β€” Day 3

    #AdventOfPBT #Day3 πŸŽ…πŸ“…

    Let's try to #test #fizzbuzz via #PropertyBased. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code codesandbox.io/s/advent-of-pbt 🐎

    πŸ‘‹ Today's topic: fizzbuzz
    πŸ“₯ Answer tonight!

    More details: dev.to/dubzzz/advent-of-pbt-20

  11. CW: Advent of PBT β€” Day 3

    #AdventOfPBT #Day3 πŸŽ…πŸ“…

    Let's try to #test #fizzbuzz via #PropertyBased. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code codesandbox.io/s/advent-of-pbt 🐎

    πŸ‘‹ Today's topic: fizzbuzz
    πŸ“₯ Answer tonight!

    More details: dev.to/dubzzz/advent-of-pbt-20

  12. CW: Advent of PBT β€” Day 3

    #AdventOfPBT #Day3 πŸŽ…πŸ“…

    Let's try to #test #fizzbuzz via #PropertyBased. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code codesandbox.io/s/advent-of-pbt 🐎

    πŸ‘‹ Today's topic: fizzbuzz
    πŸ“₯ Answer tonight!

    More details: dev.to/dubzzz/advent-of-pbt-20

  13. CW: Advent of PBT β€” Day 2

    πŸŽ…πŸ“…

    Let's try to via a function decomposing a number into primes. Here is a link to an up-and-running environment running a version of the code codesandbox.io/s/advent-of-pbt 🐎

    πŸ‘‹ Today's topic: decomposeIntoPrimes
    πŸ“₯ Answer tonight!

    More details: dev.to/dubzzz/advent-of-pbt-20

  14. CW: Advent of PBT β€” Day 2

    #AdventOfPBT #Day2 πŸŽ…πŸ“…

    Let's try to #test via #PropertyBased a function decomposing a number into primes. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code codesandbox.io/s/advent-of-pbt 🐎

    πŸ‘‹ Today's topic: decomposeIntoPrimes
    πŸ“₯ Answer tonight!

    More details: dev.to/dubzzz/advent-of-pbt-20

  15. CW: Advent of PBT β€” Day 2

    #AdventOfPBT #Day2 πŸŽ…πŸ“…

    Let's try to #test via #PropertyBased a function decomposing a number into primes. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code codesandbox.io/s/advent-of-pbt 🐎

    πŸ‘‹ Today's topic: decomposeIntoPrimes
    πŸ“₯ Answer tonight!

    More details: dev.to/dubzzz/advent-of-pbt-20

  16. CW: Advent of PBT β€” Day 2

    #AdventOfPBT #Day2 πŸŽ…πŸ“…

    Let's try to #test via #PropertyBased a function decomposing a number into primes. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code codesandbox.io/s/advent-of-pbt 🐎

    πŸ‘‹ Today's topic: decomposeIntoPrimes
    πŸ“₯ Answer tonight!

    More details: dev.to/dubzzz/advent-of-pbt-20

  17. CW: Advent of PBT β€” Day 2

    #AdventOfPBT #Day2 πŸŽ…πŸ“…

    Let's try to #test via #PropertyBased a function decomposing a number into primes. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code codesandbox.io/s/advent-of-pbt 🐎

    πŸ‘‹ Today's topic: decomposeIntoPrimes
    πŸ“₯ Answer tonight!

    More details: dev.to/dubzzz/advent-of-pbt-20

  18. CW: Advent of PBT β€” Day 1

    πŸŽ…πŸ“…

    Have you ever heard about ? Give it a try with this ! Everything is ready for you at codesandbox.io/s/advent-of-pbt, we just need you for the tests πŸ˜…πŸ’ͺ

    πŸ‘‹ Today's topic: lastIndexOf
    πŸ“₯ Answer tonight!

    More details: dev.to/dubzzz/advent-of-pbt-20

  19. CW: Advent of PBT β€” Day 1

    #AdventOfPBT #Day1 πŸŽ…πŸ“…

    Have you ever heard about #PropertyBased #Testing? Give it a try with this #advent! Everything is ready for you at codesandbox.io/s/advent-of-pbt, we just need you for the tests πŸ˜…πŸ’ͺ

    πŸ‘‹ Today's topic: lastIndexOf
    πŸ“₯ Answer tonight!

    More details: dev.to/dubzzz/advent-of-pbt-20

  20. CW: Advent of PBT β€” Day 1

    #AdventOfPBT #Day1 πŸŽ…πŸ“…

    Have you ever heard about #PropertyBased #Testing? Give it a try with this #advent! Everything is ready for you at codesandbox.io/s/advent-of-pbt, we just need you for the tests πŸ˜…πŸ’ͺ

    πŸ‘‹ Today's topic: lastIndexOf
    πŸ“₯ Answer tonight!

    More details: dev.to/dubzzz/advent-of-pbt-20

  21. CW: Advent of PBT β€” Day 1

    #AdventOfPBT #Day1 πŸŽ…πŸ“…

    Have you ever heard about #PropertyBased #Testing? Give it a try with this #advent! Everything is ready for you at codesandbox.io/s/advent-of-pbt, we just need you for the tests πŸ˜…πŸ’ͺ

    πŸ‘‹ Today's topic: lastIndexOf
    πŸ“₯ Answer tonight!

    More details: dev.to/dubzzz/advent-of-pbt-20

  22. CW: Advent of PBT β€” Day 1

    #AdventOfPBT #Day1 πŸŽ…πŸ“…

    Have you ever heard about #PropertyBased #Testing? Give it a try with this #advent! Everything is ready for you at codesandbox.io/s/advent-of-pbt, we just need you for the tests πŸ˜…πŸ’ͺ

    πŸ‘‹ Today's topic: lastIndexOf
    πŸ“₯ Answer tonight!

    More details: dev.to/dubzzz/advent-of-pbt-20