home.social

#eris — Public Fediverse posts

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

  1. Today is Prickle-Prickle, the 61st day of Discord in the YOLD 3192.

    #Eris

  2. Today is Sweetmorn, the 43rd day of Discord in the YOLD 3192.

    #Eris

  3. Today is Sweetmorn, the 38th day of Discord in the YOLD 3192.

    #Eris

  4. @saltywizard @dd
    Had to do a search on Discordianism, my friends.
    As a result I have given up my attachment to Pastafarianism and surrendered to Eris.
    I intend, or not, to get a tattoo of the Sacred Chao (pronounced sacred cow) as a symbol of my faith and/or lack of same.
    I am, in short, a new man -- or just being carried away by a new enthusiasm.
    #Religion #Discordianism #Eris #Chaos

  5. @saltywizard @dd
    Had to do a search on Discordianism, my friends.
    As a result I have given up my attachment to Pastafarianism and surrendered to Eris.
    I intend, or not, to get a tattoo of the Sacred Chao (pronounced sacred cow) as a symbol of my faith and/or lack of same.
    I am, in short, a new man -- or just being carried away by a new enthusiasm.
    #Religion #Discordianism #Eris #Chaos

  6. @saltywizard @dd
    Had to do a search on Discordianism, my friends.
    As a result I have given up my attachment to Pastafarianism and surrendered to Eris.
    I intend, or not, to get a tattoo of the Sacred Chao (pronounced sacred cow) as a symbol of my faith and/or lack of same.
    I am, in short, a new man -- or just being carried away by a new enthusiasm.
    #Religion #Discordianism #Eris #Chaos

  7. @saltywizard @dd
    Had to do a search on Discordianism, my friends.
    As a result I have given up my attachment to Pastafarianism and surrendered to Eris.
    I intend, or not, to get a tattoo of the Sacred Chao (pronounced sacred cow) as a symbol of my faith and/or lack of same.
    I am, in short, a new man -- or just being carried away by a new enthusiasm.
    #Religion #Discordianism #Eris #Chaos

  8. @saltywizard @dd
    Had to do a search on Discordianism, my friends.
    As a result I have given up my attachment to Pastafarianism and surrendered to Eris.
    I intend, or not, to get a tattoo of the Sacred Chao (pronounced sacred cow) as a symbol of my faith and/or lack of same.
    I am, in short, a new man -- or just being carried away by a new enthusiasm.
    #Religion #Discordianism #Eris #Chaos

  9. Spent a couple hours today working with a colleague on a property test using #eris. We found one bug in the implementation of our oracle, which proved that our production code was actually doing the right thing, though it's unclear if that was deliberate or accidental. After that we increased the number of samples to 1000 which actually seems to have uncovered another bug.

    Really cool to finally have a good use case for property based testing.

    #php #propertybasedtesting #pbt #phpunit

  10. Spent a couple hours today working with a colleague on a property test using #eris. We found one bug in the implementation of our oracle, which proved that our production code was actually doing the right thing, though it's unclear if that was deliberate or accidental. After that we increased the number of samples to 1000 which actually seems to have uncovered another bug.

    Really cool to finally have a good use case for property based testing.

    #php #propertybasedtesting #pbt #phpunit

  11. Spent a couple hours today working with a colleague on a property test using . We found one bug in the implementation of our oracle, which proved that our production code was actually doing the right thing, though it's unclear if that was deliberate or accidental. After that we increased the number of samples to 1000 which actually seems to have uncovered another bug.

    Really cool to finally have a good use case for property based testing.

  12. Today is Setting Orange, the 27th day of Discord in the YOLD 3192.

    #Eris

  13. Today is Prickle-Prickle, the 26th day of Discord in the YOLD 3192.

    #Eris

  14. Today is Setting Orange, the 2nd day of Discord in the YOLD 3192.

    #Eris