Portside

Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems. The advances are being used to secure everything from unmanned drones to the internet. However, they're not claiming they are going to prove an entire system is correct, 100 percent reliable in every bit, down to the circuit level. "That’s ridiculous to make those claims."

Just like taxonomists have debated over which physical characteristics warrant a new species designation, they’re conflicted over how much genetic variation you need to prove differentiation.

Bernie Sanders Makes the Case for Hillary Clinton. Snowden. What Is Universal Basic Income? How We See Color. Not What You Think. What Racism Has to Do With the High Cost of College.

A growing body of evidence suggests that chronic pain patients substitute marijuana for prescription painkillers in states where the option is available.

Two degrees above absolute zero was never so hot.

Live From Standing Rock: Protesters Face Down Dogs, Pepper Spray. Donald Trump: I Love War. What the Earth Would Look Like If All the Ice Melted. Trump Challenged Over Ties to Mob-Linked Gambler. Angela Davis Delivers the 17th Steve Biko Memorial Lecture.

Your Dog Understands More Than You Think. The Good Old Days (featuring Donald Trump & the Greensboro 4). What Would It Take To Power The United States With Solar Energy? Georgetown Makes Amends for Profiting From Slavery. Standoff at Standing Rock.