A kernel that's proveably error-free [pdf]sigops.org1 point·tasubotadas··0 commentsOpen articleSaveView on HN