Shortlisted for the Women’s Prize for Non-Fiction A riveting story of what it means to be human in a world changed by artificial intelligence, revealing the perils and inequities of our growing reliance on automated decision-making On the surface, a British poet, an UberEats courier in Pittsburgh, an Indian doctor, and a Chinese activist in exile have nothing in common. But they are in fact linked by a profound common experience—unexpected encounters with artificial intelligence. In Code Dependent, Murgia shows how automated systems are reshaping our lives all over the world, from technology that marks children as future criminals, to an app that is helping to give diagnoses to a remote tribal community. AI has already infiltrated our day-to-day, through language-generating chatbots like ChatGPT and social media. But it’s also affecting us in more insidious ways. It touches everything from our interpersonal relationships, to our kids’ education, work, finances, public services, and even our human rights. By highlighting the voices of ordinary people in places far removed from the cozy enclave of Silicon Valley, Code Dependent explores the impact of a set of powerful, flawed, and often-exploitative technologies on individuals, communities, and our wider society. Murgia exposes how AI can strip away our collective and individual sense of agency, and shatter our illusion of free will. The ways in which algorithms and their effects are governed over the coming years will profoundly impact us all. Yet we can’t agree on a common path forward. We cannot decide what preferences and morals we want to encode in these entities—or what controls we may want to impose on them. And thus, we are collectively relinquishing our moral authority to machines. In Code Dependent, Murgia not only sheds light on this chilling phenomenon, but also charts a path of resistance. AI is already changing what it means to be human, in ways large and small, and Murgia reveals what could happen if we fail to reclaim our humanity.

In a crisis, it's easy to revert to old patterns. Caring for your well-being during the coronavirus pandemic includes maintaining healthy boundaries and saying no to unhealthy relationships. The healing touchstone of millions, this modern classic by one of America's best-loved and most inspirational authors holds the key to understanding codependency and to unlocking its stultifying hold on your life. Is someone else's problem your problem? If, like so many others, you've lost sight of your own life in the drama of tending to someone else's, you may be codependent--and you may find yourself in this book--Codependent No More. The healing touchstone of millions, this modern classic by one of America's best-loved and most inspirational authors holds the key to understanding codependency and to unlocking its stultifying hold on your life. With instructive life stories, personal reflections, exercises, and self-tests, Codependent No More is a simple, straightforward, readable map of the perplexing world of codependency--charting the path to freedom and a lifetime of healing, hope, and happiness. Melody Beattie is the author of Beyond Codependency, The Language of Letting Go, Stop Being Mean to Yourself, The Codependent No More Workbook and Playing It by Heart.

A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, emphasizing techniques that will help users to build, understand, and maintain large Coq developments and minimize the cost of code change over time. Two topics, rarely discussed elsewhere, are covered in detail: effective dependently typed programming (making productive use of a feature at the heart of the Coq system) and construction of domain-specific proof tactics. Almost every subject covered is also relevant to interactive computer theorem proving in general, not just program verification, demonstrated through examples of verified programs applied in many different sorts of formalizations. The book develops a unique automated proof style and applies it throughout; even experienced Coq users may benefit from reading about basic Coq concepts from this novel perspective. The book also offers a library of tactics, or programs that find proofs, designed for use with examples in the book. Readers will acquire the necessary skills to reimplement these tactics in other settings by the end of the book. All of the code appearing in the book is freely available online.

Includes decisions of the Supreme Court and various intermediate and lower courts of record; May/Aug. 1888-Sept../Dec. 1895, Superior Court of New York City; Mar./Apr. 1926-Dec. 1937/Jan. 1938, Court of Appeals.

Get to know the building blocks of Kotlin and best practices when using quality world-class applications About This Book Learn to build exciting and scalable Android and web applications (both the server-side and client-side parts) with your Kotlin skills Dive into the great ecosystem of Kotlin frameworks and libraries through projects that you'll build using this book This project-based guide contains clear instructions to help you extend your applications across a wide domain Who This Book Is For This practical guide is for programmers who are already familiar with Kotlin. If you are familiar with Kotlin and want to put your knowledge to work, then this is the book for you. Kotlin programming knowledge is a must. What You Will Learn See how Kotlin's power and versatility make it a great choice to create applications across various platforms, and how it delivers business and technology benefits Write a robust web applications using Kotlin with Spring Boot Write Android applications with ease using Kotlin Write rich desktop applications in Kotlin Learn how Kotlin can generate Javascript and how this can be used on client side and server side development Understand how native applications can be written with Kotlin/Native Learn the practical aspects of programming in each of the applications In Detail Kotlin is a powerful language that has applications in a wide variety of fields. It is a concise, safe, interoperable, and tool-friendly language. The Android team has also announced first-class support for Kotlin, which is an added boost to the language. Kotlin's growth is fueled through carefully designed business and technology benefits. The collection of projects demonstrates the versatility of the language and enables you to build standalone applications on your own. You'll build comprehensive applications using the various features of Kotlin. Scale, performance, and high availability lie at the heart of the projects, and the lessons learned throughout this book. You'll learn how to build a social media aggregator app that will help you efficiently track various feeds, develop a geospatial webservice with Kotlin and Spring Boot, build responsive web applications with Kotlin, build a REST API for a news feed reader, and build a server-side chat application with Kotlin. It also covers the various libraries and frameworks used in the projects. Through the course of building applications, you'll not only get to grips with the various features of Kotlin, but you'll also discover how to design and prototype professional-grade applications. Style and approach Each chapter is independent and focuses on a unique technology, where Kotlin is used to build an example application. Together the chapters cover a full spectrum.