immae

This page does a very good study of how to manage mulitple currencies (actually, currencies, shares, etc.), with pro and cons of each method: https://www.mathstat.dal.ca/~selinger/accounting/tutorial.html

Note that you can adjust the different methods depending on your need, all of them are transposable to ledger (you might be interested in sections 5.11 to 5.20 in the ledger documentation too the method based on costs, if you’re discovering ledger: https://ledger-cli.org/doc/ledger3.html#Posting-cost )

On my side, I handle shares with costs method (so that I can track their prices easily), and "legal currencies" with the last method (trading buckets), since in my country those exchanges are not taxable; and very often I don’t want to care about conversion between legal currencies, I’m only interested in spending them

Note: the last method is very similar to your current situation, which seems perfectly sane

I would actually expect them both to repeat infinitely, but it will actually depend on the implementation of &&. The comments so far are looking at the function "globally", but if I look closer:

• How could Haskell know that f = (&&) will not answer True some day? Or it could know, because f is pure so he knows that False && False will always be False

• But then Haskell need to "know" that the list only contains False, and since it’s evaluating it lazily it cannot.

However, the way && is implemented changes all:

False && _ = False
True && a = a

If it was written as

False && False = False
False && True = False
True && False = False
True && True = True

Then it would cycle indefinitely. See why? because in the first situation it doesn’t care about what is in the second argument, so it doesn’t need to evaluate it. Otherwise it will have to evaluate the rest to know how to respond and thus will cycle indefinitely even with a liste of Falsey’s

The addresses are not sufficient to transfer the coins, I need the private key to do a transaction, and that private key is (by design) never exportable from the ledger wallet.

I want to protect against a situation where I lose my key and cannot buy a new one in reasonable time (for any reason: Ledger goes bankrupt; or I’m not in a position to buy a new one: hardware keys are harder to get than just buying bread; whatever you can imagine)

The rationale is the following: My mnemonic words are securely stored, which is good, but those words are not sufficient. I’m still dependent on being able to get a hardware key to use it, and it’s not an easy dependence to achieve. A script that is able to derive the keys is a more reasonable assumption in case of emergency.

It’s not the topic, but: you don’t. The seed I’m using was generated before I acquired the ledger key, and I’m slowly moving my funds to a new one outside of the PC, with the condition that I have a way to get access to my funds in case of failure. So that’s where I’m stuck with cardano and siacoin

I tried the rust-cardano (more precisely cardano-cli which is a cli that uses it). In addition to the fact that it’s a bit convoluted to obtain an address (you need to attach the wallet to a blockchain etc.), it doesn’t generate a correct one.

I tried wallet recover --mnemonics-length 18 --derivation-scheme v1 and v2, in both cases I obtain with wallet address Wallet 0 0 an address of the form Ae2tdPwUPEZBC22RUnBw3aSXRZcTg39tt6813hEVtMXB44yNkwjiGpj26zk while the one that ledger generates is of the form addr1.... Blockchain explorer show an empty amount for the Ae... one when the addr1... one has non-empty balance, so I guess it’s not generated the same way.

I already tried emailing siacoin, I think they’re busy :)