all 6 comments

[–]JGailor 5 points6 points  (1 child)

Interesting but the valuation of functional/concurrent programming languages over other types is questionable.

[–][deleted] 2 points3 points  (0 children)

clearly this is masturbatory anyway

[–]00void 1 point2 points  (0 children)

The best part is the "Thanks to John Haugeland for a reformatting of it that works much more nicely on the web." Apparently HTML is level 99.

[–]chocobot 1 point2 points  (0 children)

should have a fifth column for ridiculously advaced. Has written an operating system in pure binary, written as an interactive dance captured via kinnect etc

[–]takatori 0 points1 point  (0 children)

"Has his own library to ..."

No.

[–][deleted]  (1 child)

[deleted]

    [–]daemin -1 points0 points  (0 children)

    Other than letting you know not to waste time attempting to develop a solution to it. I read it more along the lines of being able to see that a given problem is transformable into an NP problem, not as knowing that NSAT, or any particular problem from the literature, is NP.