--- Day changed Tue Jan 14 2020
05:59 < kcalvinalvin> Hi I'm here
06:03 < adiabat> hey     
06:03 < adiabat> 1 sec
06:03 < adiabat> (or like... 100 ish)
06:24 < kcalvinalvin> So it was still fast on commit 0b3e411a32b89c2f235cf54af735be311967bc67
06:24 < kcalvinalvin> (genproofs is)