Types considered harmful


Russell introduced what is often viewed as his most original contribution to mathematical logic: his theory of types—which in essence tries to distinguish between sets, sets of sets, etc. by considering them to be of different “types”, and then restricts how they can be combined. I must say that I…

Current reading


Wadler's influential "monads" paper for Haskell. It seems like a classic case of making something simple sound profound and mysterious.  And companion paper by Hughes on "why functional programming matters" . See also some comments above. McCarthy's original LISP paper.  Just terrible. He made a serious error picking Lambda calculus as…

JP Morgan Security Breach


"Faced with the rising threat of online crime, JPMorgan has said it plans to spend $250 million on digital security annually, but had been losing many of its security staff to other banks over the last year, with others expected to leave soon." - New York Times.  Why is it…

Paths versus Recursion


/* * Iterative DepthFirst file list (c) Victor Yodaiken 2013 * * "Not the way we do it in Brooklyn" - Dave "Kinch" Arnow. * * * Data structure is P - the current path, with some aux data * * Two basic operations: * 1) Lp(P) - starts at…

From Jersey to Wall Street – or the equivalent


A common configuration for FSMLabs TimeKeeper customers is to cross-couple time sources in New Jersey and New York City or London and Slough or Chicago and Aurora or Singapore and Sidney- any two trading locations that are connected with high quality network. Sometimes the network connection does not even have to…

Boeing security


So the court said Matthew Neumann and Nicholas Tides were properly fired in 2008 for violating company policy of disclosing company information to the media, in this case the Seattle Post-Intelligencer, without company authorization. In 2007, the PI wrote: “Boeing and its external auditors have rated the company’s inability to patch…

The wizards of finance


“This latest incident and the previous Chuetsu-Oki earthquake indicate that the business risk of operating nuclear power plants in Japan is higher than previously contemplated,” Moody’s analysts including Kenji Okamoto said in a note, putting the company [TEPCO] on a review for a possible downgrade. - Bloomberg. No kidding?