Halting State

Halting State
Author: Charles Stross
Publisher: Penguin
Total Pages: 376
Release: 2007-10-02
Genre: Fiction
ISBN: 1101208791

“Halting State [is] a near-future story that is at once over-the-top and compellingly believable.” – Vernor Vinge, author of Rainbows End In the year 2018, Sergeant Sue Smith of the Edinburgh constabulary is called in on a special case. A daring bank robbery has taken place at Hayek Associates—a dot-com start-up company that’s just floated onto the London stock exchange. But this crime may be a bit beyond Smith’s expertise. The prime suspects are a band of marauding orcs with a dragon in tow for fire support. The bank is located within the virtual reality land of Avalon Four, and the robbery was supposed to be impossible. When word gets out, Hayek Associates and all its virtual “economies” are going to crash hard. For Smith, the investigation seems pointless. But the deeper she digs, the bigger the case gets. There are powerful players—both real and pixelated—who are watching her every move. Because there is far more at stake than just some game-head’s fantasy financial security…

Halting State

Halting State
Author: Charles Stross
Publisher: Penguin
Total Pages: 376
Release: 2007
Genre: Fiction
ISBN: 9780441014989

STROSS/HALTING STATE

Rule 34

Rule 34
Author: Charles Stross
Publisher: Penguin
Total Pages: 352
Release: 2011-07-05
Genre: Fiction
ISBN: 110151664X

Meet Edinburgh Detective Inspector Liz Kavanaugh, head of the Innovative Crimes Investigation Unit, otherwise known as the Rule 34 Squad. They monitor the Internet for potential criminal activity, analyzing trends in the extreme fringes of explicit content. And occasionally, even more disturbing patterns arise… Three ex-cons have been murdered in Germany, Italy, and Scotland. The only things they had in common were arrests for spamming—and a taste for unorthodox entertainment. As the first officer on the scene of the most recent death, Liz finds herself sucked into an international investigation that isn’t so much asking who the killer is, but what—and if she doesn't find the answer soon, the homicides could go viral.

Enemy of the State

Enemy of the State
Author: Vince Flynn
Publisher: Simon and Schuster
Total Pages: 400
Release: 2017-09-05
Genre: Fiction
ISBN: 1476783543

“In the world of black-op thrillers, Mitch Rapp continues to be among the best of the best” (Booklist, starred review), and he returns in the #1 New York Times bestselling series alone and targeted by a country that is supposed to be one of America’s closest allies. After 9/11, the United States made one of the most secretive and dangerous deals in its history—the evidence against the powerful Saudis who coordinated the attack would be buried and in return, King Faisal would promise to keep the oil flowing and deal with the conspirators in his midst. But when the king’s own nephew is discovered funding ISIS, the furious President gives Rapp his next mission: he must find out more about the high-level Saudis involved in the scheme and kill them. The catch? Rapp will get no support from the United States. Forced to make a decision that will change his life forever, Rapp quits the CIA and assembles a group of independent contractors to help him complete the mission. They’ve barely begun unraveling the connections between the Saudi government and ISIS when the brilliant new head of the intelligence directorate discovers their efforts. With Rapp getting too close, he threatens to go public with the details of the post-9/11 agreement between the two countries. Facing an international incident that could end his political career, the President orders America’s intelligence agencies to join the Saudis’ effort to hunt the former CIA man down. Rapp, supported only by a team of mercenaries with dubious allegiances, finds himself at the center of the most elaborate manhunt in history. With white-knuckled twists and turns leading to “an explosive climax” (Publishers Weekly), Enemy of the State is an unputdownable thrill ride that will keep you guessing until the final page.

Nanny State

Nanny State
Author: David Harsanyi
Publisher: Crown
Total Pages: 306
Release: 2007-09-18
Genre: Social Science
ISBN: 0767928458

When did we lose our right to be lazy, unhealthy, and politically incorrect? Move over Big Brother! An insidious new group has inserted itself into American politics. They are the nannies—not the stroller-pushing set but an invasive band of do-gooders who are subtly and steadily stripping us of our liberties, robbing us of the inalienable right to make our own decisions, and turning America into a nation of children. As you read this, countless busybodies across the nation are rolling up their sleeves to do the work of straightening out your life. Certain Massachusetts towns have banned school-yard tag. San Francisco has passed laws regulating the amount of water you should use in dog bowls. The mayor of New York City has french fries and doughnuts in his sights. In some parts of California, smoking is prohibited . . . outside. The government, under pressure from the nanny minority, is twisting the public’s arm into obedience. Playground police, food fascists, anti-porn crusaders —whether they're legislating morality or wellbeing—nannies are popping up all over America. In the name of health, safety, decency, and—shudder—good intentions, these ever-vigilant politicians and social activists are dictating what we eat, where we smoke, what we watch and read, and whom we marry. Why do bureaucrats think they know what's better for us than we do? And are they selectively legislating in the name of political expediency? For instance, why do we ban mini-motorbikes, responsible for five deaths each year, and not skiing, which accounts for fifty deaths each year? Why is medical marijuana, a substance yet to claim a single life, banned and not aspirin, which accounts for about 7,600 deaths? Exhaustively researched, sharply observed, and refreshingly lucid, Nanny Sate looks at the myriad ways we are turning the United States into a soulless and staid nation—eroding not only our personal freedoms but our national character.

To Halt Or Not To Halt? That Is The Question

To Halt Or Not To Halt? That Is The Question
Author: Cristian S Calude
Publisher: World Scientific
Total Pages: 332
Release: 2024-03-20
Genre: Computers
ISBN: 9811232296

This is a book about the 'Halting Problem', arguably the most (in)famous computer-related problem: can an algorithm decide in finite time whether an arbitrary computer program eventually stops? This seems a dull, petty question: after all, you run the program and wait till it stops. However, what if the program does not stop in a reasonable time, a week, a year, or a decade? Can you infer that it will never stop? The answer is negative. Does this raise your interest? If not, consider these questions: Can mathematics be done by computers only? Can software testing be fully automated? Can you write an anti-virus program which never needs any updates? Can we make the Internet perfectly secure? Your guess is correct: the answer to each question is negative. The Halting Problem is 'hidden' in many subjects, from logic (is mathematics free of contradictions?), physics (is quantum randomness perfect?), to philosophy (do humans have free will, or do our brains generate our thoughts and decisions in a deterministic way?) and quantum computing (why we don't have a quantum Halting Problem?) — this book will visit each of them.Written in an informal and thought-provoking language, supported with suggestive illustrations and applications and almost free of arcane mathematics (formal arguments are relegated to particular parts dedicated to the mathematically-oriented reader), the book will stimulate the curiosity and participation of the reader interested in the consequences of the limits of computing and in various attempts to cope with them.

Theory and Applications of Models of Computation

Theory and Applications of Models of Computation
Author: Jin-Yi Cai
Publisher: Springer
Total Pages: 784
Release: 2007-07-23
Genre: Computers
ISBN: 3540725040

This book constitutes the refereed proceedings of the 4th International Conference on Theory and Applications of Models of Computation, TAMC 2007, held in Shanghai, China in May 2007. It addresses all major areas in computer science; mathematics, especially logic; and the physical sciences, particularly with regard to computation and computability theory. The papers particularly focus on algorithms, complexity and computability theory.

Freeze!

Freeze!
Author: Henry Richard Maar III
Publisher: Cornell University Press
Total Pages: 300
Release: 2022-01-15
Genre: History
ISBN: 1501760890

In Freeze!, Henry Richard Maar III chronicles the rise of the transformative and transnational Nuclear Weapons Freeze Campaign. Amid an escalating Cold War that pitted the nuclear arsenal of the United States against that of the Soviet Union, the grassroots peace movement emerged sweeping the nation and uniting people around the world. The solution for the arms race that the Campaign proposed: a bilateral freeze on the building, testing, and deployment of nuclear weapons on the part of two superpowers of the US and the USSR. That simple but powerful proposition stirred popular sentiment and provoked protest in the streets and on screen from New York City to London to Berlin. Movie stars and scholars, bishops and reverends, governors and congress members, and, ultimately, US President Reagan and General Secretary Gorbachev took a stand for or against the Freeze proposal. With the Reagan administration so openly discussing the prospect of winnable and survivable nuclear warfare like never before, the Freeze movement forcefully translated decades of private fears into public action. Drawing upon extensive archival research in recently declassified materials, Maar illuminates how the Freeze campaign demonstrated the power and importance of grassroots peace activism in all levels of society. The Freeze movement played an instrumental role in shaping public opinion and American politics, helping establish the conditions that would bring the Cold War to an end.

ECAI 2010

ECAI 2010
Author: European Coordinating Committee for Artificial Intelligence
Publisher: IOS Press
Total Pages: 1184
Release: 2010
Genre: Computers
ISBN: 160750605X

LC copy bound in 2 v.: v. 1, p. 1-509; v. 2, p. [509]-1153.

The Complete Diabetes Prevention Plan

The Complete Diabetes Prevention Plan
Author: Sandra Woodruff
Publisher: Penguin
Total Pages: 289
Release: 2005-08-18
Genre: Health & Fitness
ISBN: 1101099089

The Complete Diabetes Prevention Plan is a guide to halting the development of diabetes. In clear, accessible language, it explains the stages of diabetes and how the disease process can be arrested. It provides dietary guidelines for preventing diabetes, weight-loss tips, and exercise suggestions. In addition, the book features 150 easy and appealing recipes that emphasize good carbs, healthful fats, and controlled calories—all crucial elements in a diabetes-fighting diet.