Edsko de Vries

Handshake failure when setting up multiple connections over same UDP "connection"

5

(This is an improved version of #49.) # Problem description I am trying to use the `quic` library to setup a QUIC server that serves an existing QUIC client, which...

It would be nice to be able to have an instance of [`HStream`](http://hackage.haskell.org/package/HTTP-4000.2.19/docs/Network-TCP.html#t:HStream) that allows to stream without using lazy I/O; in particular, an instance that would allow us to...

Surprising behaviour of buildTestBracketed

3

Suppose we we something like ``` Haskell main = defaultMain [testA, testB] ``` where `testA` is constructed with buildTestBracketed. If we run the test suite using ``` test-suite -t testB...

Improve KES interface

1

The KES interface (https://github.com/input-output-hk/cardano-base/blob/master/cardano-crypto-class/src/Cardano/Crypto/KES/Class.hs) should be improved: * It needs documentation * The two different use cases of `Natural` in the mock implementation should be `newtype`d * Most importantly, `updateKES`...

Eliminate MonadRandom from the VRF interface

1

I think the only remaining use of it is in `SimpleVRF`. It would be nice to keep that as a reference implementation, rather than delete it altogether. Relevant discussion with...

[The paper](http://edsko.net/pubs/falsify.pdf) describes a way to generate signed fractions (Section 5.3), but the resulting generator will not be uniform in the range. @brunjlar proposes the following approach instead: > I...

Memoization

3

We have the `withoutShrinking` combinator that makes generators that we want to run only once against a `SampleTree`. Unfortunately, we currently have to re-run those generators every single time they...

We introduced `bst` in #29, but can probably also use it in list generation: this would enable us to drop entire parts of the list in one go.

Stress-test to detect any memory leaks etc.

3

The main test suite is concerned with behaviour, not resource usage. We need to have a serious stress test, making thousands and thousands of connections, and thousands and thousands of...