Stuart Marks on Nostr: nprofile1q…6gyrf Hm, so was UB present in the tests prior to being reduced, or was ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqf3nlrmpjja65pzmvlegyl27l0y2m007nncxttdwqndrejajvdzask6gyrf (nprofile…gyrf) Hm, so was UB present in the tests prior to being reduced, or was UB introduced by the reducer? Or both?

(I’ve been thinking a lot about UB wrt Java recently, and I’ve read some of your work on UB. Short answer is that there is probably UB in Java, but we don’t have a clear answer on this yet.)