Your average scripter likely isn’t writing a whole lot of proofs or going through the rigors of formal program verification, generally. Which is fine because your average scripter also isn’t writing software for jet airliners or nuclear power plants or robotic surgeons. But somebody is—and the odds are pretty good that your life has been in their hands very recently. How do you know they’re not a complete hack?
Well, you don’t really. Which prompts the question: How is this sort of code tested?
. . . [A]ccording to [Stack Exchange] poster Uri Dekel (handle: Uri), a Google software engineer.
“There’s a serious move towards formal verification rather than random functional testing. Government agencies like NASA and some defense organizations are spending more and more on these technologies. They’re still a PITA [pain in the ass] for the average programmer, but they’re often more effective at testing critical systems.”
Written by Michael Byrne, Motherboard Editor
The admin of the popular NotePad++ text editor announced today that the project would leave SourceForge as a response to what happened in past weeks.
(by on June 15, 2015 in Internet – Last Update: June 15, 2015)
What may be even more troubling for Sourceforge is that uBlock — and all of its spin-offs and forks — is now blocking access to the site by default.
The software project hosting website Sourceforge started to offer a new monetization option to projects hosted on the site in mid-2013 when it introduced install-wrappers which enabled projects to add third-party offers to installers on Windows to earn revenue from software installations. Continue reading
Health data is some of the most private data you have. That a data reveals a lot about you. There’s a reason that we have laws like HIPAA—unfortunately those don’t apply here,” Quintin said. HIPAA is the Health Insurance Portability and Accountability Act of 1996, and it forces the government and doctors to keep patient medical records secure and confidential. It has no jurisdiction over search engine companies or data brokers who sap data “volunteered” by users.”
So, if you find yourself or your child pictured on one of our mugs, send a message to email@example.com. We’ll promptly remove the mug from our website. However, we urge you to take matters into your own hands and customize your privacy settings according to your expectations. And, if this is not possible, ask Flickr or other Web companies to make that happen.
According to the industry group Code.org, computing jobs will more than double by 2020, to 1.4 million. If women continue to leave the field, an already dire shortage of qualified tech workers will grow worse. [Read more…]