News for hackers. Stuff that matters.
Re:Prediction: AI will make formal verification go mainstream by jessoteric on Wednesday December 17, 2025 @04:06AM (#46299749)
> Of course, you can declare that the world itself is inherently sinful and imperfect, and is not ready for your beautiful theories

i see we are both familiar with haskellers (friendly joke!)

There are no comments on this comment yet.