Slashdot reader Beeftopia writes: Rust has two modes: its default, safe mode, and an unsafe mode. In its default, safe mode, Rust prevents memory errors, such as "use-after-free" errors. It also prevents "data races" which is unsynchronized access to shared memory. In its unsafe mode (via use of the "unsafe" block), in which some of its APIs are written, it allows the use of potentially unsafe C-style features. The key challenge in verifying Rust's safety claims is accounting for the interaction between its safe and unsafe code. This article from April's issue of Communications of the ACM provides an overview of Rust and investigates its safety claims.
The article is co-authored by Ralf Jung, a prominent postdoctoral researcher in the 'Foundations of Programming' research group at the Max Planck Institute for Software Systems. And (spoiler alert) Jung has just received one of two 'Honorable Mentions' for the 'Dissertation Award' of the 'Association for Computing Machinery' (ACM), reports a nonprofit site operated by the American Association for the Advancement of Science: In his dissertation, Ralf Jung now provides the first formal proof that the safety promises of Rust actually hold. "We were able to verify the safety of Rust's type system and thus show how Rust automatically and reliably prevents entire classes of programming errors," says Ralf Jung.

In doing so, he also successfully addressed a special aspect of the programming language: "The so-called 'type safety' goes hand in hand with the fact that Rust imposes restrictions on the programmer and does not allow everything that the programmer wants to do. Sometimes, however, it is necessary to write an operation into the code that Rust would not accept because of its type safety," the computer scientist continues. "This is where a special feature of Rust comes into play: programmers can mark their code as 'unsafe' if they want to achieve something that contradicts the programming language's safety precautions. Together with international collaborators, including my thesis advisor Derek Dreyer, we developed a theoretical framework that allows us to prove that Rust's safety claims hold despite the possibility of writing 'unsafe' code," Jung says.

This proof, called RustBelt, is complemented by Ralf Jung with a tool called Miri, with which 'unsafe' Rust code can be automatically tested for compliance with important rules of the Rust specification - a basic requirement for correctness and safety of this code. "While RustBelt was a great success, especially in academic circles, Miri is already established in industry as a tool for security testing of programs written in Rust," explains Ralf Jung.... The ACM states: "Through Jung's leadership and active engagement with the Rust Unsafe Code Guidelines working group, his work has already had profound impact on the design of Rust and laid essential foundations for its future."

Kim Dotcom was the founder of Megaupload, its successor Mega, and New Zealand's Internet Party. A while ago you had a chance to ask him about those things as well as the U.S. government charging him with criminal copyright violation and racketeering. Below you'll find his answers to your questions.

spidweb writes "One Indie developer has written a nuanced article on a how software piracy affects him, approaching the issue from the opposite direction. He lists the ways in which the widespread piracy of PC games helps him. From the article: 'You don't get everything you want in this world. You can get piles of cool stuff for free. Or you can be an honorable, ethical being. You don't get both. Most of the time. Because, when I'm being honest with myself, which happens sometimes, I have to admit that piracy is not an absolute evil. That I do get things out of it, even when I'm the one being ripped off.' The article also tries to find a middle ground between the Piracy-Is-Always-Bad and Piracy-Is-Just-Fine sides of the argument that might enable single-player PC games to continue to exist."

destinyland writes "Steve Wozniak just weighed in on DRM, saying "it doesn't make much sense if these things are going to have DRM forever." In this great new interview, he complains that even now, only six songs on his iTunes playlist are DRM-free. He applauds the Open Source Movement, saying "it's very honorable and it's very good for the customers." He's even considering publishing the hand-written code for the Apple II as a manuscript. He's also surprisingly non-commital about the iPhone. ("Will word of mouth kill it or make it a hit? Who knows?") He also talks about his favorite pranks, and reveals that "the Secret Service read me my Miranda rights once.""

CWitz writes "I'll be honest: I'm not terribly technical. In fact, I'll probably have to get someone to help me add in the tags necessary to convert this review to readable HTML. But what I lack in technical skills, I more than make up in apprehension about the darker aspects of the internet. When I get an unexpected e-mail, I'm sure it's from some identity theft villain full of virtual lock picks just dying to snatch all my private information. John Bigg's new book Black Hat: Misfits, Criminals, and Scammers in the Internet Age is an entertaining and educational book that provides me with more than enough information about how to protect my vulnerable computer." Read on for the rest of his review; it's not aimed at experts, but Scott makes it sound like a good read for the interested layman.

Mozilla's latest milestone, M17, arrived today(ish); early adopters, go thou and download. And while you're waiting, check out this summary of the state of the art of PNG written by Greg Roelofs. PNG is ready for prime time in its Mozilla incarnation (though there are a few outstanding issues). Imminent takeover of the net predicted. Film at 11. Update later by J: OK, so M17 isn't available yet. Mea culpa; Greg and I misread a planning page. Here are Greg's comments/corrections to clear up the matter.

You may remember a few weeks ago when we posed the question What is the greatest hacks. Well Derek Glidden has compiled the most popular selections from that discussion, and he presents below the winners. I was pretty surprised by some of the choices, but I think its a great list, with hacks spanning all sorts of areas of human creativity. Enjoy.

Do computer professionals need a code of ethics? As the computing industry grows, argue two experts on the social aspects of computing, so do the many ethical dilemmas facing people who create, design and sell software and hardware. I'll second that idea: computing is getting some of the worst publicity around, and more and more of it is deserved. This is the second in a series of essays based on "Technology and the Future," edited by Albert Teich and published by Bedford/St.Martin's.