News for hackers. Stuff that matters.

A comment on Towards fearless SIMD, 7 years later. Parent comment

Re:Towards fearless SIMD, 7 years later by steveklabnik on Sunday March 30, 2025 @10:35AM (#43524540)
Re Rust, that’s simply not true. Rust relies on compile time validity checks that have nothing to do with virtual memory.
[ Parent | on HN ]
Re:Towards fearless SIMD, 7 years later by grandempire on Sunday March 30, 2025 @11:33AM (#43524957)
You confused two parts. I am not saying that Rust has the same pointer deref, I’m saying that if you try to specify rust you will find parts that implicitly rely on clang or hardware default. In other words the behavior is unspecified.
[ Parent | on HN ]
Re:Towards fearless SIMD, 7 years later by steveklabnik on Sunday March 30, 2025 @11:36AM (#43524984)
The borrow checker has a formal proof and it is completely independent from hardware.
[ Parent | on HN ]
Re:Towards fearless SIMD, 7 years later by grandempire on Sunday March 30, 2025 @11:46AM (#43525052)
Gatorade gives you electrolytes.
[ Parent | on HN ]