home.social

#assertions — Public Fediverse posts

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

  1. #AI is just fast. You need to be confident that you have a platform for #understanding your questions or your assertions. I posit that you should work with #assertions much more than #questions and you will be happier with your mileage. #MissKitty's experience so far. Sorry forgot to finish before.

  2. Une librairie de capture de logs en Java, qui semble supporter l'ensemble des frameworks de logs, et permettre de faire des assertions assez claires sur ce qui a été écrit. github.com/Hakky54/log-captor? #java #log #assertions #extraction #library #opensource

  3. One of the many good uses of assertions is to catch cases that Should Never Happen.
    The textbook example is the last branch of a multi-way conditional statement where one of the conditions before the final "else" must always be true.

    Another, where there must always be an element to be found:
    »    for each x in ...
    »    »    if x satisfies ...
    »    »    »    return x
    »    assert false

    #Assertions
    #ComputerProgramming
    #ProgramVerification

  4. One of the many good uses of assertions is to catch cases that Should Never Happen.
    The textbook example is the last branch of a multi-way conditional statement where one of the conditions before the final "else" must always be true.

    Another, where there must always be an element to be found:
    »    for each x in ...
    »    »    if x satisfies ...
    »    »    »    return x
    »    assert false

    #Assertions
    #ComputerProgramming
    #ProgramVerification

  5. One of the many good uses of assertions is to catch cases that Should Never Happen.
    The textbook example is the last branch of a multi-way conditional statement where one of the conditions before the final "else" must always be true.

    Another, where there must always be an element to be found:
    »    for each x in ...
    »    »    if x satisfies ...
    »    »    »    return x
    »    assert false

    #Assertions
    #ComputerProgramming
    #ProgramVerification

  6. One of the many good uses of assertions is to catch cases that Should Never Happen.
    The textbook example is the last branch of a multi-way conditional statement where one of the conditions before the final "else" must always be true.

    Another, where there must always be an element to be found:
    »    for each x in ...
    »    »    if x satisfies ...
    »    »    »    return x
    »    assert false

    #Assertions
    #ComputerProgramming
    #ProgramVerification

  7. One of the many good uses of assertions is to catch cases that Should Never Happen.
    The textbook example is the last branch of a multi-way conditional statement where one of the conditions before the final "else" must always be true.

    Another, where there must always be an element to be found:
    »    for each x in ...
    »    »    if x satisfies ...
    »    »    »    return x
    »    assert false

    #Assertions
    #ComputerProgramming
    #ProgramVerification

  8. If you have many assertions, you can also use the SoftAssertions to test all the assertions and give all the results at once.

    Read more 👉 lttr.ai/ATQTo

    #test #unitest #unitTest #testing #AssertJ #assertions #code #developer

  9. If you have many assertions, you can also use the SoftAssertions to test all the assertions and give all the results at once.

    Read more 👉 lttr.ai/ATQTo

    #test #unitest #unitTest #testing #AssertJ #assertions #code #developer

  10. If you have many assertions, you can also use the SoftAssertions to test all the assertions and give all the results at once.

    Read more 👉 lttr.ai/ATQTo

    #test #unitest #unitTest #testing #AssertJ #assertions #code #developer

  11. If you have many assertions, you can also use the SoftAssertions to test all the assertions and give all the results at once.

    Read more 👉 lttr.ai/ATQTo

    #test #unitest #unitTest #testing #AssertJ #assertions #code #developer

  12. If you have many assertions, you can also use the SoftAssertions to test all the assertions and give all the results at once.

    Read more 👉 lttr.ai/ATQTo

    #test #unitest #unitTest #testing #AssertJ #assertions #code #developer

  13. Want to test the output of your Rust CLI project?

    ⬇️ Check out **assert_cmd**!

    🦀 A Rust library for easy command initialization and assertions.

    🧪 Asserts on the result of your program's run.

    ⭐ GitHub: github.com/assert-rs/assert_cmd

  14. Throwing an exception when a business rule is invalid is very common, but do you know that it is very easy to create a test for it?

    Read more 👉 lttr.ai/AYtk5

    #test #unitest #unitTest #testing #AssertJ #assertions #code #developer

  15. Throwing an exception when a business rule is invalid is very common, but do you know that it is very easy to create a test for it?

    Read more 👉 lttr.ai/AYtk5

    #test #unitest #unitTest #testing #AssertJ #assertions #code #developer

  16. Throwing an exception when a business rule is invalid is very common, but do you know that it is very easy to create a test for it?

    Read more 👉 lttr.ai/AYtk5

    #test #unitest #unitTest #testing #AssertJ #assertions #code #developer

  17. Throwing an exception when a business rule is invalid is very common, but do you know that it is very easy to create a test for it?

    Read more 👉 lttr.ai/AYtk5

    #test #unitest #unitTest #testing #AssertJ #assertions #code #developer

  18. Throwing an exception when a business rule is invalid is very common, but do you know that it is very easy to create a test for it?

    Read more 👉 lttr.ai/AYtk5

    #test #unitest #unitTest #testing #AssertJ #assertions #code #developer

  19. “But synthetical reasoning, setting up as its goal some unattainable abstraction, like an imaginary quantity in algebra, and commencing its course with taking for granted some two assertions which cannot be proved, from the union of these two assumed truths produces a third assumption, and so on in infinite series, to the unspeakable benefit of the human intellect.”

    https://library.hrmtc.com/2024/08/13/but-synthetical-reasoning-setting-up-as-its-goal-some-unattainable-abstraction-like-an-imaginary-quantity-in-algebra-and-commencing-its-course-with-taking-for-granted-some-two-assertions-which-ca/

  20. AssertJ is a Java library to create fluent assertions, and it provides many ways to validate your test.

    Read more 👉 lttr.ai/AUSR7

    #test #unitest #unitTest #testing #AssertJ #assertions #code #developer

  21. AssertJ is a Java library to create fluent assertions, and it provides many ways to validate your test.

    Read more 👉 lttr.ai/AUSR7

    #test #unitest #unitTest #testing #AssertJ #assertions #code #developer

  22. AssertJ is a Java library to create fluent assertions, and it provides many ways to validate your test.

    Read more 👉 lttr.ai/AUSR7

    #test #unitest #unitTest #testing #AssertJ #assertions #code #developer

  23. AssertJ is a Java library to create fluent assertions, and it provides many ways to validate your test.

    Read more 👉 lttr.ai/AUSR7

    #test #unitest #unitTest #testing #AssertJ #assertions #code #developer

  24. AssertJ is a Java library to create fluent assertions, and it provides many ways to validate your test.

    Read more 👉 lttr.ai/AUSR7

    #test #unitest #unitTest #testing #AssertJ #assertions #code #developer

  25. A quotation from Szasz, Thomas:

    «
    Doubt is to certainty as neurosis is to psychosis. The neurotic is in doubt and has fears about persons and things; the psychotic has convictions and makes claims about them. In short, the neurotic has problems, the psychotic has solutions.
    »

    Full quote, sourcing, notes:
    wist.info/szasz-thomas/16249/

    #quote #quotes #quotation #assertions #certainty #convictions #doubt #fear #neurosis #neurotic #problems #psychosis #psychotic #solutions #uncertainty

  26. A quotation from Szasz, Thomas:

    «
    Doubt is to certainty as neurosis is to psychosis. The neurotic is in doubt and has fears about persons and things; the psychotic has convictions and makes claims about them. In short, the neurotic has problems, the psychotic has solutions.
    »

    Full quote, sourcing, notes:
    wist.info/szasz-thomas/16249/

    #quote #quotes #quotation #assertions #certainty #convictions #doubt #fear #neurosis #neurotic #problems #psychosis #psychotic #solutions #uncertainty

  27. A quotation from Szasz, Thomas:

    «
    Doubt is to certainty as neurosis is to psychosis. The neurotic is in doubt and has fears about persons and things; the psychotic has convictions and makes claims about them. In short, the neurotic has problems, the psychotic has solutions.
    »

    Full quote, sourcing, notes:
    wist.info/szasz-thomas/16249/

    #quote #quotes #quotation #assertions #certainty #convictions #doubt #fear #neurosis #neurotic #problems #psychosis #psychotic #solutions #uncertainty