When Formal Systems Kill: Computer Ethics and Formal Methods (pdf)cs.indiana.edu3 points·doty··0 commentsOpen articleSaveView on HN