Book picks similar to
Mechanizing Proof: Computing, Risk, and Trust by Donald Angus MacKenzie
computer-science
history
tech
philosophy
Rage Inside the Machine: The Prejudice of Algorithms, and How to Stop the Internet Making Bigots of Us All
Robert Elliott Smith - 2019
Frighteningly often, the influence of technology in and on our lives goes completely unchallenged by citizens and governments. We comfort ourselves with the soothing refrain that technology has no morals and can display no prejudice, and it's only the users of technology who distort certain aspects of it.But is this statement actually true? Dr Robert Smith thinks it is dangerously untrue in the modern era.Having worked in the field of artificial intelligence for over 30 years, Smith reveals the mounting evidence that the mechanical actors in our lives do indeed have, or at least express, morals: they're just not the morals of the progressive modern society that we imagined we were moving towards. Instead, as we are just beginning to see – in the US elections and Brexit to name but a few – there are increasing incidences of machine bigotry, greed and the crass manipulation of our basest instincts.It is easy to assume that these are the result of programmer prejudices or the product of dark forces manipulating the masses through the network of the Internet. But what if there is something more fundamental and explicitly mechanical at play, something inherent within technology itself?This book demonstrates how non-scientific ideas have been encoded deep into our technological infrastructure. Offering a rigorous, fresh perspective on how technology has brought us to this place, Rage Inside the Machine challenges the long-held assumption that technology is an apolitical and amoral force. Shedding light on little-known historical stories and investigating the complex connections between scientific philosophy, institutional prejudice and new technology, this book offers a new, honest and more truly scientific vision of ourselves.
The Signal and the Noise: Why So Many Predictions Fail—But Some Don't
Nate Silver - 2012
He solidified his standing as the nation's foremost political forecaster with his near perfect prediction of the 2012 election. Silver is the founder and editor in chief of FiveThirtyEight.com. Drawing on his own groundbreaking work, Silver examines the world of prediction, investigating how we can distinguish a true signal from a universe of noisy data. Most predictions fail, often at great cost to society, because most of us have a poor understanding of probability and uncertainty. Both experts and laypeople mistake more confident predictions for more accurate ones. But overconfidence is often the reason for failure. If our appreciation of uncertainty improves, our predictions can get better too. This is the "prediction paradox": The more humility we have about our ability to make predictions, the more successful we can be in planning for the future.In keeping with his own aim to seek truth from data, Silver visits the most successful forecasters in a range of areas, from hurricanes to baseball, from the poker table to the stock market, from Capitol Hill to the NBA. He explains and evaluates how these forecasters think and what bonds they share. What lies behind their success? Are they good-or just lucky? What patterns have they unraveled? And are their forecasts really right? He explores unanticipated commonalities and exposes unexpected juxtapositions. And sometimes, it is not so much how good a prediction is in an absolute sense that matters but how good it is relative to the competition. In other cases, prediction is still a very rudimentary-and dangerous-science.Silver observes that the most accurate forecasters tend to have a superior command of probability, and they tend to be both humble and hardworking. They distinguish the predictable from the unpredictable, and they notice a thousand little details that lead them closer to the truth. Because of their appreciation of probability, they can distinguish the signal from the noise.
On the Edge: The Spectacular Rise and Fall of Commodore
Brian Bagnall - 2005
Before Apple, IBM, or Dell, Commodore was the first computer maker to market its machines to the public, selling an estimated 22 million Commodore 64s. These halcyon days were tumultuous, however, owing to the expectations and unsparing tactics of founder Jack Tramiel. Engineers and managers with the company between 1976 and 1994 share their experiences of the groundbreaking moments, soaring business highs, and stunning employee turnover that came along with being on top of the PC world in the early days.
A Bug Hunter's Diary: A Guided Tour Through the Wilds of Software Security
Tobias Klein - 2011
In this one-of-a-kind account, you'll see how the developers responsible for these flaws patched the bugs—or failed to respond at all. As you follow Klein on his journey, you'll gain deep technical knowledge and insight into how hackers approach difficult problems and experience the true joys (and frustrations) of bug hunting.Along the way you'll learn how to:Use field-tested techniques to find bugs, like identifying and tracing user input data and reverse engineering Exploit vulnerabilities like NULL pointer dereferences, buffer overflows, and type conversion flaws Develop proof of concept code that verifies the security flaw Report bugs to vendors or third party brokersA Bug Hunter's Diary is packed with real-world examples of vulnerable code and the custom programs used to find and test bugs. Whether you're hunting bugs for fun, for profit, or to make the world a safer place, you'll learn valuable new skills by looking over the shoulder of a professional bug hunter in action.
The Necessity of Atheism
David Marshall Brooks - 1933
And all religious beliefs are "crutches" hindering the free locomotive efforts of an advancing humanity. There are no problems related to human progress and happiness in this age which any theology can solve, and which the teachings of freethought cannot do better and without the aid of encumbrances.
Multiple View Geometry in Computer Vision
Richard Hartley - 2000
This book covers relevant geometric principles and how to represent objects algebraically so they can be computed and applied. Recent major developments in the theory and practice of scene reconstruction are described in detail in a unified framework. Richard Hartley and Andrew Zisserman provide comprehensive background material and explain how to apply the methods and implement the algorithms. First Edition HB (2000): 0-521-62304-9
Show Stopper!: The Breakneck Race to Create Windows NT and the Next Generation at Microsoft
G. Pascal Zachary - 1994
Describes the five-year, 150 million dollar project Microsoft undertook to develop an advanced PC operating system.
Why Truth Matters
Ophelia Benson - 2006
Yet in the late twentieth century truth became suddenly rather unfashionable. The precedence given to assorted political and ideological agendas, along with the rise of relativism, postmodernism and pseudoscience in academia, led to a decline both of truth as a serious subject, and an intellectual tradition that began with the Enlightenment.Why Truth Matters is a timely, incisive and entertaining look at how and why modern thought and culture lost sight of the importance of truth. It is also an eloquent and inspiring argument for restoring truth to its rightful place. Jeremy Stangroom and Ophelia Benson, editors of the successful butterfliesandwheels website—itself established to "fight fashionable nonsense"—identify and debunk such senselessness, and the spurious claims made for it, in all its forms. Their account ranges over religious fundamentalism, Holocaust denial, the challenges of postmodernism and deconstruction, the wilful misinterpretation of evolutionary biology, identity politics and wishful thinking.Why Truth Matters is both a rallying cry for the Enlightenment vision and an essential read for anyone who's ever been bored, frustrated, bewildered or plain enraged by the worst excesses of the fashionable intelligentsia.
Graph Theory With Applications To Engineering And Computer Science
Narsingh Deo - 2004
GRAPH THEORY WITH APPLICATIONS TO ENGINEERING AND COMPUTER SCIENCE-PHI-DEO, NARSINGH-1979-EDN-1
You Look Like a Thing and I Love You: How Artificial Intelligence Works and Why It's Making the World a Weirder Place
Janelle Shane - 2019
according to an artificial intelligence trained by scientist Janelle Shane, creator of the popular blog "AI Weirdness." She creates silly AIs that learn how to name paint colors, create the best recipes, and even flirt (badly) with humans--all to understand the technology that governs so much of our daily lives.We rely on AI every day for recommendations, for translations, and to put cat ears on our selfie videos. We also trust AI with matters of life and death, on the road and in our hospitals. But how smart is AI really, and how does it solve problems, understand humans, and even drive self-driving cars?Shane delivers the answers to every AI question you've ever asked, and some you definitely haven't--like, how can a computer design the perfect sandwich? What does robot-generated Harry Potter fan-fiction look like? And is the world's best Halloween costume really "Vampire Hog Bride"?In this smart, often hilarious introduction to the most interesting science of our time, Shane shows how these programs learn, fail, and adapt--and how they reflect the best and worst of humanity. You Look Like a Thing and I Love You is the perfect book for anyone curious about what the robots in our lives are thinking.
Computer: A History of the Information Machine
Martin Campbell-Kelly - 1996
Old-fashioned entrepreneurship combined with scientific know-how inspired now famous computer engineers to create the technology that became IBM. Wartime needs drove the giant ENIAC, the first fully electronic computer. Later, the PC enabled modes of computing that liberated people from room-sized, mainframe computers. This second edition now extends beyond the development of Microsoft Windows and the Internet, to include open source operating systems like Linux, and the rise again and fall and potential rise of the dot.com industries.
The Hundred-Page Machine Learning Book
Andriy Burkov - 2019
During that week, you will learn almost everything modern machine learning has to offer. The author and other practitioners have spent years learning these concepts.Companion wiki — the book has a continuously updated wiki that extends some book chapters with additional information: Q&A, code snippets, further reading, tools, and other relevant resources.Flexible price and formats — choose from a variety of formats and price options: Kindle, hardcover, paperback, EPUB, PDF. If you buy an EPUB or a PDF, you decide the price you pay!Read first, buy later — download book chapters for free, read them and share with your friends and colleagues. Only if you liked the book or found it useful in your work, study or business, then buy it.
Moral Mazes: The World of Corporate Managers
Robert Jackall - 1988
Based on extensive interviews with managers at every level of two industrial firms and of a large public relations agency, Moral Mazes takes the reader inside the intricate world of the corporation. Jackall reveals a world where hard work does not necessarily lead to success, but where sharp talk, self-promotion, powerful patrons, and sheer luck might. Cheerfully-bland public faces mask intense competition in this world where people hide their intentions, and accountability often depends on the ability to outrun mistakes. In this topsy-turvy world, managers must bring often unforgiving technology and always difficult people together to make money, an uncompromising task demanding continual compromises with conventional truths. Moral questions become merely practical concerns and issues of public relations. Sooner or later, managers find themselves wondering how to act in such a world and still maintain a sense of personal integrity. This brilliant, sometimes disturbing, often wildly funny study of corporate thinking, decision-making, and morality presents compelling real life stories of the men and women charged with running the businesses of America. It will interest anyone concerned with how big organizations actually function, or with the current moral malaise in our public life.
The New Media Reader [With CDROM]
Noah Wardrip-Fruin - 2003
General introductions by Janet Murray and Lev Manovich, along with short introductions to each of the texts, place the works in their historical context and explain their significance. The texts were originally published between World War II--when digital computing, cybernetic feedback, and early notions of hypertext and the Internet first appeared--and the emergence of the World Wide Web--when they entered the mainstream of public life.The texts are by computer scientists, artists, architects, literary writers, interface designers, cultural critics, and individuals working across disciplines. The contributors include (chronologically) Jorge Luis Borges, Vannevar Bush, Alan Turing, Ivan Sutherland, William S. Burroughs, Ted Nelson, Italo Calvino, Marshall McLuhan, Billy Kl?Jean Baudrillard, Nicholas Negroponte, Alan Kay, Bill Viola, Sherry Turkle, Richard Stallman, Brenda Laurel, Langdon Winner, Robert Coover, and Tim Berners-Lee. The CD accompanying the book contains examples of early games, digital art, independent literary efforts, software created at universities, and home-computer commercial software. Also on the CD is digitized video, documenting new media programs and artwork for which no operational version exists. One example is a video record of Douglas Engelbart's first presentation of the mouse, word processor, hyperlink, computer-supported cooperative work, video conferencing, and the dividing up of the screen we now call non-overlapping windows; another is documentation of Lynn Hershman's Lorna, the first interactive video art installation.
Causality: Models, Reasoning, and Inference
Judea Pearl - 2000
It shows how causality has grown from a nebulous concept into a mathematical theory with significant applications in the fields of statistics, artificial intelligence, philosophy, cognitive science, and the health and social sciences. Pearl presents a unified account of the probabilistic, manipulative, counterfactual and structural approaches to causation, and devises simple mathematical tools for analyzing the relationships between causal connections, statistical associations, actions and observations. The book will open the way for including causal analysis in the standard curriculum of statistics, artifical intelligence, business, epidemiology, social science and economics. Students in these areas will find natural models, simple identification procedures, and precise mathematical definitions of causal concepts that traditional texts have tended to evade or make unduly complicated. This book will be of interest to professionals and students in a wide variety of fields. Anyone who wishes to elucidate meaningful relationships from data, predict effects of actions and policies, assess explanations of reported events, or form theories of causal understanding and causal speech will find this book stimulating and invaluable. Professor of Computer Science at the UCLA, Judea Pearl is the winner of the 2008 Benjamin Franklin Award in Computers and Cognitive Science.