Hacker News new | ask | show | jobs
by codebje 307 days ago
Interesting - what is correctness of the kernel here? That it faithfully implements the model?