News for hackers. Stuff that matters.

A comment on The Dark Side of Tech Culture. Parent comment

Re:The Dark Side of Tech Culture by ge0ffclapp on Tuesday September 26, 2023 @06:43PM (#37666827)
Formal analysis is how you solve problems. The part where you use it for control and abuse... is the dark side of humanity.
[ Parent | on HN ]
Re:The Dark Side of Tech Culture by morelisp on Wednesday September 27, 2023 @05:28AM (#37672266)
Formal analysis is how you solve equations. If all your problems are equations you're living a very simple life.
[ Parent | on HN ]