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?

Plenty of journalists are expressing faux-solidarity and misguided support for Gawker. But to an impartial observer it should be self-evident that both Gawker and Breitbart share a sensibility of depravity and anger.

Though President Obama rejected the “Global War on Terror” label in favor of the anodyne “overseas contingency operations,” the conflict remains global, and it remains a war. No one even claims that the bombs we’re dropping over Syria are “smart.” And no one except the grieving families even try to count those they kill.

“A Vision for Black Lives” is a plan for ending structural racism, saving the planet, and transforming the entire nation—not just black lives.