- Table View
- List View
Lectures on Runtime Verification
by Ezio Bartocci Yliès FalconeThe idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.
Left to Our Own Devices: Outsmarting Smart Technology to Reclaim Our Relationships, Health, and Focus (The\mit Press Ser.)
by Margaret E. MorrisUnexpected ways that individuals adapt technology to reclaim what matters to them, from working through conflict with smart lights to celebrating gender transition with selfies.We have been warned about the psychological perils of technology: distraction, difficulty empathizing, and loss of the ability (or desire) to carry on a conversation. But our devices and data are woven into our lives. We can't simply reject them. Instead, Margaret Morris argues, we need to adapt technology creatively to our needs and values. In Left to Our Own Devices, Morris offers examples of individuals applying technologies in unexpected ways—uses that go beyond those intended by developers and designers. Morris examines these kinds of personalized life hacks, chronicling the ways that people have adapted technology to strengthen social connection, enhance well-being, and affirm identity. Morris, a clinical psychologist and app creator, shows how people really use technology, drawing on interviews she has conducted as well as computer science and psychology research. She describes how a couple used smart lights to work through conflict; how a woman persuaded herself to eat healthier foods when her photographs of salads garnered “likes” on social media; how a trans woman celebrated her transition with selfies; and how, through augmented reality, a woman changed the way she saw her cancer and herself. These and the many other “off-label” adaptations described by Morris cast technology not just as a temptation that we struggle to resist but as a potential ally as we try to take care of ourselves and others. The stories Morris tells invite us to be more intentional and creative when left to our own devices.
The Legend of Zelda Encyclopedia
by NintendoThis 320-page book is an exhaustive guide to The Legend of Zelda from the original The Legend of Zelda to Twilight Princess HD. Make sure to check out the other installments in this unparalleled collection of historical information on the Legend of Zelda Franchise with the New York Times Best Selling books The Legend of Zelda: Hyrule Historia and The Legend of Zelda: Art & Artifacts!A comprehensive collection of enemies and items, potions to poes, an expansion of the lore touched upon in Hyrule Historia, concept art, screencaps, maps, main characters and how they relate, languages, and much, much more, including an exclusive interview with Series Producer, Eiji Aonuma! This, the last of The Goddess Collection trilogy, which includes Hyrule Historia and Art & Artifacts, is a treasure trove of explanations and information about every aspect of The Legend of Zelda universe!An exhaustive compendium of everything from the first 30 years of The Legend of Zelda.An expansion of information from The Legend of Zelda timeline.Rare development sketches of your favorite characters.An extensive database of items and enemies.
The LEGO BOOST Idea Book: 95 Simple Robots and Hints for Making More!
by Yoshihito IsogawaThe LEGO® BOOST® Idea Book contains dozens of ideas for building simple robots with the LEGO BOOST set.The LEGO® BOOST® Idea Book explores 95 creative ways to build simple robots with the LEGO BOOST set. Each model includes a parts list, minimal text, screenshots of programs, and colorful photographs from multiple angles so you can re-create it without step-by-step instructions.You'll learn to build robots that can walk and crawl, shoot and grab objects, and even draw using a pen! Each model demonstrates handy mechanical principles that you can use to come up with your own creations.Models come with building hints and ideas for putting your own spin on things. Best of all, every part you need to build these models comes in the LEGO BOOST Creative Toolbox (set #17101).
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (Lecture Notes in Computer Science #11246)
by Tiziana Margaria Bernhard SteffenThe four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part Iv (Lecture Notes in Computer Science #11247)
by Tiziana Margaria Bernhard SteffenThe four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Lecture Notes in Computer Science #11244)
by Tiziana Margaria Bernhard SteffenThe four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part Ii (Lecture Notes in Computer Science #7610)
by Tiziana Margaria Bernhard SteffenThe four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.
A Lexical Semantic Study of Chinese Opposites (Frontiers in Chinese Linguistics #1)
by Jing DingThis book studies Chinese opposites. It uses a large corpus (GigaWord) to trace the behavior of opposite pairings' co-occurrence, focusing on the following questions: In what types of constructions, from window-size restricted and bi-syllabic to quad-syllabic, will the opposite pairings appear together? And, on a larger scale, i. e. in constrained-free contexts, in which syntactic frames will the opposite pairings appear together? The data suggests aspects that have been ignored by previous theoretical studies, such as the ordering rules in co-occurrent pairings, the differences between the three main sub-types of opposites (that is, antonym, complementary, converse) in discourse function distributions. The author also considers the features of this Chinese study and compares it to similar studies of English and Japanese. In all, it offers a practical view of how opposites are used in a certain language as a response to the puzzles lingering in theoretical fields. This study appeals to linguists, computational linguists and language-lovers. With numerous tables, illustrations and examples, it is easy to read but also encourages readers to link their personal instincts with the results from a large corpus to experience the beauty of language as a shared human resource.
Life After Google: The Fall of Big Data and the Rise of the Blockchain Economy
by George Gilder“Google’s algorithms assume the world’s future is nothing more than the next moment in a random process. George Gilder shows how deep this assumption goes, what motivates people to make it, and why it’s wrong: the future depends on human action.” — Peter Thiel, founder of PayPal and Palantir Technologies and author of Zero to One: Notes on Startups, or How to Build the Future. “If you want to be clued in to the unfolding future, then you have come to the right place. For decades, George Gilder has been the undisputed oracle of technology’s future. Are giant companies like Google, Amazon, and Facebook the unstoppable monopolistic juggernauts that they seem, or are they dysfunctional giants about to be toppled by tech-savvy, entrepreneurial college dropouts?” — Nick Tredennick, Ph.D., Chief Scientist, QuickSilver Technolog Silicon Valley’s Nervous Breakdown The Age of Google, built on big data and machine intelligence, has been an awesome era. But it’s coming to an end. In Life after Google, George Gilder—the peerless visionary of technology and culture—explains why Silicon Valley is suffering a nervous breakdown and what to expect as the post-Google age dawns. Google’s astonishing ability to “search and sort” attracts the entire world to its search engine and countless other goodies—videos, maps, email, calendars….And everything it offers is free, or so it seems. Instead of paying directly, users submit to advertising. The system of “aggregate and advertise” works—for a while—if you control an empire of data centers, but a market without prices strangles entrepreneurship and turns the Internet into a wasteland of ads. The crisis is not just economic. Even as advances in artificial intelligence induce delusions of omnipotence and transcendence, Silicon Valley has pretty much given up on security. The Internet firewalls supposedly protecting all those passwords and personal information have proved hopelessly permeable. The crisis cannot be solved within the current computer and network architecture. The future lies with the “cryptocosm”—the new architecture of the blockchain and its derivatives. Enabling cryptocurrencies such as bitcoin and ether, NEO and Hashgraph, it will provide the Internet a secure global payments system, ending the aggregate-and-advertise Age of Google. Silicon Valley, long dominated by a few giants, faces a “great unbundling,” which will disperse computer power and commerce and transform the economy and the Internet. Life after Google is almost here. For fans of "Wealth and Poverty," "Knoweldge and Power," and "The Scandal of Money."
Lifelong Technology-Enhanced Learning: 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings (Lecture Notes in Computer Science #11082)
by Viktoria Pammer-Schindler Mar Pérez-Sanagustín Hendrik Drachsler Raymond Elferink Maren ScheffelThis book constitutes the proceedings of the 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, held in Leeds, UK, in September 2018.The 42 full and short papers, 7 demo papers, and 23 poster papers presented in this volume were carefully reviewed and selected from 142 submissions. This year, the European Conference on Technology-Enhanced Learning (EC-TEL) will engage researchers, practitioners, educational developers, entrepreneurs and policy makers in a joint discussion on how to put science, technology and practice at the service of learning to embrace these challenges on the topic: Lifelong technology enhanced learning: Dealing with the complexity of 21st century challenges. Chapter "" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Light and Lens: Photography in the Digital Age
by Robert HirschThe new edition of this pioneering book allows students to acquire an essential foundation for digital photography. Fully updated, it clearly and concisely covers the fundamental concepts of imagemaking, how to use digital technology to create compelling images, and how to output and preserve images in the digital world. Exploring history, methods, and theory, this text offers classroom-tested assignments and exercises from leading photographic educators, approaches for analyzing, discussing, and writing about photographs, and tools to critically explore and make images with increased visual literacy. New to this edition: • New larger page format • Revised and renewed to reflect technological advances • Expanded coverage of smartphone/mobile photography • Extended coverage of the careers section • More than 100 new images
Lights, Music, Code! #3 (Girls Who Code)
by Jo Whittemore Reshma SaujaniPerfect for fans of The Babysitters Club and anyone interested in computer science, this series is published in partnership with the organization Girls Who Code!Maya and her friends from coding club have an exciting new project: they're coding lights and music for the winter dance! But when Maya's old troublemaking friend Maddie moves to town, Maya starts spending a lot of time with her, and less time with her coding friends. Maddie just gets her in a way that her other friends don't. Will Maya get swayed by Maddie's wayward ways, or will she stay true to her "permanent group" from coding club? And will she come through on her part for the light and music coding project? Maybe coding--like friendship--is about being there for your friends when they need you the most.
Linear Algebra and Analytic Geometry for Physical Sciences (Undergraduate Lecture Notes in Physics)
by Alessandro Zampini Giovanni LandiA self-contained introduction to finite dimensional vector spaces, matrices, systems of linear equations, spectral analysis on euclidean and hermitian spaces, affine euclidean geometry, quadratic forms and conic sections. The mathematical formalism is motivated and introduced by problems from physics, notably mechanics (including celestial) and electro-magnetism, with more than two hundreds examples and solved exercises.Topics include: The group of orthogonal transformations on euclidean spaces, in particular rotations, with Euler angles and angular velocity. The rigid body with its inertia matrix. The unitary group. Lie algebras and exponential map. The Dirac’s bra-ket formalism. Spectral theory for self-adjoint endomorphisms on euclidean and hermitian spaces. The Minkowski spacetime from special relativity and the Maxwell equations. Conic sections with the use of eccentricity and Keplerian motions. An appendix collects basic algebraic notions like group, ring and field; and complex numbers and integers modulo a prime number.The book will be useful to students taking a physics or engineer degree for a basic education as well as for students who wish to be competent in the subject and who may want to pursue a post-graduate qualification.
Link-Layer Cooperative Communication in Vehicular Networks
by Sailesh Bharati Weihua ZhuangThis book presents link-layer cooperative frameworks to improve transmission reliability and network throughput of distributed TDMA MAC protocols in vehicular ad hoc networks (VANETs). The main objective of this book is to present link-layer node cooperation schemes to enhance the link-layer performance of vehicular networks, in terms of reliability and system throughput. The authors present approaches proposed for the medium access control (MAC) and node cooperation in VANETs. The authors also cover cooperative ADHOC MAC for point-to-point communication between a pair of source and destination nodes, and cooperative relay broadcasting for broadcast services in this book. The performance of node cooperation frameworks is evaluated via mathematical analysis and computer simulations, in comparison with distributed TDMA MAC protocols without cooperation. The proposed node cooperation frameworks enhance the performance of distributed TDMA MAC and make it more robust to tackle the dynamic networking conditions in VANETs. Furthermore, with cooperation enabled transmission, the performance of distributed TMDA MAC is more suitable to support the wide range of mobile applications and their strict service requirements which is discussed in this book. The proposed node cooperation schemes and distributed cooperation decisions can be extended to wireless systems other than distributed TDMA MAC, such as cellular communication, for vehicular communications introduced in this book. This book is useful for researchers from academia and industry, as well as advanced level students interested in vehicular communication networks. It is also useful for professionals and engineers developing applications that use cooperative wireless communication systems.
LinkedIn For Dummies
by Joel EladMake LinkedIn your number one professional branding tool LinkedIn is the premiere social network for professionals looking to discover new opportunities, enhance personal branding, connect with other professionals, and make career advancements. With LinkedIn For Dummies, you’ll have step-by-step instructions on how to take advantage of the latest tools and features to do all of this and more. This book will teach you how to create an attractive profile that employers will notice, as well as ways to expand your network by making connections around the globe. You'll also learn how to best navigate the new user interface, write recommendations, take a course with LinkedIn Learning, and conduct your job search. Create an appealing, detailed profile Establish your credibility and personal brand Connect with employers and find jobs Request and write recommendations Whether you’re one of LinkedIn’s 500 million global members or brand new to the site, this authoritative resource helps you get the most out of the world’s largest professional network.
Linux: The Textbook, Second Edition
by Syed Mansoor Sarwar Robert M KoretskyLinux: The Textbook, Second Edition provides comprehensive coverage of the contemporary use of the Linux operating system for every level of student or practitioner, from beginners to advanced users. The text clearly illustrates system-specific commands and features using Debian-family Debian, Ubuntu, and Linux Mint, and RHEL-family CentOS, and stresses universal commands and features that are critical to all Linux distributions. The second edition of the book includes extensive updates and new chapters on system administration for desktop, stand-alone PCs, and server-class computers; API for system programming, including thread programming with pthreads; virtualization methodologies; and an extensive tutorial on systemd service management. Brand new online content on the CRC Press website includes an instructor’s workbook, test bank, and In-Chapter exercise solutions, as well as full downloadable chapters on Python Version 3.5 programming, ZFS, TC shell programming, advanced system programming, and more. An author-hosted GitHub website also features updates, further references, and errata. Features New or updated coverage of file system, sorting, regular expressions, directory and file searching, file compression and encryption, shell scripting, system programming, client-server–based network programming, thread programming with pthreads, and system administration Extensive in-text pedagogy, including chapter objectives, student projects, and basic and advanced student exercises for every chapter Expansive electronic downloads offer advanced content on Python, ZFS, TC shell scripting, advanced system programming, internetworking with Linux TCP/IP, and many more topics, all featured on the CRC Press website Downloadable test bank, work book, and solutions available for instructors on the CRC Press website Author-maintained GitHub repository provides other resources, such as live links to further references, updates, and errata
Linux: A Comprehensive Beginners Guide to Learn and Execute Linux Programming
by Daniel JonesIf you want to learn Linux programming, there’s not a better book on the market for you. This Powerful pack of 4 books is going to assume you know absolutely nothing about Linux, then teach you everything from A-Z, some of the most significant topics that will be covered in this book are as follows: The most common and useful Linux command line tools How to write Bash scripts and automate your command line workflow How to program in C++ and Python How to understand and think about high-level programming concepts in order to become a better programmer in the end The differences between functional and object-oriented programming and how they apply to you You may be absolutely stumped and not know where to look. However, this book will teach you everything you need to know - and fast! Without mincing words, the book teaches you two programming languages, how to write scripts, and how to navigate the Linux command line very well. So what are you waiting for? Pick up a copy of this 4 Books bundle now and get to programming on Linux like a master!
Linux Administration Cookbook: Insightful recipes to work with system administration tasks on Linux
by Adam K. DeanOver 100 recipes to get up and running with the modern Linux administration ecosystem Key Features Understand and implement the core system administration tasks in Linux Discover tools and techniques to troubleshoot your Linux system Maintain a healthy system with good security and backup practices Book Description Linux is one of the most widely used operating systems among system administrators,and even modern application and server development is heavily reliant on the Linux platform. The Linux Administration Cookbook is your go-to guide to get started on your Linux journey. It will help you understand what that strange little server is doing in the corner of your office, what the mysterious virtual machine languishing in Azure is crunching through, what that circuit-board-like thing is doing under your office TV, and why the LEDs on it are blinking rapidly. This book will get you started with administering Linux, giving you the knowledge and tools you need to troubleshoot day-to-day problems, ranging from a Raspberry Pi to a server in Azure, while giving you a good understanding of the fundamentals of how GNU/Linux works. Through the course of the book, you'll install and configure a system, while the author regales you with errors and anecdotes from his vast experience as a data center hardware engineer, systems administrator, and DevOps consultant. By the end of the book, you will have gained practical knowledge of Linux, which will serve as a bedrock for learning Linux administration and aid you in your Linux journey. What you will learn Install and manage a Linux server, both locally and in the cloud Understand how to perform administration across all Linux distros Work through evolving concepts such as IaaS versus PaaS, containers, and automation Explore security and configuration best practices Troubleshoot your system if something goes wrong Discover and mitigate hardware issues, such as faulty memory and failing drives Who this book is for If you are a system engineer or system administrator with basic experience of working with Linux, this book is for you.
Linux All-In-One For Dummies: All-in-one Desk Reference For Dummies
by Emmett Dulaney8 mini books chock full of Linux! Inside, over 800 pages of Linux topics are organized into eight task-oriented mini books that help you understand all aspects of the latest OS distributions of the most popular open-source operating system in use today. Topics include getting up and running with basics, desktops, networking, internet services, administration, security, scripting, Linux certification, and more. This new edition of Linux All-in-One For Dummies has a unique focus on Ubuntu, while still including coverage of Debian, Red Hat, SuSE, and others. The market is looking for administrators, and part of the qualifications needed for job openings is the authentication of skills by vendor-neutral third parties (CompTIA/Linux Professional Institute)—and that’s something other books out there don’t address. Install and configure peripherals, software packages, and keep everything current Connect to the internet, set up a local area network (including a primer on TCP/IP, and managing a local area network using configuration tools and files) Browse the web securely and anonymously Get everything you need to pass your entry-level Linux certification exams This book is for anyone getting familiar with the Linux OS, and those looking for test-prep content as they study for the level-1 Linux certification!
Linux in Action
by David ClintonSummaryLinux in Action is a task-based tutorial that will give you the skills and deep understanding you need to administer a Linux-based system. This hands-on book guides you through 12 real-world projects so you can practice as you learn. Each chapter ends with a review of best practices, new terms, and exercises. Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.About the TechnologyYou can't learn anything without getting your hands dirty including Linux. Skills like securing files, folders, and servers, safely installing patches and applications, and managing a network are required for any serious user, including developers, administrators, and DevOps professionals. With this hands-on tutorial, you'll roll up your sleeves and learn Linux project by project.About the BookLinux in Action guides you through 12 real-world projects, including automating a backup-and-restore system, setting up a private Dropbox-style file cloud, and building your own MediaWiki server. You'll try out interesting examples as you lock in core practices like virtualization, disaster recovery, security, backup, DevOps, and system troubleshooting. Each chapter ends with a review of best practices, new terms, and exercises. What's insideSetting up a safe Linux environmentManaging secure remote connectivityBuilding a system recovery devicePatching and upgrading your systemAbout the ReaderNo prior Linux admin experience is required.About the AuthorDavid Clinton is a certified Linux Server Professional, seasoned instructor, and author of Manning's bestselling Learn Amazon Web Services in a Month of Lunches.Table of ContentsWelcome to Linux Linux virtualization: Building a Linux working environment Remote connectivity: Safely accessing networked machines Archive management: Backing up or copying entire file systems Automated administration: Configuring automated offsite backups Emergency tools: Building a system recovery device Web servers: Building a MediaWiki serverNetworked file sharing: Building a Nextcloud file-sharing serverSecuring your web serverSecuring network connections: Creating a VPN or DMZ System monitoring: Working with log files Sharing data over a private network Troubleshooting system performance issues Troubleshooting network issues Troubleshooting peripheral devices DevOps tools: Deploying a scripted server environment using Ansible
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.
Listening In: Cybersecurity in an Insecure Age
by Susan LandauA cybersecurity expert and former Google privacy analyst’s urgent call to protect devices and networks against malicious hackers and misinformed policymakers New technologies have provided both incredible convenience and new threats. The same kinds of digital networks that allow you to hail a ride using your smartphone let power grid operators control a country’s electricity—and these personal, corporate, and government systems are all vulnerable. In Ukraine, unknown hackers shut off electricity to nearly 230,000 people for six hours. North Korean hackers destroyed networks at Sony Pictures in retaliation for a film that mocked Kim Jong-un. And Russian cyberattackers leaked Democratic National Committee emails in an attempt to sway a U.S. presidential election. And yet despite such documented risks, government agencies, whose investigations and surveillance are stymied by encryption, push for a weakening of protections. In this accessible and riveting read, Susan Landau makes a compelling case for the need to secure our data, explaining how we must maintain cybersecurity in an insecure age.
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 Typer
by Daniel P. Friedman David Thrane ChristiansenAn introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer. The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming—pairs, lists, functions, and recursion—can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.