This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
michael@lantoki2:~/IOG/dummy $ dyff between -ib legacy-names.json new-names.json | |
(root level) | |
- 89 list entries removed: + 88 list entries added: | |
- cardano_node_metrics_blockfetchclient_blockdelay_cdfFive - cardano_node_metrics_basicInfo | |
- cardano_node_metrics_blockfetchclient_blockdelay_cdfOne - cardano_node_metrics_blockContext_int | |
- cardano_node_metrics_blockfetchclient_blockdelay_cdfThree - cardano_node_metrics_blockReplayProgress_real | |
- cardano_node_metrics_blockfetchclient_blockdelay_s - cardano_node_metrics_blocksForged_int | |
- cardano_node_metrics_blockfetchclient_blocksize - cardano_node_metrics_cardano_version_major_int | |
- cardano_node_metrics_blockfetchclient_lateblocks - cardano_node_metrics_cardano_version_minor_ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE BangPatterns #-} | |
{- | |
Scenario / preconditions for the usefulness of this ring buffer: | |
- mutable data structure | |
- elements of the same size (here: ByteString, extending to values of class Storable should be trivial) | |
- each element is denoted by a continuous Int id | |
- main benefit, esp. for a large number of elements: |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Main(main) where | |
import Data.Maybe | |
import Data.List | |
-- Data table copied from https://matthewearl.github.io/2015/12/10/gchq-xmas-card/ | |
width = 25 | |
height = 25 | |
rows = [ |