@Urbit_ Nock 5K 10 Reduction is perplexing as published: doesn't *[a 8 c 7 [0 2] d] reduce to *[*[a c] d]? And *[a 8 c 7 [0 3] d] to *[a d]?
@uros643 Doh! You're right. We forgot to propagate the change in Nock 8 to Nock 10 when we moved from 6k to 5k. Nice catch!
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.