jbza

4 ms·

1. 1.▲
   by jbza 12y ago

   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
2. 2.▲
   by jbza 12y ago

   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.
3. 3.▲
   by jbza 12y ago

   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 seem
4. 4.▲
   by jbza 12y ago

   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
5. 5.▲
   by jbza 12y ago

   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