6 ms·Interesting - what is correctness of the kernel here? That it faithfully implements the model?by codebje 1y agoInteresting - what is correctness of the kernel here? That it faithfully implements the model?