- Table View
- List View
The Legend of Zelda: Majora's Mask (Boss Fight Books)
by Gabe DurhamYou&’ve met with a terrible fate, haven&’t you? Those grim words hang over the entirety of Majora Mask, the sixth entry in the Legend of Zelda series. In his darkest adventure, Link must relive the same three days over and over again to prevent the moon from colliding into the kingdom of Termina and ending the world. Made with a small team in a single year for the Nintendo 64 from the assets of its predecessor, Majora&’s Mask could have been a shameless cash-in—but instead has gained wide recognition as the most mysterious, mature, and touching game in the series. It&’s also the Zelda game that has inspired more inventive fan theories and bone-chilling internet horror stories than might be expected from a high-fantasy adventure. Through rigorous research and a new in-depth interview with Majora&’s North American localizer, Jason Leung, writer and editor Gabe Durham investigates the relationship between Majora&’s fast-paced, adaptive development and the meaning projected onto its story by players—and shines a light on the strange and tumultuous romance between art and fandom.
The Lens
by Nk GuyWhich lens should I buy for my camera? It's such a simple question, but choosing the right lens or lenses is actually one of the most important photographic decisions you can make. Nothing affects the quality of a photo more than the lens. It's no longer just about the megapixels-it's the glass that makes all the difference! Many first-time buyers of DSLRs don't venture past the basic lens included in the box. While some are reluctant to spend more money, others are confused by all the buzzwords or are overwhelmed by all the choices out there. It's really a shame, because interchangeable lenses give you amazing scope for quality photography. Take in vast sweeping scenes with a wide angle lens. Capture faraway birds with a telephoto lens. Examine the tiniest detail of a flower with a macro lens. Record the perfect portrait with a prime lens. Anything is possible when you choose the right lens for the job! This book isn't a simple catalogue of available lenses. New products are coming out all the time, and comparing specific lenses can be difficult. Instead, author N.K. Guy gives you all the information you need to make smart buying decisions. Optical technology is demystified, arcane terminology is decoded, and practical tips are provided. The Lens will help you build the perfect lens collection to suit your needs-now and in the future.
The Liability of Internet Intermediaries
by Jaani Riordan<P>There is no book dedicated to the doctrines and remedies which regulate the legal liability of internet intermediaries.<P> This is surprising, given that we live in an era in which almost all communications and transactions rely upon services provided or facilitated by such intermediaries.
The Life Informatic
by Dominic BoyerNews journalism is in the midst of radical transformation brought about by the spread of digital information and communication technology and the rise of neoliberalism. What does it look like, however, from the inside of a news organization? In The Life Informatic, Dominic Boyer offers the first anthropological ethnography of contemporary office-based news journalism. The result is a fascinating account of journalists struggling to maintain their expertise and authority, even as they find their principles and skills profoundly challenged by ever more complex and fast-moving streams of information. Boyer conducted his fieldwork inside three news organizations in Germany (a world leader in digital journalism) supplemented by extensive interviews in the United States. His findings challenge popular and scholarly images of journalists as roving truth-seekers, showing instead the extent to which sedentary office-based "screenwork" (such as gathering and processing information online) has come to dominate news journalism. To explain this phenomenon Boyer puts forth the notion of "digital liberalism"-a powerful convergence of technological and ideological forces over the past two decades that has rebalanced electronic mediation from the radial (or broadcast) tendencies of the mid-twentieth century to the lateral (or peer-to-peer) tendencies that dominate in the era of the Internet and social media. Under digital liberalism an entire regime of media, knowledge, and authority has become integrated around liberal principles of individuality and publicity, both unmaking and remaking news institutions of the broadcast era. Finally, Boyer offers some scenarios for how news journalism will develop in the future and discusses how other intellectual professionals, such as ethnographers, have also become more screenworkers than fieldworkers.
The Limits to Growth Revisited
by Ugo Bardi"The Limits to Growth" (Meadows, 1972) generated unprecedented controversy with its predictions of the eventual collapse of the world's economies. First hailed as a great advance in science, "The Limits to Growth" was subsequently rejected and demonized. However, with many national economies now at risk and global peak oil apparently a reality, the methods, scenarios, and predictions of "The Limits to Growth" are in great need of reappraisal. In The Limits to Growth Revisited, Ugo Bardi examines both the science and the polemics surrounding this work, and in particular the reactions of economists that marginalized its methods and conclusions for more than 30 years. "The Limits to Growth" was a milestone in attempts to model the future of our society, and it is vital today for both scientists and policy makers to understand its scientific basis, current relevance, and the social and political mechanisms that led to its rejection. Bardi also addresses the all-important question of whether the methods and approaches of "The Limits to Growth" can contribute to an understanding of what happened to the global economy in the Great Recession and where we are headed from there.
The Linear Algebra a Beginning Graduate Student Ought to Know
by Jonathan S. GolanLinear algebra is a living, active branch of mathematics which is central to almost all other areas of mathematics, both pure and applied, as well as to computer science, to the physical, biological, and social sciences, and to engineering. It encompasses an extensive corpus of theoretical results as well as a large and rapidly-growing body of computational techniques. Unfortunately, in the past decade, the content of linear algebra courses required to complete an undergraduate degree in mathematics has been depleted to the extent that they fail to provide a sufficient theoretical or computational background. Students are not only less able to formulate or even follow mathematical proofs, they are also less able to understand the mathematics of the numerical algorithms they need for applications. Certainly, the material presented in the average undergraduate course is insufficient for graduate study. This book is intended to fill the gap which has developed by providing enough theoretical and computational material to allow the advanced undergraduate or beginning graduate student to overcome this deficiency and be able to work independently or in advanced courses. The book is intended to be used either as a self-study guide, a textbook for a course in advanced linear algebra, or as a reference book. It is also designed to prepare a student for the linear algebra portion of prelim exams or PhD qualifying exams. The volume is self-contained to the extent that it does not assume any previous formal knowledge of linear algebra, though the reader is assumed to have been exposed, at least informally, to some of the basic ideas and techniques, such as manipulation of small matrices and the solution of small systems of linear equations over the real numbers. More importantly, it assumes a seriousness of purpose, considerable motivation, and a modicum of mathematical sophistication on the part of the reader. In the latest edition, new major theorems have been added, as well as many new examples. There are over 130 additional exercises and many of the previous exercises have been revised or rewritten. In addition, a large number of additional biographical notes and thumbnail portraits of mathematicians have been included.
The Linux Command Line: A Complete Introduction
by Jr. William E. ShottsYou've experienced the shiny, point-and-click surface of your Linux computer--now dive below and explore its depths with the power of the command line.The Linux Command Line takes you from your very first terminal keystrokes to writing full programs in Bash, the most popular Linux shell (or command line). Along the way you'll learn the timeless skills handed down by generations of experienced, mouse-shunning gurus: file navigation, environment configuration, command chaining, pattern matching with regular expressions, and more.In addition to that practical knowledge, author William Shotts reveals the philosophy behind these tools and the rich heritage that your desktop Linux machine has inherited from Unix supercomputers of yore.As you make your way through the book's short, easily-digestible chapters, you'll learn how to: * Create and delete files, directories, and symlinks * Administer your system, including networking, package installation, and process management * Use standard input and output, redirection, and pipelines * Edit files with Vi, the world's most popular text editor * Write shell scripts to automate common or boring tasks * Slice and dice text files with cut, paste, grep, patch, and sedOnce you overcome your initial "shell shock," you'll find that the command line is a natural and expressive way to communicate with your computer. Just don't be surprised if your mouse starts to gather dust.
The Linux Command Line: A Complete Introduction
by William E. Shotts<P>You've experienced the shiny, point-and-click surface of your Linux computer—now dive below and explore its depths with the power of the command line. <P>The Linux Command Line takes you from your very first terminal keystrokes to writing full programs in Bash, the most popular Linux shell. Along the way you'll learn the timeless skills handed down by generations of gray-bearded, mouse-shunning gurus: file navigation, environment configuration, command chaining, pattern matching with regular expressions, and more. <P>In addition to that practical knowledge, author William Shotts reveals the philosophy behind these tools and the rich heritage that your desktop Linux machine has inherited from Unix supercomputers of yore. <P>As you make your way through the book's short, easily-digestible chapters, you'll learn how to: <br>–Create and delete files, directories, and symlinks <br>–Administer your system, including networking, package installation, and process management <br>–Use standard input and output, redirection, and pipelines <br>–Edit files with Vi, the world’s most popular text editor–Write shell scripts to automate common or boring tasks–Slice and dice text files with cut, paste, grep, patch, and sed <P>Once you overcome your initial "shell shock," you'll find that the command line is a natural and expressive way to communicate with your computer. Just don't be surprised if your mouse starts to gather dust.
The Linux Philosophy for SysAdmins: And Everyone Who Wants To Be One
by David BothReveals and illustrates the awesome power and flexibility of the command line, and the design and usage philosophies that support those traits. This understanding of how to extract the most from the Linux command line can help you become a better SysAdmin. Understand why many things in the Linux and Unix worlds are done as they are, and how to apply the Linux Philosophy to working as a SysAdmin. The original Unix/Linux Philosophy presented foundational and functional tenets - rules, guidelines, and procedural methods - that worked well. However, it was intended for the developers of those operating systems. Although System Administrators could apply many of the tenets to their daily work, many important tenets were missing. Over the years that David Both has been working with Linux and Unix, he has formulated his own philosophy – one which applies more directly to the everyday life of the System Administrator. This book defines a philosophy, and then illuminates the practical aspects of that philosophy with real-world experiments you can perform. Inspired by David’s real mentors, and dedicated to them, The Linux Philosophy for System Administrators is a mentor to SysAdmins everywhere; remember - "If you fail you learn." What You Will LearnApply the Linux philosophy to working as a SysAdminUnlock the power of the knowledge you already haveFully understand and access the vast power of the command lineReview the power of Linux as a function of the philosophies that built it Who This Book Is For If you want to learn the secrets that make the best Linux SysAdmins powerful far beyond that of mere mortals; if you want to understand the concepts that unlock those secrets; if you want to be the SysAdmin that everyone else turns to when the bytes hit the fan – then this book is for you.
The Linux Programming Interface: A Linux and UNIX System Programming Handbook (No Starch Press Ser.)
by Michael KerriskThe Linux Programming Interface (TLPI) is the definitive guide to the Linux and UNIX programming interface—the interface employed by nearly every application that runs on a Linux or UNIX system.In this authoritative work, Linux programming expert Michael Kerrisk provides detailed descriptions of the system calls and library functions that you need in order to master the craft of system programming, and accompanies his explanations with clear, complete example programs.You'll find descriptions of over 500 system calls and library functions, and more than 200 example programs, 88 tables, and 115 diagrams. You'll learn how to:–Read and write files efficiently–Use signals, clocks, and timers–Create processes and execute programs–Write secure programs–Write multithreaded programs using POSIX threads–Build and use shared libraries–Perform interprocess communication using pipes, message queues, shared memory, and semaphores–Write network applications with the sockets APIWhile The Linux Programming Interface covers a wealth of Linux-specific features, including epoll, inotify, and the /proc file system, its emphasis on UNIX standards (POSIX.1-2001/SUSv3 and POSIX.1-2008/SUSv4) makes it equally valuable to programmers working on other UNIX platforms.The Linux Programming Interface is the most comprehensive single-volume work on the Linux and UNIX programming interface, and a book that's destined to become a new classic.
The Listening Party: Artists, Bands and Fans Reflect on 100 Favorite Albums
by Tim BurgessThe Charlatans&’ Tim Burgess invites you to the greatest listening party of all time. In 2020 when the world was forced to hit pause on live in-person gigs, Tim Burgess found an ingenious way to bring people together by inviting artists and bands, from Paul McCartney and New Order to Michael Kiwanuka and Kylie, to host real-time album playbacks via Twitter. Relive 100 of the most memorable listening parties here with stories from bands and fans, rarely seen backstage images, and unique insider info from those who created these iconic albums. "Hey Twitter, let's all say a big thanks to Tim for these brilliant events this year! We really needed them. So much great music being talked about.'" - Sir Paul McCartney "Twitter being used for something really positive." - Mary Beard
The Literature Review: Six Steps to Success
by Brenda T. McEvoy Lawrence A. MachiExpert guidance and cutting-edge tools for every researcher. Complex, time-consuming, and steeped in methodologies, conducting a literature review can often feel overwhelming. A go-to resource for researchers for nearly 20 years, The Literature Review simplifies the process with a structured six-step model to narrow your research topic, focus your literature search, negotiate the myriad of books, periodicals, and reports about your topic—and, of course, write the review. The fifth edition of this bestselling book includes step-by-step guidance on how to use artificial intelligence ethically and effectively across the six steps of the literature review process. Additional features of this thoroughly updated guide include: Practical checklists, templates, and visuals to support your research at every stage. Reflective exercises, learning tips, and questions to ensure a deeper understanding of each process. Recommendations on transparency and responsibility when utilizing AI in academic research. Whether you’re embarking on your first literature review or refining your skills, this book equips you with the tools needed to tackle every stage of the literature review process with clarity and precision.
The Literature Review: Six Steps to Success
by Brenda T. McEvoy Lawrence A. MachiExpert guidance and cutting-edge tools for every researcher. Complex, time-consuming, and steeped in methodologies, conducting a literature review can often feel overwhelming. A go-to resource for researchers for nearly 20 years, The Literature Review simplifies the process with a structured six-step model to narrow your research topic, focus your literature search, negotiate the myriad of books, periodicals, and reports about your topic—and, of course, write the review. The fifth edition of this bestselling book includes step-by-step guidance on how to use artificial intelligence ethically and effectively across the six steps of the literature review process. Additional features of this thoroughly updated guide include: Practical checklists, templates, and visuals to support your research at every stage. Reflective exercises, learning tips, and questions to ensure a deeper understanding of each process. Recommendations on transparency and responsibility when utilizing AI in academic research. Whether you’re embarking on your first literature review or refining your skills, this book equips you with the tools needed to tackle every stage of the literature review process with clarity and precision.
The Little Book of Bullshit: A Load of Lies too Good to be True (The\little Book Of... Ser.)
by Orange Hippo!The Golden Age of Bullshit.Welcome to the golden age of bullshit, a wiki-wild world knee deep in half-truths and alternative facts, spin and bias, influence and insincerity, little white lies and tall tales, falsehoods and propaganda, and all sorts of other baloney designed to disguise fact from fiction. We live in a post truth, fake news, world where nothing is quite as it seems and everything you read should be seen before believed. But isn't.From Brexit buses to Donald Trump, the University of Google to misleading advertising claims, and everything in-between, the bullshit keeps getting bigger and stronger and the lies are turning truer every day. It's time to call bullshit on bullshit!The Little Book of Bullshit is the ideal antidote everybody needs to fight the influx of excessive lying and cheating and defrauding that has come to define the 21st century, a tiny tome stuffed with delightfully witty snack-sized nuggets of facts and stats and quotes and boasts all related to the ever-expanding world of bullshit."The first rule of bullshit is that it must be believable." Nassim Nicholas Taleb"I'm almost finished..." All of us, at some point in our lives
The Little Book of Emoji Insults
If you can't say something nice... say it in emoji.Shock your friends and family with this brilliantly offensive collection of emoji put-downs and comebacks.With this handy guide, the endless potential for a punishing emoji burn will be opened to you like never before – far beyond just relying on the classic middle finger symbol. From everyday insults to brutal Shakespearean zingers, classic movie put-downs to the best ‘your mum’ jokes, this is your complete phrasebook for the ever more savage world of emoji insults.
The Little Book of Ick: 500 reasons to get over them – for good
by Kitty Winks Anna Burtt· When they mistime a beat drop in the car· When their toenail scrape you in bed· When they sit at a bar stool and their feet hang awkwardly· When they run out of what they want to order in a restaurant and they say, 'I was really looking forward to that' ... You've been dating a guy for a while and you notice something about them that turns your stomach. That's the 'ick' - it might be something weird or unremarkable, it might even be something you do yourself. Whatever it is, once you've got the ick there's no going back from it and, for better or worse, it's onto the next swipe. The Little Book of Ick is a celebration of the dating phenomenon that plagues millions. Split into chapters that chart all the stages of finding love, this book is a collection of 500 hilarious icks: some you'll have already encountered, all ready for you to use when you need to get over someone - qu-ick-ly!Cutting, relatable, witty, sharp - The Book of Ick will reassure you it's fine to be fussy, it might even soothe your future heartbreak ... or just make you laugh on the loo.
The Little Book of Ick: 500 reasons to get over them – for good
by Kitty Winks Anna Burtt· When they mistime a beat drop in the car· When their toenail scrape you in bed· When they sit at a bar stool and their feet hang awkwardly· When they run out of what they want to order in a restaurant and they say, 'I was really looking forward to that' ... You've been dating a guy for a while and you notice something about them that turns your stomach. That's the 'ick' - it might be something weird or unremarkable, it might even be something you do yourself. Whatever it is, once you've got the ick there's no going back from it and, for better or worse, it's onto the next swipe. The Little Book of Ick is a celebration of the dating phenomenon that plagues millions. Split into chapters that chart all the stages of finding love, this book is a collection of 500 hilarious icks: some you'll have already encountered, all ready for you to use when you need to get over someone - qu-ick-ly!Cutting, relatable, witty, sharp - The Book of Ick will reassure you it's fine to be fussy, it might even soothe your future heartbreak ... or just make you laugh on the loo.
The Little Book on CoffeeScript
by Alex Maccaw<p>This little book shows JavaScript developers how to build superb web applications with CoffeeScript, the remarkable little language that’s gaining considerable interest. Through example code, this guide demonstrates how CoffeeScript abstracts JavaScript, providing syntactical sugar and preventing many common errors. You’ll learn CoffeeScript’s syntax and idioms step by step, from basic variables and functions to complex comprehensions and classes.</p>
The Little Book on CoffeeScript: The JavaScript Developer's Guide to Building Better Web Apps
by Alex MacCawThis concise book shows JavaScript developers how to build superb web applications with CoffeeScript, the remarkable language that’s gaining considerable interest. Through example code, this guide demonstrates how CoffeeScript abstracts JavaScript, providing syntactical sugar and preventing many common errors. You’ll learn CoffeeScript’s syntax and idioms step by step, from basic variables and functions to complex comprehensions and classes.Written by Alex MacCaw, author of JavaScript Web Applications (O’Reilly), with contributions from CoffeeScript creator Jeremy Ashkenas, this book quickly teaches you best practices for using this language—not just on the client side, but for server-side applications as well. It’s time to take a ride with the little language that could.Discover how CoffeeScript’s syntax differs from JavaScriptLearn about features such as array comprehensions, destructuring assignments, and classesExplore CoffeeScript idioms and compare them to their JavaScript counterpartsCompile CoffeeScript files in static sites with the Cake build systemUse CommonJS modules to structure and deploy CoffeeScript client-side applicationsExamine JavaScript’s bad parts—including features CoffeeScript was able to fix
The Little Database: A Poetics of Media Formats (Electronic Mediations #64)
by Daniel Scott SnelsonA poetics for reading the everyday objects that populate a hard drive Bespoke online archives like PennSound and Eclipse host an astounding array of &“old media&” artifacts, posing a handcrafted counterpoint to the immense databases aggregated by digital titans like Google and Facebook. In The Little Database, Daniel Scott Snelson argues for the significance of these comparatively &“small&” collections, exploring how digital archives dramatically transform the artifacts they host and how they might help us better understand our own private collections in turn. Examining curated collections such as Textz, UbuWeb, and the Electronic Poetry Center, Snelson explores media-specific works by poets and artists, including William Carlos Williams, Tracie Morris, bill bissett, Nam June Paik, and Vicki Bennett. He develops creative tools and contingent methods for reading cultural data, whether found on the internet or in our own collections of TXT, JPG, MP3, and MOV artifacts, presenting case studies to show how these objects have come to find revised meaning in their digital contexts. Along the way, experimental poetic interludes give readers practical entry points into the creative practice of producing new meanings in any given little database. Inventive and interdisciplinary, The Little Database grapples with the digitized afterlives of cultural objects, showing how the past is continually reconfigured to shape the present. It invites readers to find playful and personal means for unpacking their own data collections, in the process discovering idiosyncratic ways to explore and connect with digital archives. Retail e-book files for this title are screen-reader friendly with images accompanied by short alt text and/or extended descriptions.
The Little Elixir & OTP Guidebook
by Benjamin Tan Wei HaoSummaryThe Little Elixir & OTP Guidebook gets you started programming applications with Elixir and OTP. You begin with a quick overview of the Elixir language syntax, along with just enough functional programming to use it effectively. Then, you'll dive straight into OTP and learn how it helps you build scalable, fault-tolerant and distributed applications through several fun examples. Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.About the TechnologyElixir is an elegant programming language that combines the expressiveness of Ruby with the concurrency and fault-tolerance of Erlang. It makes full use of Erlang's BEAM VM and OTP library, so you get two decades' worth of maturity and reliability right out of the gate. Elixir's support for functional programming makes it perfect for modern event-driven applications.About the BookThe Little Elixir & OTP Guidebook gets you started writing applications with Elixir and OTP. You'll begin with the immediately comfortable Elixir language syntax, along with just enough functional programming to use it effectively. Then, you'll dive straight into several lighthearted examples that teach you to take advantage of the incredible functionality built into the OTP library. What's InsideCovers Elixir 1.2 and 1.3Introduction to functional concurrency with actorsExperience the awesome power of Erlang and OTP About the ReaderWritten for readers comfortable with a standard programming language like Ruby, Java, or Python. FP experience is helpful but not required. About the AuthorBenjamin Tan Wei Hao is a software engineer at Pivotal Labs, Singapore. He is also an author, a speaker, and an early adopter of Elixir.Table of ContentsGETTING STARTED WITH ELIXIR AND OTPIntroduction A whirlwind tour Processes 101 Writing server applications with GenServer FAULT TOLERANCE, SUPERVISION, AND DISTRIBUTION Concurrent error-handling and fault tolerance with links, monitors, and processes Fault tolerance with Supervisors Completing the worker-pool application Distribution and load balancing Distribution and fault tolerance Dialyzer and type specifications Property-based and concurrency testing
The Little Learner: A Straight Line to Deep Learning
by Daniel P. Friedman Anurag MendhekarA highly accessible, step-by-step introduction to deep learning, written in an engaging, question-and-answer style.The Little Learner introduces deep learning from the bottom up, inviting students to learn by doing. With the characteristic humor and Socratic approach of classroom favorites The Little Schemer and The Little Typer, this kindred text explains the workings of deep neural networks by constructing them incrementally from first principles using little programs that build on one another. Starting from scratch, the reader is led through a complete implementation of a substantial application: a recognizer for noisy Morse code signals. Example-driven and highly accessible, The Little Learner covers all of the concepts necessary to develop an intuitive understanding of the workings of deep neural networks, including tensors, extended operators, gradient descent algorithms, artificial neurons, dense networks, convolutional networks, residual networks, and automatic differentiation. Conversational style, illustrations, and question-and-answer format make deep learning accessible and funIncremental approach constructs advanced concepts from first principlesPresents key ideas of machine learning using a small, manageable subset of the Scheme languageSuitable for anyone with knowledge of high school math and some programming experience
The Little MLer
by Matthias Felleisen Daniel P. FriedmanOver the past few years, ML has emerged as one of the most important members of the family of programming languages. Many professors in the United States and other countries use ML to teach courses on the principles of programming and on programming languages. In addition, ML has emerged as a natural language for software engineering courses because it provides the most sophisticated and expressive module system currently available. Felleisen and Friedman are well known for gently introducing readers to difficult ideas. The Little MLer is an introduction to thinking about programming and the ML programming language. The authors introduce those new to programming, as well as those experienced in other programming languages, to the principles of types, computation, and program construction. Most important, they help the reader to think recursively with types about programs.
The Little Mac Book, Snow Leopard Edition
by Robin WilliamsAdopting a back-to-the-basics approach, this bestselling little Mac classic has been revised and overhauled to introduce users to Snow Leopard, Apple's newest version of its operating system. In the gentle, friendly, funny style that generations of computer users have come to know and love, author Robin Williams shows readers how to dive in and start working with the Mac and OS X Snow Leopard. This little book walks readers through all of the key new features in Snow Leopard. Using straightforward, jargon-free explanations delivered in logical, easy-to-follow sections, Robin is a new user's personal guide, coaching and encouraging readers as they learn their way around the magic of the Mac.
The Little Prover
by Daniel P. Friedman Carl EastlundAn introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example.