About the growing verification debt in softwareclifford.ressel.fyi4 points·csressel··0 commentsOpen articleSaveView on HN