--- Log opened Mon Apr 20 00:00:57 2020
00:19 -!- nick_freeman [~nick_free@2001:16b8:304a:8400:b0b2:f9ad:b4a2:8ec7] has quit [Ping timeout: 256 seconds]
01:52 -!- nick_freeman [~nick_free@i5C74A3E7.versanet.de] has joined #utreexo
07:38 -!- rjected [~dan@pool-71-184-77-198.bstnma.fios.verizon.net] has joined #utreexo
07:39 -!- rjected_ [~dan@pool-71-184-77-198.bstnma.fios.verizon.net] has quit [Ping timeout: 260 seconds]
07:43 -!- rjected [~dan@pool-71-184-77-198.bstnma.fios.verizon.net] has quit [Ping timeout: 260 seconds]
07:49 -!- rjected [~dan@pool-71-184-77-198.bstnma.fios.verizon.net] has joined #utreexo
09:54 -!- fanquake [sid369002@gateway/web/irccloud.com/x-yfxcbeaevqozmcxx] has quit [Ping timeout: 245 seconds]
09:54 -!- fanquake [sid369002@gateway/web/irccloud.com/x-phqdamalznlcbqrw] has joined #utreexo
12:43 -!- kallewoof [~quassel@240d:1a:759:6000:a7b1:451a:8874:e1ac] has quit [Remote host closed the connection]
12:44 -!- kallewoof [~quassel@240d:1a:759:6000:a7b1:451a:8874:e1ac] has joined #utreexo
13:39 -!- nick_freeman [~nick_free@i5C74A3E7.versanet.de] has quit [Remote host closed the connection]
13:57 -!- nick_freeman [~nick_free@2001:16b8:304a:8400:5f9:9c0f:e7cf:a17f] has joined #utreexo
14:02 -!- nick_freeman [~nick_free@2001:16b8:304a:8400:5f9:9c0f:e7cf:a17f] has quit [Remote host closed the connection]
14:47 -!- nick_freeman [~nick_free@2001:16b8:304a:8400:b9b9:e34a:c1:478c] has joined #utreexo
15:23 -!- nick_freeman [~nick_free@2001:16b8:304a:8400:b9b9:e34a:c1:478c] has quit [Remote host closed the connection]
16:03 -!- nick_freeman [~nick_free@2001:16b8:304a:8400:1c90:9187:e3f7:d1c] has joined #utreexo
16:30 -!- nick_freeman [~nick_free@2001:16b8:304a:8400:1c90:9187:e3f7:d1c] has quit [Remote host closed the connection]
16:39 -!- nick_freeman [~nick_free@2001:16b8:304a:8400:9800:2806:41df:ed34] has joined #utreexo
16:59 -!- nick_freeman [~nick_free@2001:16b8:304a:8400:9800:2806:41df:ed34] has quit [Remote host closed the connection]
17:01 -!- nick_freeman [~nick_free@2001:16b8:304a:8400:c5d3:d498:dca1:331f] has joined #utreexo
17:02 -!- nick_freeman [~nick_free@2001:16b8:304a:8400:c5d3:d498:dca1:331f] has quit [Remote host closed the connection]
17:02 -!- nick_freeman [~nick_free@2001:16b8:304a:8400:c5d3:d498:dca1:331f] has joined #utreexo
17:26 < ja> are the positions always continously populated? if i initially insert 6 elements, i will have indexes 0..5, right? and if i delete leaf 2, will the indexes be 0..4?
18:15 -!- nick_fre_ [~nick_free@2001:16b8:306b:7300:4544:fde3:4ac2:1ba] has joined #utreexo
18:17 -!- nick_freeman [~nick_free@2001:16b8:304a:8400:c5d3:d498:dca1:331f] has quit [Ping timeout: 246 seconds]
19:24 < adiabat> ja: cool will look at PR tomorrow
19:24 < adiabat> yes there are no gaps
19:25 < ja> ah ok. so now i understand why positionMap is not exposed... you should be able to keep track just by counting elements :)
19:25 < adiabat> well, you can't actually..
19:25 < adiabat> it's not exported because the prove functions do it for you
19:26 < ja> oh, so the reason you can't is because you can't know which position an element will assume?
19:26 < adiabat> I mean you can, it's deterministic, but it's complicated
19:26 < adiabat> you basically have to run the remove trasform to figure out where things go
19:27 < ja> yeah, all right
19:27 < ja> currently working on making C bindings...
19:27 < adiabat> and it changes a lot, so it doesn't seem like telling people "your leaf is here at position 572" is that useful, since it will move somehwere else soon
19:27 < adiabat> cool
19:28 < ja> looks like the forest API is pretty stable, so it shouldn't be a big burden
19:28 < adiabat> yeah.  I think kcalvinalvin is changing the names / comments a bit of the forest, but API should stay the same
--- Log closed Tue Apr 21 00:00:58 2020