coot
coot
* The large amounts of code duplication makes it challenging to understand runM. * It is likely that one could write `runM` more concisely as well as more clearly. As...
Distinguish tracing only data types from core-functionality data types via comments, naming, or etc. This would help with code clarity and understanding.
Integrate space and execution time measurements (on individual tests or test-groups), from these measurements one might detect * a time or space efficiency regression. * a space leak E.g., given...
The documents are still internal: * [_Peer Discovery and Eclipse Resistance_](https://docs.google.com/document/d/1ZkYiFDavvPZwWNwo-tiGljLMiEnFO_EGZtyTbpEnpgo/edit): google doc summary * [_Gossip and Eclipse_](https://docs.google.com/presentation/d/1cy4r9Ji0b4jB6-VgwaLJX9sSE-ips5uea5wLwG6ehDI/edit#slide=id.g103e9c23398_2_583): presentation * _Evading Eclipse with Gossip and State-Driven Peer Discovery_: early latex...
Design and implement a service which connects to SPOs relays and downloads and stores all blocks (regardless if they are valid or not). Storing information invalid blocks can help analyse...
> Below is the build log of derivation /nix/store/zzvjgyr938l0450gpqxpn97v8vgcfxkb-ouroboros-network-framework-test-test-0.1.0.0-check.drv. It was built on builder@mac-mini-2. ``` Resolve Subscribe (IO): FAIL (5.01s) *** Failed! Falsified (after 74 tests): LookupResultIO: ipv4: Left SequenceNumberMismatch...
``` cabal run ouroboros-network:test -- --quickcheck-replay=410544 -p '/diffusion target active local above/' Up to date ouroboros-network Ouroboros.Network.Testnet multinodeSim diffusion target active local above: FAIL (25.40s) *** Failed! Falsified (after 24...
Current haddock head of `ghc-9.2` branch (041385bc43f0b99d26077787eb8ed9e394766438) renders `toLazyTMVar` defined by: ``` newtype StrictTMVar m a = StrictTMVar { toLazyTMVar :: LazyTMVar m a } ``` as ``` $sel:toLazyTMVar:StrictTMVar ```...
It would be nice to have a pretty printer for type signatures in haddock. Complex types are not very readable, and often don't even fit into a single screen line.