#pbt — Public Fediverse posts

Makeup Brush Set Market in Germany | Report – IndexBox

Germany Makeup Brush Set Market 2026 Anal…
#Germany #DE #Europe #EU #Europa #andblushapplication #Antibacterialfibertreatments #bronzer #consumergoodsmarketreport #Ergonomichandledesign #Eyebrowgroominganddefinition #Eyeshadowblendingandprecisionwork #Ferrulecrimpingandbonding #forecast #Foundationandconcealerapplication #makeupbrushset #marketanalysis #PBT) #Powder #Syntheticfiberengineering(taklon
https://www.europesays.com/germany/12221/

Makeup Brush Set Market in the United Kingdom | Report – IndexBox

United Kingdom Makeup Br…
#UnitedKingdom #UK #Europe #EU #andblushapplication #Antibacterialfibertreatments #bronzer #consumergoodsmarketreport #Ergonomichandledesign #Eyebrowgroominganddefinition #Eyeshadowblendingandprecisionwork #Ferrulecrimpingandbonding #forecast #Foundationandconcealerapplication #GreatBritain #makeupbrushset #MarketAnalysis #PBT) #powder #Syntheticfiberengineering(taklon
https://www.europesays.com/2982010/

https://www.europesays.com/britain/33985/ Makeup Brush Set Market in the United Kingdom | Report – IndexBox #AndBlushApplication #AntibacterialFiberTreatments #bronzer #ConsumerGoodsMarketReport #ErgonomicHandleDesign #EyebrowGroomingAndDefinition #EyeshadowBlendingAndPrecisionWork #FerruleCrimpingAndBonding #forecast #FoundationAndConcealerApplication #MakeupBrushSet #MarketAnalysis #PBT) #Powder #SyntheticFiberEngineering(taklon #UK #UnitedKingdom

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

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

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

Hegel, a universal property-based testing protocol and family of PBT libraries

https://hegel.dev

#HackerNews #Hegel #PBT #propertybasedtesting #softwaredevelopment #testinglibraries

Hegel, a universal property-based testing protocol and family of PBT libraries

https://hegel.dev

#HackerNews #Hegel #PBT #propertybasedtesting #softwaredevelopment #testinglibraries

Hegel, a universal property-based testing protocol and family of PBT libraries

https://hegel.dev

#HackerNews #Hegel #PBT #propertybasedtesting #softwaredevelopment #testinglibraries

Hegel, a universal property-based testing protocol and family of PBT libraries

https://hegel.dev

#HackerNews #Hegel #PBT #propertybasedtesting #softwaredevelopment #testinglibraries

Hegel, a universal property-based testing protocol and family of PBT libraries

https://hegel.dev

#HackerNews #Hegel #PBT #propertybasedtesting #softwaredevelopment #testinglibraries

https://www.europesays.com/ie/317550/ ATK Yogo 75 Keyboard Gets Extended Kickstarter Ahead of Imminent Launch #2.4Ghz #Ahead #atk #AtkGear #bluetooth #ChocV2 #customization #Éire #extended #gets #Https://www.techpowerup.com/345915/atkYogo75KeyboardGetsExtendedKickstarterAheadOfImminentLaunch #IE #Imminent #Ireland #kailh #keyboard #keychron #kickstart #kickstarter #launch #LinearSwitch #News #pbt #rgb #Technology #USBC #via #yogo

So what have you been up to lately, Jan?
Meh, some renaming 🐫🎄🎅
https://discuss.ocaml.org/t/ann-qcheck-0-90-the-great-renaming/17613
#ocaml #quickcheck #pbt #propertybasedtesting

So what have you been up to lately, Jan?
Meh, some renaming 🐫🎄🎅
https://discuss.ocaml.org/t/ann-qcheck-0-90-the-great-renaming/17613
#ocaml #quickcheck #pbt #propertybasedtesting

So what have you been up to lately, Jan?
Meh, some renaming 🐫🎄🎅
https://discuss.ocaml.org/t/ann-qcheck-0-90-the-great-renaming/17613
#ocaml #quickcheck #pbt #propertybasedtesting

So what have you been up to lately, Jan?
Meh, some renaming 🐫🎄🎅
https://discuss.ocaml.org/t/ann-qcheck-0-90-the-great-renaming/17613
#ocaml #quickcheck #pbt #propertybasedtesting

So what have you been up to lately, Jan?
Meh, some renaming 🐫🎄🎅
https://discuss.ocaml.org/t/ann-qcheck-0-90-the-great-renaming/17613
#ocaml #quickcheck #pbt #propertybasedtesting

About the efficacy of Property Based Testing. According to the study it's better than I (as a supporter) would have guessed.
https://dl.acm.org/doi/10.1145/3764068

#propertyBasedTesting #pbt

About the efficacy of Property Based Testing. According to the study it's better than I (as a supporter) would have guessed.
https://dl.acm.org/doi/10.1145/3764068

#propertyBasedTesting #pbt

About the efficacy of Property Based Testing. According to the study it's better than I (as a supporter) would have guessed.
https://dl.acm.org/doi/10.1145/3764068

#propertyBasedTesting #pbt

About the efficacy of Property Based Testing. According to the study it's better than I (as a supporter) would have guessed.
https://dl.acm.org/doi/10.1145/3764068

#propertyBasedTesting #pbt

About the efficacy of Property Based Testing. According to the study it's better than I (as a supporter) would have guessed.
https://dl.acm.org/doi/10.1145/3764068

#propertyBasedTesting #pbt

Started hacking on a shrinker (reducer) of floats for QCheck a while back - and struggled. Yesterday I finally made some progress and now opened a PR for it:
https://github.com/c-cube/qcheck/pull/357 ✂️ 🔢 🤓

#ocaml #pbt #quickcheck

Started hacking on a shrinker (reducer) of floats for QCheck a while back - and struggled. Yesterday I finally made some progress and now opened a PR for it:
https://github.com/c-cube/qcheck/pull/357 ✂️ 🔢 🤓

#ocaml #pbt #quickcheck

Here's a preprint of the paper I wrote up for Olivier's festscrift 🎉 🍾

Property-Based Testing of OCaml 5's Runtime System:
Fun and Segfaults with Interpreters and State Transition Functions

We describe our effort on using property-based testing to test the OCaml 5 multicore runtime system. In particular, we cover three case studies of increasing complexity that utilize a model-based state machine framework: (a) Testing the Array module, (b) testing weak hash sets, and (c) testing the garbage collector, with the latter two behaving non-deterministically from the point of view of the blackbox testing process. We evaluate the approach empirically by analyzing the bugs found, and discuss both limitations and challenges we have met underway.

https://janmidtgaard.dk/papers/Midtgaard%3aOLIVIERFEST25.pdf

#ocaml #pbt #quickcheck #preprint

Here's a preprint of the paper I wrote up for Olivier's festscrift 🎉 🍾

Property-Based Testing of OCaml 5's Runtime System:
Fun and Segfaults with Interpreters and State Transition Functions

We describe our effort on using property-based testing to test the OCaml 5 multicore runtime system. In particular, we cover three case studies of increasing complexity that utilize a model-based state machine framework: (a) Testing the Array module, (b) testing weak hash sets, and (c) testing the garbage collector, with the latter two behaving non-deterministically from the point of view of the blackbox testing process. We evaluate the approach empirically by analyzing the bugs found, and discuss both limitations and challenges we have met underway.

https://janmidtgaard.dk/papers/Midtgaard%3aOLIVIERFEST25.pdf

#ocaml #pbt #quickcheck #preprint

Here's a preprint of the paper I wrote up for Olivier's festscrift 🎉 🍾

Property-Based Testing of OCaml 5's Runtime System:
Fun and Segfaults with Interpreters and State Transition Functions

We describe our effort on using property-based testing to test the OCaml 5 multicore runtime system. In particular, we cover three case studies of increasing complexity that utilize a model-based state machine framework: (a) Testing the Array module, (b) testing weak hash sets, and (c) testing the garbage collector, with the latter two behaving non-deterministically from the point of view of the blackbox testing process. We evaluate the approach empirically by analyzing the bugs found, and discuss both limitations and challenges we have met underway.

https://janmidtgaard.dk/papers/Midtgaard%3aOLIVIERFEST25.pdf

#ocaml #pbt #quickcheck #preprint

Here's a preprint of the paper I wrote up for Olivier's festscrift 🎉 🍾

Property-Based Testing of OCaml 5's Runtime System:
Fun and Segfaults with Interpreters and State Transition Functions

We describe our effort on using property-based testing to test the OCaml 5 multicore runtime system. In particular, we cover three case studies of increasing complexity that utilize a model-based state machine framework: (a) Testing the Array module, (b) testing weak hash sets, and (c) testing the garbage collector, with the latter two behaving non-deterministically from the point of view of the blackbox testing process. We evaluate the approach empirically by analyzing the bugs found, and discuss both limitations and challenges we have met underway.

https://janmidtgaard.dk/papers/Midtgaard%3aOLIVIERFEST25.pdf

#ocaml #pbt #quickcheck #preprint

Here's a preprint of the paper I wrote up for Olivier's festscrift 🎉 🍾

Property-Based Testing of OCaml 5's Runtime System:
Fun and Segfaults with Interpreters and State Transition Functions

We describe our effort on using property-based testing to test the OCaml 5 multicore runtime system. In particular, we cover three case studies of increasing complexity that utilize a model-based state machine framework: (a) Testing the Array module, (b) testing weak hash sets, and (c) testing the garbage collector, with the latter two behaving non-deterministically from the point of view of the blackbox testing process. We evaluate the approach empirically by analyzing the bugs found, and discuss both limitations and challenges we have met underway.

https://janmidtgaard.dk/papers/Midtgaard%3aOLIVIERFEST25.pdf

#ocaml #pbt #quickcheck #preprint

My little pet project marks an important milestone:
My small library for generating strings based on given regular expressions is now feature-complete with support for all advanced regex-based string generation use cases. #PBT #Java
https://github.com/SimY4/coregex/releases/tag/v1.4.0

My little pet project marks an important milestone:
My small library for generating strings based on given regular expressions is now feature-complete with support for all advanced regex-based string generation use cases. #PBT #Java
https://github.com/SimY4/coregex/releases/tag/v1.4.0

My little pet project marks an important milestone:
My small library for generating strings based on given regular expressions is now feature-complete with support for all advanced regex-based string generation use cases. #PBT #Java
https://github.com/SimY4/coregex/releases/tag/v1.4.0

My little pet project marks an important milestone:
My small library for generating strings based on given regular expressions is now feature-complete with support for all advanced regex-based string generation use cases. #PBT #Java
https://github.com/SimY4/coregex/releases/tag/v1.4.0

preparing a crappy code base for a talk/workshop always requires disabling many IDE & compiler warnings
#dotnet #pbt #FSharp #CSharp

preparing a crappy code base for a talk/workshop always requires disabling many IDE & compiler warnings
#dotnet #pbt #FSharp #CSharp

preparing a crappy code base for a talk/workshop always requires disabling many IDE & compiler warnings
#dotnet #pbt #FSharp #CSharp

preparing a crappy code base for a talk/workshop always requires disabling many IDE & compiler warnings
#dotnet #pbt #FSharp #CSharp

preparing a crappy code base for a talk/workshop always requires disabling many IDE & compiler warnings
#dotnet #pbt #FSharp #CSharp

Over the past couple of days, I've been scratching a 3-year old QCheck(2) itch
https://github.com/c-cube/qcheck/pull/319
It's nice to finally make progress on it! 😃
#ocaml #quickcheck #pbt #fp

Over the past couple of days, I've been scratching a 3-year old QCheck(2) itch
https://github.com/c-cube/qcheck/pull/319
It's nice to finally make progress on it! 😃
#ocaml #quickcheck #pbt #fp

Over the past couple of days, I've been scratching a 3-year old QCheck(2) itch
https://github.com/c-cube/qcheck/pull/319
It's nice to finally make progress on it! 😃
#ocaml #quickcheck #pbt #fp

have I mentioned how much I like the new #dotnet #cli?
#FSharp and #CSharp hand in hand with #pbt

have I mentioned how much I like the new #dotnet #cli?
#FSharp and #CSharp hand in hand with #pbt

have I mentioned how much I like the new #dotnet #cli?
#FSharp and #CSharp hand in hand with #pbt

have I mentioned how much I like the new #dotnet #cli?
#FSharp and #CSharp hand in hand with #pbt

have I mentioned how much I like the new #dotnet #cli?
#FSharp and #CSharp hand in hand with #pbt

I've written up part 2 on our effort to utilize property-based testing to stress test the OCaml 5 run time system. Happy Christmas reading! 🎄🎅 🎁 😄
https://tarides.com/blog/2024-12-23-multicore-property-based-tests-for-ocaml-5-challenges-and-lessons-learned/
#ocaml #pbt #fp #functionalprogramming #quickcheck

I've written up part 2 on our effort to utilize property-based testing to stress test the OCaml 5 run time system. Happy Christmas reading! 🎄🎅 🎁 😄
https://tarides.com/blog/2024-12-23-multicore-property-based-tests-for-ocaml-5-challenges-and-lessons-learned/
#ocaml #pbt #fp #functionalprogramming #quickcheck

I'll visit Paris this week to give a talk about our efforts to drill OCaml 5 with property-based tests: https://sites.google.com/view/gdr-gpl-mtv2/manifestations-mtv2/21-11-2024

Ping me if we should hook up for a coffee or a beer... ☕🍺

#pbt #quickcheck #ocaml

I'll visit Paris this week to give a talk about our efforts to drill OCaml 5 with property-based tests: https://sites.google.com/view/gdr-gpl-mtv2/manifestations-mtv2/21-11-2024

Ping me if we should hook up for a coffee or a beer... ☕🍺

#pbt #quickcheck #ocaml