jbza

I don't see why we can't move fast and get it right. My idea is to use formal methods to have verified communication protocols and plane operations. While we are at it, we might as well get rid of pilots as well.

Still a humongous undertaking, don't get me wrong. But at least it is a 5 year plan versus a 20-30 year plan which is the current thought plan as I see it.

Location : Iowa, US

Remote : Yes

Willing to relocate : Yes

Technologies : OCaml, Java

Resume : contact me

Email : jbodeen12 [at] gmail.com

Looking for an entry level position in back-end / algorithmic development.

I can't help but wonder if the fate of Internet infrastructure will follow that of transport infrastructure (Build-operate-transfer : http://en.wikipedia.org/wiki/Build-operate-transfer)

Based off history, it seems that private ownership of common property is doomed to fail.

I lived in Shanghai for a brief period a few years ago, and there were protected lanes everywhere. It was utilized by both bikers as well as scooters. When it comes to managing loads of people, I'd imagine the Chinese have quite a bit of insight.

That guy is a maniac. Much of the stuff that he was ranting off about are textbook examples of why functional programming and imperative programming ought to be separated from each other