3 ms·
You can still do unsafe, and you do need unsafe in some cases.
by PartiallyTyped 2y ago
You can still do unsafe, and you do need unsafe in some cases.
- pdimitar 2y agoOK, sure, but don't you think that being a world-wide antivirus vendor should have warranted a better process?
- PartiallyTyped 2y agoOh absolutely. This is utterly unacceptable. The ease with which CS pushed willy nilly a bad build to prod in what seems to be a monophasic release is absurd. Something of this nature would have had our entire team fired. The number of phases and the thoroughness and exhaustiveness of the protocols we have to ensure we don't push bad builds would have most engineers taken aback... but we have to. With great power comes great responsibility.
- lambdaone 2y agoAnd human beings can indeed write safe "unsafe" code. But to do so consistently, you have to be very smart, very cautious, and somewhat lucky.
- PartiallyTyped 2y agoIndeed, ensuring that unsafe is isolated and obeys certain semantics is a superpower that few languages have rust+kani is a good and modern way to achieve this.