…through formal software verification. This seems like sort of a big deal. Particularly in the era of the Internet of Things and self-driving cars. Of course, the weakest link in security will remain the flawed unit between the seat and the keyboard.
Category Archives: Technology and Society
The “Lone Wolf” Lie
Without it, we could have prevented almost every attack.
The New Space Race
An interesting article, from my local paper, about the renaissance of aerospace in southern California in general and the South Bay in particular. Not sure Interorbital should be included in the list, though.
Microsoft’s Cancer Cure
Derek Lowe isn’t impressed.
@Rand_Simberg @Dereklowe @Eaterofsun Maybe they could just install Windows 10 into the tumors?
— Tech_Noir (@LV__666) September 21, 2016
XKCD And Climate
I’m generally a big fan of Randall Monroe, but I thought his latest was a misfire. This is a more accurate take.
Tomorrow’s Mars Hearing
If I were Chris Carberry, I’d be outraged at this, instead of promoting it. None of those people or companies are going to get anyone to Mars. But they’ll spend billions pretending they will.
Do As I Say, Not As I Do
Hillary told State Department employees not to use personal email.
Rules are for the little people.
Coffee Beans
This seems like too much work for me, given that I’ve never had a good cup of coffee (it’s just a matter of to what degree it tastes less awful), but here’s a guide to roasting your own.
How To Make A Spaceship
I just received a review copy of this new book
Elon’s Ambitions
Eric Berger reports that they go far beyond Mars.
He still seems to be a planetary chauvinist, though.