Viewing profile — 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…

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

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

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

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…