Karl Bartel

No, we are not. We just check if they are addresses and then turn them into checksum addresses. See https://github.com/karlb/raiden-contracts/blob/60993da4705d73600d80bfd10ccddcdd293fdca3/raiden_contracts/deploy/__main__.py#L36-L45.

AFAICS, no change is necessary. According to https://github.com/Dexaran/ERC223-token-standard > ERC223 tokens are backwards compatible with ERC20 tokens. It means that ERC223 supports every ERC20 functional and contracts or services working...

At the current block mining rate, that will take `2**256 - 10296463 / 2 / 4 / 60 / 24 / 365` > 10^70 years. Even if Ethereum starts mining...

> Maybe document this possibility in the spec? It's documented in https://raiden-network-specification.readthedocs.io/en/latest/service_contracts.html#double-spending

See the results at https://github.com/raiden-network/raiden-contracts/issues/566#issuecomment-596655928. We should give this another try at a later time.

Some unused hypothesis code has been removed in https://github.com/raiden-network/raiden-contracts/pull/1360. When working on this issue, consider updating and re-adding that code.

> There is a related question and I will summarise the discussion around this > here for completeness. Instead of fixing the old XSL style sheets, it might > be...

I'm all for having a dictionary representation that is more strict. My hope was to maintain dictionaries directly in that format rather than having our dicts in generic TEI and...

Pyglossary can already be used to convert the TEI files generated by WikDict (many of which are part of FreeDict) to arbitrary formats. I've used it to create StarDict and...

I've created anki decks by uploading a csv on their website. So some CSV->anki converter must already exist. When creating the decks, I found a rough importance rating very valuable....