Comment by codebje Comment by codebje 3 days ago 0 replies Copy Link View on Hacker News Interesting - what is correctness of the kernel here? That it faithfully implements the model?