Search
9 results for “blackwolf12333”
-
@blackwolf12333 @cassidy I think what you are referring to is the ibus emoji annotation mode (when pressed, a weird underlined e appears and allows for emoji selection). Interestingly this key binding does not work on my Manjaro GNOME install. Anyway, what I was looking for was a way to have the #gtk #emojipicker #systemwide which seems to be impossible by design for non GTK apps.
-
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.
-
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.
-
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.
-
That was another fun #DPC! Lots of interesting talks, definitely got some inspiration to improve some things at {dayjob}
-
The first talk about designing a messaging domain around Whatsapp was super fascinating and what a great speaker. Very fun to listen to #dpc26
-
Microsoft has decided our company email IP isn't nice and temporarily rate limited it for a full day now. We're talking to mailgun support, but according to Microsofts own SNDS thing nothing is wrong with our IP. As far as we can tell nothing has changed about the volume of outgoing emails from our side...
Gotta love the black box that is email IP reputation
-
Microsoft has decided our company email IP isn't nice and temporarily rate limited it for a full day now. We're talking to mailgun support, but according to Microsofts own SNDS thing nothing is wrong with our IP. As far as we can tell nothing has changed about the volume of outgoing emails from our side...
Gotta love the black box that is email IP reputation
-
Microsoft has decided our company email IP isn't nice and temporarily rate limited it for a full day now. We're talking to mailgun support, but according to Microsofts own SNDS thing nothing is wrong with our IP. As far as we can tell nothing has changed about the volume of outgoing emails from our side...
Gotta love the black box that is email IP reputation