Learn You a Haskell for Great Good! introduces programmers familiar with imperative languages (such as C++, Java, or Python) to the unique aspects of functional programming. Packed with jokes, pop culture references, and the author's own hilarious artwork, Learn You a Haskell for Great Good! eases the learning curve of this complex language, and is a perfect starting point for any programmer looking to expand his or her horizons. The well-known web tutorial on which this book is based is widely regarded as the best way for beginners to learn Haskell, and receives over 30,000 unique visitors monthly.

    Aiming to tell the dark secrets of computer arithmetic, this title is suitable for library developers, compiler writers, and lovers of elegant hacks.

    Lohr maps out the unique seductions of programming, and gives us an intimate portrait of the peculiar kind of genius that is drawn to this blend of art, science, and engineering, introducing us to the movers and shakers of the 1950s and the open-source movement of today. With original reporting and deft storytelling, Steve Lohr shows us how software transformed the world, and what it holds in store for our future.

    Each

    This new edition simplifies many of the steps involved in analysis by using the computer application Excel. Over 100 detailed example problems illustrate important fluid mechanics concepts: Approximately 1300 end-of-chapter problems are arranged by difficulty level and include many problems that are designed to be solved using Excel. The CD for the book includes: A Brief Review of Microsoft Excel and numerous Excel files for the example problems and for use in solving problems. The new edition includes an expanded discussion of pipe networks, and a new section on oblique shocks and expansion waves.

    Bringing together the best and most interesting science stories appearing in Quanta Magazine over the past five years, Alice and Bob Meet the Wall of Fire reports on some of the greatest scientific minds as they test the limits of human knowledge. Quanta, under editor-in-chief Thomas Lin, is the only popular publication that offers in-depth coverage of today's challenging, speculative, cutting-edge science. It communicates science by taking it seriously, wrestling with difficult concepts and clearly explaining them in a way that speaks to our innate curiosity about our world and ourselves.In the title story, Alice and Bob--beloved characters of various thought experiments in physics--grapple with gravitational forces, possible spaghettification, and a massive wall of fire as Alice jumps into a black hole. Another story considers whether the universe is impossible, in light of experimental results at the Large Hadron Collider. We learn about quantum reality and the mystery of quantum entanglement; explore the source of time's arrow; and witness a eureka moment when a quantum physicist exclaims: "Finally, we can understand why a cup of coffee equilibrates in a room." We reflect on humans' enormous skulls and the Brain Boom; consider the evolutionary benefits of loneliness; peel back the layers of the newest artificial-intelligence algorithms; follow the "battle for the heart and soul of physics"; and mourn the disappearance of the "diphoton bump," revealed to be a statistical fluctuation rather than a revolutionary new particle. These stories from Quanta give us a front-row seat to scientific discovery.ContributorsPhilip Ball, K. C. Cole, Robbert Dijkgraaf, Dan Falk, Courtney Humphries, Ferris Jabr, Katia Moskvitch, George Musser, Michael Nielsen, Jennifer Ouellette, John Pavlus, Emily Singer, Andreas von Bubnoff, Frank Wilczek, Natalie Wolchover, Carl Zimmer

    What they don't realize—and what Daniel Hillis's short book brilliantly demonstrates—is that computers' seemingly complex operations can be broken down into a few simple parts that perform the same simple procedures over and over again.Computer wizard Hillis offers an easy-to-follow explanation of how data is processed that makes the operations of a computer seem as straightforward as those of a bicycle. Avoiding technobabble or discussions of advanced hardware, the lucid explanations and colorful anecdotes in The Pattern on the Stone go straight to the heart of what computers really do.Hillis proceeds from an outline of basic logic to clear descriptions of programming languages, algorithms, and memory. He then takes readers in simple steps up to the most exciting developments in computing today—quantum computing, parallel computing, neural networks, and self-organizing systems.Written clearly and succinctly by one of the world's leading computer scientists, The Pattern on the Stone is an indispensable guide to understanding the workings of that most ubiquitous and important of machines: the computer.

    This jargon-free Missing Manual shows you how to use WordPress and its themes, plug-ins, and widgets to build just about any website you can imagine, from a classy blog to a basic e-commerce site.The important stuff you need to know:Create a blog. Get a free WordPress.com account, choose the right theme, and start publishing content.Build a website. Produce a professional-looking business site by customizing a WordPress theme.Add features. Choose from thousands of WordPress widgets and plug-ins to extend your site’s features.Mix in multimedia. Include slideshows, video clips, webcasts, podcasts, and music players.Involve your readers. Let readers leave comments, contribute to your site, and carry on a dialog.Build an audience. Learn search-engine optimization, measure your reader’s favorite pages, and publicize your site.Create a community. Use social media tools such as “Like” and sharing buttons, and provide RSS feeds of your posts.

    The study of type systems--and of programming languages from a type-theoretic perspective--has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

    Haskell emerged in the last decade as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvellous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures.This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others.

    In keeping with previous versions, the 3rd edition uses numerous historical vignettes that show the evolution of the field. New pedagogical features--"Roadmaps" showing the development of a given topic, and "Design Boxes" giving examples of design decisions--will make the 3rd edition even more practical and user-friendly than before. The 3rd edition strikes a careful balance between classical methods of determining compressible flow, and modern numerical and computer techniques (such as CFD) now used widely in industry & research. A new Book Website will contain all problem solutions for instructors.

    It requires you to develop a data culture that involves people throughout the organization. In this O’Reilly report, DJ Patil and Hilary Mason outline the steps you need to take if your company is to be truly data-driven—including the questions you should ask and the methods you should adopt. You’ll not only learn examples of how Google, LinkedIn, and Facebook use their data, but also how Walmart, UPS, and other organizations took advantage of this resource long before the advent of Big Data. No matter how you approach it, building a data culture is the key to success in the 21st century. You’ll explore: Data scientist skills—and why every company needs a Spock How the benefits of giving company-wide access to data outweigh the costs Why data-driven organizations use the scientific method to explore and solve data problems Key questions to help you develop a research-specific process for tackling important issues What to consider when assembling your data team Developing processes to keep your data team (and company) engaged Choosing technologies that are powerful, support teamwork, and easy to use and learn

    "More concretely," the authors explain, "it is the controlled manipulation of mathematical formulas, using a collection of techniques for solving problems."

    The complexity of nature's shapes differs in kind, not merely degree, from that of the shapes of ordinary geometry, the geometry of fractal shapes.Now that the field has expanded greatly with many active researchers, Mandelbrot presents the definitive overview of the origins of his ideas and their new applications. The Fractal Geometry of Nature is based on his highly acclaimed earlier work, but has much broader and deeper coverage and more extensive illustrations.