Daniel Jackson - Software Abstractions: Logic, Language, and Analysis
Published: 2012-02 | ISBN: 0262017156 | PDF | 376 pages | 2.05 MB
In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach--which Jackson calls "lightweight formal methods" or "agile modeling"--takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback. Jackson has developed Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions. This revised edition updates the text, examples, and appendixes to be fully compatible with the latest version of Alloy (Alloy 4).
Daniel Kitson - some stand-up and radio stuff
English | MP3 | Collection | 1.5 Gb
In 2006, Kitson began presenting his own weekly music-based radio show called The Listening Club. The show, broadcast live 1am to 4am on Monday nights / Tuesday mornings from London's community arts radio station Resonance FM, mainly involves music from his own collection (some played directly from his iPod), and occasional clips of stand up comedy. In between tracks he talks about the music, tells anecdotes, and responds to the SMS text messages and e-mails that are sent in throughout the show. There were six shows in the original January / February 2006 run, with further installments in October 2006 and February 2007.
Thinking, Fast and Slow by Daniel Kahneman Audiobooks
English | MP3/64Kbps | Collection | 553 Mb
Daniel Kahneman, recipient of the Nobel Prize in Economic Sciences for his seminal work in psychology that challenged the rational model of judgment and decision making, is one of our most important thinkers. His ideas have had a profound and widely regarded impact on many fields—including economics, medicine, and politics—but until now, he has never brought together his many years of research and thinking in one book.
The Dragon's Path by Daniel Abraham
English | Publisher: Orbit; 1 edition (April 7, 2011) | ISBN-10: 0316080683 | MP3 128Kbps | 720.05 MB
All paths lead to war...
Marcus' hero days are behind him. He knows too well that even the smallest war still means somebody's death. When his men are impressed into a doomed army, staying out of a battle he wants no part of requires some unorthodox steps.
Philosophy of Mind - Dennett, Daniel - Consciousness Explained
English | Publisher: Back Bay Books; 1 edition (October 20, 1992) | ISBN-10: 0316180661 | 2010 | 528 pages | PDF | 210.13 MB
Consciousness is notoriously difficult to explain. On one hand, there are facts about conscious experience--the way clarinets sound, the way lemonade tastes--that we know subjectively, from the inside. On the other hand, such facts are not readily accommodated in the objective world described by science. How, after all, could the reediness of clarinets or the tartness of lemonade be predicted in advance? Central to Daniel C. Dennett's attempt to resolve this dilemma is the "heterophenomenological" method, which treats reports of introspection nontraditionally--not as evidence to be used in explaining consciousness, but as data to be explained.
Daniel H. Wilson Audio Books
English | Publisher: Daniel H. Wilson | ISBN: N/a | MP3 64Kbps | 1.89 GB
How do you spot a robot mimicking a human? How do you recognize and deactivate a rebel servant robot? How do you escape a murderous “smart” house, or evade a swarm of marauding robotic flies? In this dryly hilarious survival guide, roboticist Daniel H. Wilson teaches worried humans the secrets to quashing a robot mutiny.
Daniel Hecht - Puppets & Skull Session
English | Publisher: Daniel Hecht | ISBN: N/a | MP3 128Kbps | 2.15 GB
Puppets (Jason Collins)
The New Jersey State Police had started calling him Howdy Doody, after the famous TV puppet of the 1950s. Three people had been killed in northern New Jersey, then three in Manhattan, and another in the Bronx, in a 13-month period. All of them were found hung up with strings attached to their limbs, like puppets. Finally the murderer was caught in New York City. But several months later, State Police detective Mo Ford finds another victim, killed and arranged in exactly the same way.
Daniel Kraus - Rotters
English | Publisher: Delacorte Books for Young Readers (April 5, 2011) | ISBN-10: 0385738579 | MP3 64Kbps | 448.10 MB
Grave-robbing. What kind of monster would do such a thing? It's true that Leonardo da Vinci did it, Shakespeare wrote about it, and the resurrection men of nineteenth-century Scotland practically made it an art. But none of this matters to Joey Crouch, a sixteen-year-old straight-A student living in Chicago with his single mom. For the most part, Joey's life is about playing the trumpet and avoiding the daily humiliations of high school.
George Eliot - Daniel Deronda
English | Publisher: Neeland Media LLC (December 11, 2009) | ASIN: B0030HKYMO | MP3 128Kbps | 154.39 MB
George Eliot was considered one of the greatest writers of the Victorian era and in this classic 1876 work, the last that she had completed, we find the only novel set in that era. "Daniel Deronda" begins by exploring the romantic relationship of its title character with Gwendolen Harleth and then through two separate flashbacks explores the history of the two characters.
