News for hackers. Stuff that matters.

A comment on Pointers Are Complicated II, or: We need better language specs. Parent comment

Re:Pointers Are Complicated II, or: We need better language ... by steveklabnik on Monday December 14, 2020 @01:59PM (#25421623)
Yes, absolutely. https://github.com/rust-lang/rust/issues/28728 is probably the most famous bug here, but many I-unsound bugs are similar.

This would be the case even without this. Compilers are programs. Programs have bugs.

[ Parent | on HN ]

There are no comments on this comment yet.