3 ms·
[flagged]
by PunchyHamster 6mo ago
[flagged]
- yjftsjthsd-h 6mo agoNo, a collection of fuzzers and the lean proof assistant found (almost) no bugs.
- dang 6mo agoCould you please stop breaking the site guidelines? We've already asked you once. https://news.ycombinator.com/newsguidelines.html https://news.ycombinator.com/newsguidelines.html
- PunchyHamster 6mo agoSorry, I got carried away, the whole blind trust in AI tools gets me wound up a bit too fast, I'll try to be better. > We've already asked you once. there are no notifications of any kind about that or the fact the comment has been flagged so I genuinely didn't notice previous one and only noticed this after I noticed rate limiting.