News for hackers. Stuff that matters.

A comment on Unsoundness in Pin. Parent comment

Re:Unsoundness in Pin by temac on Friday November 29, 2019 @05:26PM (#21667184)
> The misconception that this could have a practical impact on users (the code being discussed on the thread is all obviously pathological & contrived).

Famous last words?

I mean I'm not an expert in Rust and even less in Pin, but I've seen my share of theoretical bugs thought of not possibly having any impact in the real world because of too theoretical. In other areas, when you debug a triple segfault and you understand the crazy conditions that lead to it, or when you render a piece of C++ code conforming instead of technically UB and it then starts to crash when in its UB form it worked perfectly, you start to consider that everything is possible :)

[ Parent | on HN ]
Re:Unsoundness in Pin by withoutboats on Sunday December 01, 2019 @06:55PM (#21678665)
This is exactly the kind of comment that makes me dislike Hacker News so strongly, because I find it endemic here.

The idea that someone could think an issue is theoretical and then discover it is practically significant is obvious and no insight at all - it reduces to "people are sometimes wrong." I am declaring based on my significant relevant expertise that this issue is not practically important. Your comment contributes nothing but baseless contradiction.

[ Parent | on HN ]