Vladimir Sitnikov

I tried "proper sort limit" in https://github.com/jlink/jqwik/pull/436/files#diff-24f2363e5b549d73b76a697390516a86b444e6f9962c24032fb71a4dc7ce12ceR48-R49, however, it does not really solve the issue. The cause might be "some other shrinker producing too many shrink candidates".

It does NOT solve the issue of "too long shrinking duration", however, I tried it **only** for the newly added `EagerShrinkable` when it eagerly creates N shrinkable values. However, it...

> Thing is that I want to forgo any hard depencency until jqwik cannot solve a pressing issue without it. In fact, `Stream#sorted` is used in core places of jqwik....

I played with commons-rng a bit, and it turns out their interfaces are really involved, and exposing commons-rng generators in jqwik api seems bad. It looks like the approach for...

Nice catch. It looks like caching the statement was disabled in https://github.com/pgjdbc/pgjdbc/pull/580/files#diff-2abcc60e1b1ef8eeadd6372bf7afd0c0ebae0ebd691b0965fc914fea794eb6d0R965-R971 which has been later (unintentionally) converted to something like "never use server-prepared when the first two queries differ"...

Suppose the insert statement is `insert into users(id, name) values(?, ?)`. Suppose the application sends 43 rows in a batch. What would you expect the driver to do? Do you...

> so the logic of the two inserts is to try to create multi-values inserts in a way that there is a higher chance with repeating PreparedStatement object usage to...

@tumbarumba , here's a PR: https://github.com/hamcrest/JavaHamcrest/pull/399

Just in case you wondered: an​*̶͑̾̾​̅ͫ͏̙̤g͇̫͛͆̾ͫ̑͆l͖͉̗̩̳̟̍ͫͥͨe̠̅s is split by BreakIterator as follows: [0..1), length: 1: a [1..2), length: 1: n [2..3), length: 1: ​ [3..8), length: 5: *̶͑̾̾ [8..9), length:...

The 'sad' thing is `BreakIterator` is `Locale`-dependent (see https://docs.oracle.com/javase/tutorial/i18n/text/char.html ).