pimg src="http://www.gamasutra.com/db_area/images/news2001/21351/banjokazooiebogb.jpg" align="left" hspace="5"/[Every week, Gamasutra sister weblog GamerBytes' editor Ryan Langley passes along the top console digital download news tidbits from the past 7 days, including brand new game announcements and scoops through the world of Xbox Live Arcade, PlayStation Network and WiiWare.] For digital console downloads, this was a slow week for all concerned. But it's to be expected - we're right at the beginning of December. GamerBytes' pick of the week would be Banjo Kazooie .../pdiv class="feedflare" a href="http://feeds.feedburner.com/~f/GamasutraNews?a=LHRMO"img src="http://feeds.feedburner.com/~f/GamasutraNews?i=LHRMO" border="0"/img/a a href="http://feeds.feedburner.com/~f/GamasutraNews?a=zzdCO"img src="http://feeds.feedburner.com/~f/GamasutraNews?i=zzdCO" border="0"/img/a a href="http://feeds.feedburner.com/~f/GamasutraNews?a=ZinfO"img src="http://feeds.feedburner.com/~f/GamasutraNews?i=ZinfO" border="0"/img/a /divimg src="http://feeds.feedburner.com/~r/GamasutraNews/~4/474705965" height="1" width="1"/

The Book of Eli had me halfway when they cast Gary Oldman -- but they got a guaranteed ticket sale from me when they cast Ray Stevenson. I'm disappointed that he's playing another badass assassin type, but hey, at least I'll believe he could kick Denzel Washington's ass.

The plot description has been incredibly dry thus far -- a man named Eli protects a book that may be humanity's salvation, Oldman is the despotic mayor of a struggling town, Mila Kunis is an assassin sent to kill Eli, but who ends up joining him. But we have a little more, courtesy of its newest cast member. Stevenson sat down with Reelz Channel, and shed a little more light on the bleak future this film will inhabit. "The world in which it is set is completely uncompromising. The most precious commodity is actually water, because virtually all of the water is poison, toxic -- whether it's due to eruptions from the earth or the poisons in the sky. These very basic things are what drives human nature down to almost animalistic qualities. But what still separates us from the animals?"

Hmmm. Shades of Waterworld, a threat that looms over every post-apocalyptic film not titled The Road. There's never an in between when it comes to this genre ... you either end up with something cool and Max Maxish, or you end up with The Postman. Let's keep hoping for the best, though. The film begins shooting in February, and has a release date of January 15, 2010.

Filed under: Action, Sci-Fi & Fantasy, Thrillers, Casting, Warner Brothers, Scripts, Newsstand, War

Permalink | Email this | Comments

p Formal proofs, especially in support of Mathematics, is not something that I work with - (I use a lot of intuition in analyzing my code). I found that the articles from The American Mathematical Society a href='http://www.ams.org/notices/200811/'A Special Issue on Formal Proof/a are fairly good introductions to the subject of using Proof Assistants in a href='http://www.cs.ru.nl/~freek/100/'Formalizing 100 Math Theorems/a./p blockquote p Traditional mathematical proofs are written in a way to make them easily understood by mathematicians. Routine logical steps are omitted. An enormous amount of context is assumed on the part of the reader. Proofs, especially in topology and geometry, rely on intuitive arguments in situations where a trained mathematician would be capable of translating those intuitive arguments into a more rigorous argument./p p A formal proof is a proof in which every logical inference has been checked all the way back to the fundamental axioms of mathematics. All the intermediate logical steps are supplied, without exception. No appeal is made to intuition, even if the translation from intuition to logic is routine. Thus, a formal proof is less intuitive, and yet less susceptible to logical errors./blockquote Though the articles are focused on the application to mathematical proofs, they do give a background on languages that are continually mentioned on LtU (HOL, Coq, Isabelle, etc...)./p

The chief executives of General Motors and Ford expressed remorse for having to beg the American taxpayer for a $34 billion ($£23 billion) handout and insisted that they were learning from their mistakes.

Interest rates tumbled across Europe and the world yesterday as leading central banks moved to try to limit the ravages of a looming global recession.

Woolworths will hold its biggest sale today after Theo Paphitis, the Dragons' Den entrepreneur, walked away from a bid for the collapsed retail chain.

Visitors who had paid up to £30 each for tickets to a “Christmas Wonderland” in the New Forest were turned away yesterday by a woman shrieking: “Santa's dead.”

Cash-strapped Americans flocked to Wal-Mart to kick off their Christmas buying last month, shunning many other stores amid the worst shopping season for 28 years.

Banks and building societies will be required to hold tens of billions of pounds more in highly liquid government bonds to ensure they are better equipped to withstand future panics by depositors.

A leading UK law firm has paid its partners £12 million in profits ahead of schedule because it believes that the money will be safer in private rather than corporate bank accounts.

Click to find out more about The Times Charity Appeal

The economy is plunging deeper into recession despite emergency tax cuts and the multibillion-pound bank bailout, the Bank of England said yesterday.

The Army was mobilised yesterday to rescue stricken drivers as heavy snow and high winds wreaked havoc on motorways, cut power to 15,000 homes and caused more than 300 schools to close across Scotland and northern England.

The economy is plunging deeper into recession despite emergency tax cuts and the multibillion-pound bank bailout, the Bank of England said yesterday.

A restless Prince who is confused about his purpose in life seeks fulfillment in the military only to find that his commanding officers refuse to let him anywhere near the fighting.

What hope is there for Shannon Matthews and the broken children of Dewsbury Moor? To jaded observers of life on this most bleak and wind-swept of northern council estates, the path to adult dysfunction seems soul-deadeningly inevitable.

Jack Clark used to go poaching in the fields that are now occupied by the world’s busiest international airport.

Crossrail, the scheme to build main line rail tunnels under Central London, edged closer to construction yesterday when the City of London pledged £250 million towards the £16 billion cost.

The first sign of a government retreat on airport expansion came yesterday with the announcement that a decision on whether to build a new runway at Heathrow would be delayed until the end of January.

A culture of gambling, moonlighting and drinking exists in the Metropolitan police squad responsible for protecting the Queen, according to court documents filed by a former royal protection officer.

Derwentwater The rare netted carpet moth has been re-established at a site after nine years, with a little help from some cows, the National Trust said. The moth is entirely dependent on a scarce plant, touch-me-not balsam, and the trust is working with a local farmer to introduce controlled winter grazing, which reduces the balsam’s competitors. The cows also help to transmit balsam seeds on their hooves. “As a result, the moth population is now more robust and able to weather natural fluctuations,” a trust official said. The technique was first used successfully at Coniston Water, and carpet moth larvae have been brought in from there.

London Patients are being encouraged to post candid online reviews of the successes and failings of NHS care in an attempt to improve standards. The Government has asked Sir Michael Parkinson, the chat-show host, to act as an ambassador for its “dignity in care” campaign to establish how well hospitals throughout England look after patients, in particular elderly people. Ministers say they want to know if patients were treated with dignity and respect, about cleanliness and the nature of staff teamwork. Comments should be posted on the NHS Choices website, www.nhs.uk.

Shannon Matthews was kidnapped after social workers dropped her from the child protection register because they decided that she was no longer at risk of harm.

J. K. Rowling has returned to sprinkle much-needed magic over Christmas book sales. Year-on-year book sales registered a decline for the first time in seven years last week and a report from the Booksellers Association in November cautioned that its British members were locked in a “vicious circle” of discounting, shrinking growth and smaller profits.

London Jewellery that belonged to the Hollywood star Deborah Kerr sold for £50,160 at auction yesterday.

As the largest ocean liner in the world, with 13 decks of luxury facilities and a ticket to exotic destinations, life aboard the Queen Mary 2 was never going to be plain sailing.

For more than 50 years the film studios have sweated over how to bring the silver screen to the viewing public in three dimensions.