Название: Formal Verification of Just-In-Time Compilation
Автор: Aurèle Barrière
Издательство: ACM Books
Год: 2025
Страниц: 176
Язык: английский
Формат: epub (true)
Размер: 10.1 MB

This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time compilation to speed up the execution of the jаvascript programs they execute. However, the techniques used in Just-in-Time compilers can be particularly complex. This complexity can be a source of bugs and vulnerabilities. How can you make sure that your Just-in-Time compiler is bug-free? For traditional ahead-of-time compilers, many techniques have been developed to prevent compilation bugs. One such technique is formally verified compilation, where the compiler itself comes with proof that the semantics of the compiled program correspond to the semantics of the source program. But Just-in-Time compilers are more recent, less understood, and have been the target of far fewer verification efforts.

Название: Elliptic Curve Cryptography for Developers (Final Release)
Автор: Michael Rosing
Издательство: Manning Publications
Год: 2025
Страниц: 352
Язык: английский
Формат: epub
Размер: 10.1 MB

Make your public key protocols smaller and more secure with this accessible guide to Elliptic Curve Cryptography. Elliptic Curve Cryptography for Developers introduces the mathematics of elliptic curves—a powerful alternative to the prime number-based RSA encryption standard. You’ll learn to deliver zero-knowledge proofs and aggregated multi-signatures that are not even possible with RSA mathematics. All you need is the basics of calculus you learned in high school. The book gradually introduces the concepts and subroutines you’ll need to master with diagrams, flow charts, and accessible language. Each chapter builds on what you’ve already learned, with step-by-step guidance until you’re ready to write embedded systems code with advanced mathematical algorithms. The Elliptic Curve Cryptography (ECC) protocol secures everything from credit card transactions to the blockchain. With a little C code, high school calculus, and the techniques in this book, you can implement ECC cryptographic protocols that are smaller and more secure than the RSA-based systems in common use today. Readers need to understand basic calculus. Examples in C.

Название: Fundamentals of Software Architecture: A Modern Engineering Approach, 2nd Edition (Final Release)
Автор: Mark Richards, Neal Ford
Издательство: O’Reilly Media, Inc.
Год: 2025
Страниц: 615
Язык: английский
Формат: epub
Размер: 20.8 MB

Salary surveys worldwide regularly place software architect in the top 10 best jobs, yet no real guide exists to help developers become architects. Until now. This updated edition provides a comprehensive overview of software architecture's many aspects, with five new chapters covering the latest insights from the field. Aspiring and existing architects alike will examine architectural characteristics, architectural patterns, component determination, diagramming architecture, governance, data, generative AI, team topologies, and many other topics. Mark Richards and Neal Ford—hands-on practitioners who have taught software architecture classes professionally for years—focus on architecture principles that apply across all technology stacks. You'll explore software architecture in a modern light, taking into account all the innovations of the past decade.

Название: Excel с Python и R: раскройте потенциал расширенной обработки и визуализации данных
Автор: Стивен Сандерсон, Дэвид Кун
Издательство: Спринт Бук
Год: 2025
Страниц: 320
Язык: русский
Формат: pdf, epub
Размер: 21.0 MB

Анализ и визуализация данных имеют большое значение, именно они позволяют принимать обоснованные решения. Но в Excel достаточно много ограничений, которые превращают вашу жизнь в ад. «Excel с Python и R» меняет правила. Стивен Сандерсон — автор пакетов healthyverse для R, Дэвид Кун — соучредитель Functional Analytics, компании, создавшей ownR (платформа для разработки решений на R, Python и других языках обработки данных). Интеграция Python и R с Excel изменит ваш подход к анализу данных с использованием электронных таблиц. Вы сможете автоматизировать задачи статистического анализа и создавать мощные визуализации, научитесь выполнять разведочный анализ данных и анализ временных рядов и даже интегрировать различные API для максимальной эффективности. И новички, и эксперты найдут в этой книге все необходимое, чтобы раскрыть весь потенциал Excel и поднять навыки анализа данных на новый уровень. К концу книги вы освоите приемы импортирования данных из Excel, манипулирования ими в R или Python, сможете решать задачи анализа данных в выбранном вами фреймворке и возвращать результаты обратно в Excel.

Название: Mastering Functional Programming in Python: Unlock the Secrets of Expert-Level Skills
Автор: Larry Jones
Издательство: Walzone Press
Год: 2025
Страниц: 513
Язык: английский
Формат: pdf, epub, mobi
Размер: 10.1 MB

In a rapidly evolving software development landscape, possessing a deep understanding of diverse programming paradigms is essential for success. "Mastering Functional Programming in Python: Unlock the Secrets of Expert-Level Skills" serves as a crucial guide for experienced programmers aiming to expand their mastery of Python by delving into the world of functional programming. This book demystifies complex concepts and presents clear, practical insights that empower developers to harness Python's versatile functionalities with finesse and precision. Embark on an enlightening journey through core concepts such as immutability, higher-order functions, and recursion, while exploring advanced topics like monads, concurrency, and parallelism. The book vividly demonstrates how functional programming principles can transform code reliability, scalability, and efficiency, offering readers a blend of theoretical knowledge and hands-on application. With Python's robust capabilities, this text prepares you to tackle real-world challenges using functional paradigms, enhancing your ability to produce high-quality, maintainable code.

Название: Neural Networks with Tensorflow and Keras: Training, Generative Models, and Reinforcement Learning
Автор: Philip Hua
Издательство: Apress
Год: 2024
Страниц: 182
Язык: английский
Формат: pdf (true), epub (true)
Размер: 19.3 MB

Explore the capabilities of Machine Learning and neural networks. This comprehensive guidebook is tailored for professional programmers seeking to deepen their understanding of neural networks, Machine Learning (ML) techniques, and large language models (LLMs). The book explores the core of Machine Learning techniques, covering essential topics such as data pre-processing, model selection, and customization. It provides a robust foundation in neural network fundamentals, supplemented by practical case studies and projects. You will explore various network topologies, including Deep Neural Networks (DNN), Recurrent Neural Networks (RNN), Long Short-Term Memory (LSTM) networks, Variational Autoencoders (VAE), Generative Adversarial Networks (GAN), and Large Language Models (LLMs). Each concept is explained with clear, step-by-step instructions and accompanied by Python code examples using the latest versions of TensorFlow and Keras, ensuring a hands-on learning experience.

Название: Web Scraping with Python Programming: Guide To Learn How To Extract Data Farm The Web with Exercises in Python
Автор: Ane Gaytan, James A Smith
Издательство: Independently published
Год: September 29, 2024
Страниц: 165
Язык: английский
Формат: pdf, azw3, epub, mobi
Размер: 10.1 MB

Python is an easy to use and easy to learn programming language that is freely available on Macintosh, Windows, or Linux computers. So once you learn Python you can use it for the rest of your career without needing to purchase any software. Python is one of the easiest ways to get started as it is an object-oriented language. Python’s classes and objects are significantly easier to use than in any other language. Additionally, many libraries exist that make building a tool for web scraping in Python an absolute breeze. In this web scraping Python tutorial, we will outline everything needed to get started with a simple application. It will acquire text-based data from page sources, store it into a file and sort the output according to set parameters. Options for more advanced features when using Python for web scraping will be outlined at the very end, with suggestions for implementation. By following the steps outlined below in this tutorial, you will be able to understand how to do web scraping.

Название: Mastering Microservices with Java and Spring Boot: Unlock the Secrets of Expert-Level Skills
Автор: Larry Jones
Издательство: Walzone Press
Год: 2025
Страниц: 547
Язык: английский
Формат: epub (true)
Размер: 10.1 MB

Discover the intricate dynamics of modern software development with "Mastering Microservices with Java and Spring Boot: Unlock the Secrets of Expert-Level Skills". This authoritative guide empowers experienced developers to harness the full potential of microservices architecture. By delving into advanced Java techniques and leveraging the robust capabilities of Spring Boot, you'll gain the insights necessary to build scalable, resilient, and highly adaptable systems that meet the demands of today's fast-paced digital landscape. This comprehensive book walks you through essential topics with precision and clarity, addressing core facets like efficient deployment, inter-service communication, and robust security mechanisms. Learn how to deploy and manage microservices effectively, ensuring optimal performance and reliability. Explore real-world techniques and best practices for monitoring, testing, and scaling, all designed to enhance your architectural robustness and system efficiency. With a focus on practical application and advanced theory, this guide ensures an analytical approach to mastering microservices.

Название: Generative AI on Kubernetes: Operationalizing Large Language Models (Early Release)
Автор: Roland Huß, Daniele Zonca
Издательство: O’Reilly Media, Inc.
Год: 2025-03-12
Страниц: 108
Язык: английский
Формат: epub
Размер: 10.1 MB

Generative AI is revolutionizing industries, and Kubernetes has fast become the backbone for deploying and managing these resource-intensive workloads. This book serves as a practical, hands-on guide for MLOps engineers, software developers, Kubernetes administrators, and AI professionals ready to unlock AI innovation with the power of cloud native infrastructure. Authors Roland Huß and Daniele Zonca provide a clear road map for training, fine-tuning, deploying, and scaling GenAI models on Kubernetes, addressing challenges like resource optimization, automation, and security along the way. With actionable insights with real-world examples, readers will learn to tackle the opportunities and complexities of managing GenAI applications in production environments. Whether you're experimenting with large-scale language models or facing the nuances of AI deployment at scale, you'll uncover expertise you need to operationalize this exciting technology effectively.

Название: Mastering Java Reflection and Metaprogramming: Unlock the Secrets of Expert-Level Skills
Автор: Larry Jones
Издательство: Walzone Press
Год: 2025
Страниц: 517
Язык: английский
Формат: epub (true)
Размер: 10.8 MB

"Mastering Java Reflection and Metaprogramming: Unlock the Secrets of Expert-Level Skills" is an essential resource for seasoned Java developers eager to delve into the advanced capabilities that set apart proficient programmers. This book demystifies the powerful yet complex topics of reflection and metaprogramming, empowering developers to craft more adaptable, flexible, and dynamic applications. Each chapter methodically unpacks intricate concepts, equipping readers with the skills to transform how they approach Java programming. Dive into a meticulously curated exploration of Java's most sophisticated features, including dynamic class loading, bytecode manipulation, and the strategic use of annotations. Through a balanced blend of theoretical depth and practical application, this book offers readers valuable insights into the seamless integration of reflection with modern Java features. Learn how to optimize performance while maintaining the highest security standards, ensuring your applications are both efficient and resilient to potential vulnerabilities.