News for hackers. Stuff that matters.

A comment on Prediction: AI will make formal verification go mainstream. Parent comment

Re:Prediction: AI will make formal verification go mainstream by jappgar on Wednesday December 17, 2025 @07:21AM (#46301152)
It is definitely harder to refactor Haskell than it is Typescript. Both are "safe" but one is slightly safer, and much harder to work with.
[ Parent | on HN ]

There are no comments on this comment yet.