News for hackers. Stuff that matters.
Re:We found a division by zero bug in FFmpeg with a vibecode... by UltraSane on Thursday August 27, 2026 @06:29PM (#49472124)
Even Lean 4 strong typing

There are no comments on this comment yet.