News for hackers. Stuff that matters.

A comment on Unsoundness in Pin. Parent comment

Re:Unsoundness in Pin by Rusky on Wednesday December 04, 2019 @02:23PM (#21705938)
Yes, but it's not used that way in this snippet...
[ Parent | on HN ]

There are no comments on this comment yet.