Название: Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Автор: Boro Sitnikovski
Издательство: Apress
Год: 2023
Страниц: 128
Язык: английский
Формат: pdf
Размер: 10.2 MB

Idris is a programming language designed to encourage Type-Driven Development. Dependent types are a concept that allows developers to write proof-carrying code. In Idris, types are first-class constructs in the language. This means types can be passed as arguments to functions, and returned from functions just like any other value, such as numbers, strings, or lists. This book will teach you the mathematical foundations of Idris as well as how to use it to write software and mathematically prove properties. Idris is a general-purpose functional1 programming language that supports dependent types. The features of Idris are influenced by Haskell, another general-purpose functional programming language. Thus, Idris shares many features with Haskell, especially in the part of syntax and types, where Idris has a more advanced type system. There are several other programming languages that support dependent types; however, I chose Idris for its readable syntax.

Название: The Well-Grounded Python Developer (MEAP v9)
Автор: Doug Farrel
Издательство: Manning Publications
Год: 2023
Страниц: 278
Язык: английский
Формат: pdf (true)
Размер: 38.5 MB

When you’re new to Python, it can be tough to understand where and how to use its many language features. There’s a dizzying array of libraries, and it’s challenging to fit everything together. The Well-Grounded Python Developer builds on Python skills you’ve learned in isolation and shows you how to unify them into a meaningful whole. As you work through this practical guide, you’ll discover how all the bits of the Python ecosystem connect as you build and modify a typical web server application. Python is the perfect language for beginning programmers. It is easy to learn, with tons of helpful libraries and tools. Better still, it doesn’t run out of steam when you want to create more advanced applications for web development or Machine Learning. Once you’ve mastered the syntax of simple Python scripts, it can be a challenge to progress to more ambitious projects. This book helps you on that path. For beginner developers who have learned the basics of Python.

Название: Kafka Streams и ksqlDB: данные в реальном времени
Автор: Сеймур Митч
Издательство: Питер
Год: 2023
Формат: pdf
Страниц: 432
Размер: 17,6 Мб
Язык: русский

Работа с неограниченными и быстрыми потоками данных всегда была сложной задачей. Но Kafka Streams и ksqlDB позволяют легко и просто создавать приложения потоковой обработки. Из книги специалисты по обработке данных узнают, как с помощью этих инструментов создавать масштабируемые приложения потоковой обработки, перемещающие, обогащающие и преобразующие большие объемы данных в режиме реального времени. Митч Сеймур, инженер службы обработки данных в Mailchimp, объясняет важные понятия потоковой обработки на примере нескольких любопытных бизнес-задач. Он рассказывает о достоинствах Kafka Streams и ksqlDB, чтобы помочь вам выбрать наиболее подходящий инструмент для каждого уникального проекта потоковой обработки. Для разработчиков, не пишущих код на Java, особенно ценным будет материал, посвященный ksqlDB.

Название: Julia as a Second Language: General purpose programming with a taste of Data Science (Final Release)
Автор: Erik Engheim
Издательство: Manning Publications
Год: 2023
Страниц: 402
Язык: английский
Формат: pdf (true)
Размер: 23.8 MB

Learn Julia programming by building fun projects, like launching rockets, building password keepers, and even coding battle simulations. Julia as a Second Language introduces Julia to readers with a beginning-level knowledge of another language like Python or jаvascript. You’ll learn by coding engaging hands-on projects that encourage you to apply what you’re learning immediately. Don’t be put off by Julia’s reputation as a scientific programming language—there’s no data science or numerical computing knowledge required. You can get started with what you learned in high school math classes. Don’t be put off by Julia’s reputation as a scientific programming language. There’s no Data Science or numerical computing knowledge required. You can get started with what you learned in high school math classes.

Название: Code Like a Pro in Rust (MEAP v10)
Автор: Brenden Matthews
Издательство: Manning Publications
Год: 2023
Страниц: 217
Язык: английский
Формат: pdf (true)
Размер: 42.3 MB

Get ready to code like a pro in Rust! This hands-on guide dives deep into memory management, asynchronous programming, and Rust design patterns and explores essential productivity techniques like testing, tooling, and project management. Code Like A Pro in Rust is a fast-track guide to building and delivering professional quality software in Rust. You’ll upgrade your basic knowledge of Rust with conventions, best practices, and veteran’s secrets that are normally only learned through years of experience. Skip the fluff and get right to the heart of this powerful modern language, including Rust’s support for asynchronous programming and integrating Rust with codebases written in other languages. This is not an introductory book for the Rust language; this book is for those who’ve learned the basics of the language and want to fast forward past the bang-your-head-in-frustration phase of learning a new programming language. If you’re new to programming in general, you may find this book quite challenging, and while I won’t discourage you from reading it, you may find it difficult to follow.

Название: Demand Forecasting Best Practices (MEAP v2)
Автор: Nicolas Vandeput
Издательство: Manning Publications
Год: 2023
Язык: английский
Формат: pdf (true)
Размер: 37.5 MB

Master the demand forecasting skills you need to decide what resources to acquire, what products to produce, and where and how to distribute them. Demand Forecasting Best Practices is a handbook of techniques for effective demand planning for products of all types. You'll learn how to optimize your data, metrics, processes, models, and even people to make better decisions and deliver value to your supply chains. Discover pro tips from author Nicolas Vandeput's global career in supply chain consultancy, and dodge the common mistakes you might not know you're making. Illustrations, clear explanations, and relevant real-world examples make each concept easy to understand and easy to follow. Throughout the book, I will explain these best practices step by step, highlighting how they will lead you to efficacy (more useful forecasts) and efficiency (reducing your team’s workload while making the most out of their available time). Each chapter will be another opportunity for you to improve your forecasting process and make your forecasts more useful for your supply chain. You will have to use forecasting software or data management tools such as Python. Utilize different types of statistical and Machine Learning models.

Название: Let's Talk Python (MEAP v6)
Автор: Pavel Anni
Издательство: Manning Publications
Год: 2023
Страниц: 229
Язык: английский
Формат: pdf (true)
Размер: 44.9 MB

Learn Python the fun and easy way with your new friends Erik and Simon! This colorful book uses engaging questions and lively conversations to introduce computer programming to young readers one step at a time. Let's Talk Python is a unique Python beginners guide written especially for young people. There are no boring lessons or dull exercises. Instead, you'll team up with two brothers who are busy talking about Python programming and asking the same questions you are! As you follow along, you’ll learn from the brothers' mistakes, discover how to write programs with a team, and get a chance to create applications you can use in your daily life. All code in this book runs on Mac, Windows, Linux, and Raspberry Pi. Python is one of the best languages for new programmers!

Название: Agile Software Engineering Skills
Автор: Julian Michael Bass
Издательство: Springer
Год: 2023
Страниц: 320
Язык: английский
Формат: pdf (true)
Размер: 10.2 MB

This textbook is about working in teams to create functioning software. It covers skills in Agile software development methods, team working, version control and continuous integration and shows readers how to apply some of the latest ideas from lean, Agile and Kanban. Part I, which focuses on People, describes various project roles and the skills needed to perform each role. This includes members of self-organizing teams, scrum masters, product owners and activities for managing other stakeholders. The skills needed to create Product artefacts are detailed in Part II. These include skills to create Agile requirements, architectures, designs as well as development and security artefacts. The Agile development Process to coordinate with co-workers is described in Part III. It introduces the skills needed to facilitate an incremental process and to use software tools for version control and automated testing. Eventually some more advanced topics are explained in Part IV. These topics include large projects comprising multiple cooperating teams, automating deployment, cloud software services, DevOps and evolving live systems.

Название: The C++ Standard Library: What every professional C++ programmer should know about the C++ standard library: Fourth Edition Includes C++23
Автор: Rainer Grimm
Издательство: Leanpub
Год: 2023-03-11
Страниц: 344
Язык: английский
Формат: pdf (true), epub
Размер: 10.2 MB

With the current C++23 standard, C++ has many libraries to offer. My book's key idea is to give you concise the necessary information for all C++ standard libraries. "The C++ Standard Library" provides a detailed overview of the C++ Standard Library, including C++23. The C++ Standard Library aims to provide you with a concise reference of the C++ standard library in about 350 pages. This book assumes that you are familiar with C++. If so, you will get the most benefit from this book. If C++ is new to you, you should start with a textbook about core C++. Once you have mastered a textbook about the core language, you can make your next big step by reading my book. C++23 improved the big four of C++20: extended ranges functionality, the coroutine generator std::generator, and a modularized C++ standard library.

Название: Computer Vision: Statistical Models for Marr's Paradigm
Автор: Song-Chun Zhu, Ying Nian Wu
Издательство: Springer
Год: 2023
Страниц: 364
Язык: английский
Формат: pdf (true)
Размер: 15.7 MB

As the first book of a three-part series, this book is offered as a tribute to pioneers in vision, such as Bela Julesz, David Marr, King-Sun Fu, Ulf Grenander, and David Mumford. The authors hope to provide foundation and, perhaps more importantly, further inspiration for continued research in vision. This book covers David Marr's paradigm and various underlying statistical models for vision. The mathematical framework herein integrates three regimes of models (low-, mid-, and high-entropy regimes) and provides foundation for research in visual coding, recognition, and cognition. Concepts are first explained for understanding and then supported by findings in psychology and neuroscience, after which they are established by statistical models and associated learning and inference algorithms. A reader will gain a unified, cross-disciplinary view of research in vision and will accrue knowledge spanning from psychology to neuroscience to statistics. The primary aim of this book is to pursue knowledge representation for vision. In a world in which technology generates immense amounts of data from a wide spectrum of sources, it is of growing importance to establish a common framework for knowledge representation, learning, and discovery. A current problem in Artificial Intelligence is how to acquire truly massive amounts of knowledge, akin to the faculty of common sense in humans, from raw sensory signals and, moreover, use this knowledge for inference and reasoning.