Joe Palermo

Exception upon attempting to load a Tokenizer from file

31

Hi, I'm attempting to simply serialize and then unserialize a trained tokenizer. When I run the following code: ``` tokenizer = Tokenizer(BPE()) trainer = BpeTrainer(vocab_size=280) tokenizer.train(trainer, ["preprocessing/corpus/corpus.txt"]) save_to_filepath = 'preprocessing/tokenizer.json'...

queryroutes is running very slowly

3

### Background Running queryroutes is very slow on my node. It typically takes about ~10 seconds to query a route. In my lnd.conf I have ensured that db.no-graph-cache=false to ensure...

In https://github.com/lnbook/lnbook/blob/develop/appendix_bitcoin_fundamentals_review.asciidoc, "Look up the outpoint it is attempting to spend (a643e37...3213:0). This is Alice’s transaction and would be found on the blockchain." should be "Look up the outpoint it...

How can I tell when rescan is finished?

1

### Steps to Reproduce I'm using "rescan" to recover on-chain funds by passing it to lightningd via my lightningd.service file: `ExecStart=/usr/bin/lightningd --daemon --conf ~/.lightning/config --pid-file=~/.lightning/lightningd-bitcoin.pid --lightning-dir=~/.lightning/ –-log-file=~/.lightning/lightningd.log --rescan=-1000` ### Questions...

I ran ``` leanpkg configure bash ./_target/deps/mathlib/scripts/mk_all.sh leanpkg build ``` After running for 30 mins or so, 'leanpkg build' produces this error: ``` lean-step-public/src/test.lean:37:7: error: unknown identifier 'iff_of_true'' external command...