Hugh Pickens writes writes: "Adam Nagourney reports that after a yearlong investigation a team of climate scientists announced that it is throwing out a reading of 136.4 degrees claimed by the city of Al Aziziyah, Libya on Sept. 13, 1922 making the 134-degree reading registered on July 10, 1913, at Greenland Ranch in Death Valley the official world record as the hottest place on earth. “It’s about time for science, but I think we all knew it was coming,” says Randy Banis. “You don’t underestimate Death Valley. Most of us enthusiasts are proud that the extremes that we have known about at Death Valley are indeed the most harsh on earth.” The final report by 13 climatologists appointed by the World Meteorological Organization, the climate agency of the United Nations, found five reasons to disqualify the Libya claim, including questionable instruments, an inexperienced observer who made the reading and the fact that the reading was anomalous for that region and in the context of other temperatures reported in Libya that day. “The more we looked at it, the more obvious it appeared to be an error,” says Christopher C. Burt, a meteorologist with Weather Underground who started the debate in a blog post in 2010. For the record, Burt says he also has issues with the Death Valley claim of 134 degrees, and suspects it may be wrong. “It’s anomalous, even for Death Valley,” Burt says. But no matter. Even if 134-Death Valley goes the way of 136.4-Libya, the temperature has most assuredly reached 129 degrees in Furnace Creek at least three times, and 129 is just as much a world record as 134. “Death Valley would still win, so to speak, even if the 134 was erroneous.""
egrep patterns are full regular expressions; it uses a fast deterministic
algorithm that sometimes needs exponential space.
-- unix manuals