News for hackers. Stuff that matters.
Re:Unsoundness in Pin by jeltz on Friday November 29, 2019 @11:17AM (#21665174)
You are very correct in your guess that it was post-1.0, it is like you can read my mind. :) I would indeed not have bothered to port my production code to a non-stable language. But once I started doing that I ran into these issues quite quickly.

There are no comments on this comment yet.