News for hackers. Stuff that matters.
Re:The C Bounded Model Checker: Criminally Underused by mhh__ on Wednesday January 31, 2024 @05:56PM (#39210602)
Most big PRs are only big because pull requests are a fundamentally bad model for doing work that's already been planned.

There are no comments on this comment yet.