libera/#sicl - IRC Chatlog

21:10:41 scymtym yitzi: with your benchmark on my machine, i get https://plaster.tymoon.eu/view/4485#4486

21:26:26 scymtym ::notify yitzi i pushed sketches of the liebler optimizations into the liebler-optimizations branch in the quaviver repository. the main technique is to caculate backwards from the overflow checks with 06Q to derive overflow checks with 06EXPONENT since those will allow tighter bounds for more computatonns including 06ASH and arithmetic

21:26:26 Colleen scymtym: Got it. I'll let yitzi know as soon as possible.

23:18:18 yitzi scymtym: If you have time, can you try the benchmark with leibler from the main branch without your optimizations? I am curious how some of our recent math optimizations will affect the timings.

23:18:18 Colleen yitzi: scymtym said 1 hour, 51 minutes ago: i pushed sketches of the liebler optimizations into the liebler-optimizations branch in the quaviver repository. the main technique is to caculate backwards from the overflow checks with 06Q to derive overflow checks with 06EXPONENT since those will allow tighter bounds for more computatonns including 06ASH and arithmetic

8:26:36 paulapatience yitzi: Did you intend to the use the significand-word type in Schubfach?