News for hackers. Stuff that matters.
Re:Prediction: AI will make formal verification go mainstream by dhruv3006 on Wednesday December 17, 2025 @02:38AM (#46299238)
Thats something I agree with.

I am right now working on an offline api client: https://voiden.md/. I wonder if this can be a feature.

There are no comments on this comment yet.