Cutting-edge historians explore ideas, communities, and technologies around modern computing to explore how computers mediate social relations. Computers have been framed both as a mirror for the human mind and as an irreducible other that humanness is defined against, depending on different historical definitions of "humanness." They can serve both liberation and control because some people's freedom has historically been predicated on controlling others. Historians of computing return again and again to these contradictions, as they often reveal deeper structures. Using twin frameworks of abstraction and embodiment, a reformulation of the old mind-body dichotomy, this anthology examines how social relations are enacted in and through computing. The authors examining "Abstraction" revisit central concepts in computing, including "algorithm," "program," "clone," and "risk." In doing so, they demonstrate how the meanings of these terms reflect power relations and social identities. The section on "Embodiments" focuses on sensory aspects of using computers as well as the ways in which gender, race, and other identities have shaped the opportunities and embodied experiences of computer workers and users. Offering a rich and diverse set of studies in new areas, the book explores such disparate themes as disability, the influence of the punk movement, working mothers as technical innovators, and gaming behind the Iron Curtain. Abstractions and Embodiments reimagines computing history by questioning canonical interpretations, foregrounding new actors and contexts, and highlighting neglected aspects of computing as an embodied experience. It makes the profound case that both technology and the body are culturally shaped and that there can be no clear distinction between social, intellectual, and technical aspects of computing. Contributors: Janet Abbate, Marc Aidinoff, Troy Kaighin Astarte, Ekaterina Babinsteva, André Brock, Maarten Bullynck, Jiahui Chan, Gerardo Con Diaz, Liesbeth De Mol, Stephanie Dick, Kelcey Gibbons, Elyse Graham, Michael J. Halvorson, Mar Hicks, Scott Kushner, Xiaochang Li, Zachary Loeb, Lisa Nakamura, Tiffany Nichols, Laine Nooney, Elizabeth Petrick, Cierra Robson, Hallam Stevens, Jaroslav Švelch

"This anthology of original historical essays examines how social relations are enacted in and through computing using the twin frameworks of abstraction and embodiment. The book highlights a wide range of understudied contexts and experiences, such as computing and disability, working mothers as technical innovators, race and community formation, and gaming behind the Iron Curtain"--

Janet Abbate recounts the key players and technologies that allowed the Internet to develop; but her main focus is always on the social and cultural factors that influenced the Internet's design and use. Since the late 1960s the Internet has grown from a single experimental network serving a dozen sites in the United States to a network of networks linking millions of computers worldwide. In Inventing the Internet, Janet Abbate recounts the key players and technologies that allowed the Internet to develop; but her main focus is always on the social and cultural factors that influenced the Internets design and use. The story she unfolds is an often twisting tale of collaboration and conflict among a remarkable variety of players, including government and military agencies, computer scientists in academia and industry, graduate students, telecommunications companies, standards organizations, and network users. The story starts with the early networking breakthroughs formulated in Cold War think tanks and realized in the Defense Department's creation of the ARPANET. It ends with the emergence of the Internet and its rapid and seemingly chaotic growth. Abbate looks at how academic and military influences and attitudes shaped both networks; how the usual lines between producer and user of a technology were crossed with interesting and unique results; and how later users invented their own very successful applications, such as electronic mail and the World Wide Web. She concludes that such applications continue the trend of decentralized, user-driven development that has characterized the Internet's entire history and that the key to the Internet's success has been a commitment to flexibility and diversity, both in technical design and in organizational culture.

An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language. 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 Alloy 4.

The revolution in accessible computer technology was fueled by disability activism, the interactive nature of personal computers, and changing public policy. In 1974, not long after developing the first universal optical character recognition technology, Raymond Kurzweil struck up a conversation with a blind man on a flight. Kurzweil explained that he was searching for a use for his new software. The blind man expressed interest: One of the frustrating obstacles that blind people grappled with, he said, was that no computer program could translate text into speech. Inspired by this chance meeting, Kurzweil decided that he must put his new innovation to work to “overcome this principal handicap of blindness.” By 1976, he had built a working prototype, which he dubbed the Kurzweil Reading Machine. This type of innovation demonstrated the possibilities of computers to dramatically improve the lives of people living with disabilities. In Making Computers Accessible, Elizabeth R. Petrick tells the compelling story of how computer engineers and corporations gradually became aware of the need to make computers accessible for all people. Motivated by user feedback and prompted by legislation such as the Americans with Disabilities Act, which offered the promise of equal rights via technological accommodation, companies developed sophisticated computerized devices and software to bridge the accessibility gap. People with disabilities, Petrick argues, are paradigmatic computer users, demonstrating the personal computer’s potential to augment human abilities and provide for new forms of social, professional, and political participation. Bridging the history of technology, science and technology studies, and disability studies, this book traces the psychological, cultural, and economic evolution of a consumer culture aimed at individuals with disabilities, who increasingly rely on personal computers to make their lives richer and more interconnected.

A landmark study of abstraction in architectural history, theory, and practice that challenges our assumptions about the meaning of abstract forms. In this theoretical study of abstraction in architecture—the first of its kind—Pier Vittorio Aureli argues for a reconsideration of abstraction, its meanings, and its sources. Although architects have typically interpreted abstraction in formal terms—the purposeful reduction of the complexities of design to its essentials—Aureli shows that abstraction instead arises from the material conditions of building production. In a lively study informed by Walter Benjamin, Karl Marx, Alfred Sohn-Rethel, and other social theorists, this book presents abstraction in architecture not as an aesthetic tendency but as a movement that arises from modern divisions of labor and consequent social asymmetries. These divisions were anticipated by the architecture of antiquity, which established a distinction between manual and intellectual labor, and placed the former in service to the latter. Further abstractions arose as geometry, used for measuring territories, became the intermediary between land and money and eventually produced the logic of the grid. In our own time, architectural abstraction serves the logic of capitalism and embraces the premise that all things can be exchanged—even experience itself is a commodity. To resist this turn, Aureli seeks a critique of architecture that begins not by scaling philosophical heights, but by standing at the ground level of material practice.