News for hackers. Stuff that matters.
Re:Extreme thinking, by Michael A. Nielsen by narag on Monday July 13, 2009 @06:48AM (#701446)
Sorry, but I still think that checking what a very old person is drinking is stupid, no matter how much notation you add to it.
Re:Extreme thinking, by Michael A. Nielsen by mbrubeck on Monday July 13, 2009 @10:00AM (#701690)
Yes, that's the point. The bouncer doesn't need to check the old man, and the card player doesn't need to check the third card.

This is obvious when given the bar context, but less obvious when the same set of rules is taken out of any human context.