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."

Courts are scrambling to rule on state election laws in time for the elections being held later this year.

No other presidential candidate has had such an extensive and publicly known record of business deals with mob associates—and of making false and contradictory statements to keep these dirty connections from becoming a major campaign controversy.

Anyone even remotely familiar with Morris’s life and work will understand why it’s a little shocking that the Royal Navy has used his prints in nuclear submarines. A well-known leftist, Morris became highly critical of Britain’s imperialist ambitions during the 1880s and actively campaigned as a communist, speaking at demonstrations and rallies across the country.

Corporations are stashing billions of dollars offshore to avoid paying taxes.

The candidate’s appearance on Zach Galifianakis’s satirical chat show was the funniest of her career.

Tennessee’s infamous anti-union union is fading away for lack of members. Will Volkswagen’s rationale for keeping out a real union crumble with it?

On Tuesday, Judge Nelva Gonzales Ramos, the judge overseeing this case, weighed in on Texas' defiance of the court order. And, if the order she issued on Tuesday is any indication, she's pissed.

The Clean Energy Future will provide many new jobs for each that is lost. There will, however, be fewer jobs in coal, oil, and gas extraction and burning and in nuclear energy. For example, there will be about 100,000 fewer jobs each year in mining and extraction compared to the business-as-usual scenario. The report calls for a "just transition" for the workers who hold those jobs, including "assistance in training and placement in new jobs, or retirement with dignity."

I want simply to draw attention to how insistence on reducing discussion of killings of civilians by police to a matter of racism clouds understanding of and possibilities for effective response to the deep sources of the phenomenon.