News for hackers. Stuff that matters.

A comment on Zlib-rs is faster than C. Parent comment

Re:Zlib-rs is faster than C by bangaladore on Tuesday March 18, 2025 @02:05PM (#43402637)
These seem to be beta features. But in any case it seems like its just doing some number of asserts to validate some preconditions.

However, even at runtime it can't do anything to say if (excuse the C pseudocode) *(uint32_t*)0x1C00 = 0xFE is a valid memory operations. On some systems, in some cases it might be.

[ Parent | on HN ]
Re:Zlib-rs is faster than C by j-krieger on Wednesday March 19, 2025 @06:16AM (#43410104)
> These seem to be beta features

What? Where did you get that impression?

> But in any case it seems like its just doing some number of asserts to validate some preconditions

Yeah, like C code normally would, just in the STD in this case.

[ Parent | on HN ]
Re:Zlib-rs is faster than C by bangaladore on Monday March 24, 2025 @04:25PM (#43465052)
> What? Where did you get that impression?

https://doc.rust-lang.org/beta/

> Yeah, like C code normally would, just in the STD in this case.

Yes, in that manual checks are still needed. My point is unsafe code in rust is nowhere near safe and cannot be considered as safe without extensive analysis, no matter the language features used.

[ Parent | on HN ]