News for hackers. Stuff that matters.
Re:The Rustonomicon: The Dark Arts of Advanced and Unsafe Ru... by Gankro on Monday July 11, 2016 @12:12AM (#12068842)
This is, to some extent, moving the goal posts. You're considering "total correctness" whereas the focus of this stuff is largely "only" memory-safety.
Re:The Rustonomicon: The Dark Arts of Advanced and Unsafe Ru... by jerf on Monday July 11, 2016 @08:59AM (#12070706)
I would have been moving the goal posts if I didn't acknowledge that you generally get "good enough" code from what we're doing now. The point is that even being embarrassingly testable isn't a total panacea, though.