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…
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…
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
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…
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…
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