Программирование | книги

Из книги вы узнаете о современных датчиках и о множестве способов, которыми они могут передавать данные на микроконтроллер. Вы также познакомитесь с типичными стратегиями получения надежных данных, подробно изучите ресурсы, доступные на мощной и недорогой плате Raspberry Pi Pico для подключения датчиков, и научитесь использовать их при программировании на C/C++, MicroPython и CircuitPython.

Раскрываем, как современные технологии и инструменты меняют роль разработчика, смещая фокус с написания кода на управление им. Автор предлагает практические стратегии для эффективной интеграции ИИ в рабочий процесс, учит формулировать четкие задачи, оценивать ИИ-код и адаптироваться к будущему, где ИИ — незаменимый помощник. Независимо от вашего опыта эта книга поможет оставаться востребованным специалистом в мире, где ИИ становится ключевым игроком в разработке.

Верификацией называется процесс проверки соответствия программы требованиям (выяснения, является программа правильной или ошибочной). Данная книга посвящена важнейшему классу методов верификации — формальным методам и включает 16 лекций, сопровождаемых вопросами для самопроверки и упражнениями. В числе рассматриваемых тем: обзор базовых методов верификации; дедуктивный анализ программ; проверка моделей; использование формальных методов в тестировании. Издание будет полезно программистам, студентам и аспирантам, а также преподавателям и исследователям в области информатики и вычислительной техники. Ожидается, что читатель знает основы дискретной математики и математической логики.

PostGIS – расширение PostgreSQL с открытым исходным кодом для работы с пространственными базами данных. Оно предоставляет мощные механизмы для решения практически любых задач, связанных с геоданными. Эта книга призвана послужить путеводителем по сотням функций, предлагаемых PostGIS. Начав с изучения геоинформационных систем, основанных на векторных, растровых и топологических объектах, вы перейдете к анализу, визуализации и отображению данных на карте, а также научитесь создавать пользовательские функции для приложений, на конкретных примерах освоите навыки решения распространенных проблем.

Когда дело доходит до выбора, использования и обслуживания базы данных, важно понимать ее внутреннее устройство. Как разобраться в огромном море доступных сегодня распределенных баз данных и инструментов? На что они способны? Чем различаются? Алекс Петров знакомит нас с концепциями, лежащими в основе внутренних механизмов современных баз данных и хранилищ. Для этого ему пришлось обобщить и систематизировать разрозненную информацию из многочисленных книг, статей, постов и даже из нескольких баз данных с открытым исходным кодом. Вы узнаете о принципах и концепциях, используемых во всех типах СУБД, с акцентом на подсистеме хранения данных и компонентах, отвечающих за распределение. Эти алгоритмы используются в базах данных, очередях сообщений, планировщиках и в другом важном инфраструктурном программном обеспечении. Вы разберетесь, как работают современные системы хранения информации, и это поможет взвешенно выбирать необходимое программное обеспечение и выявлять потенциальные проблемы.

Эта книга научит вас создавать современные модели глубокого обучения с помощью самых мощных и популярных фреймворков TensorFlow, Keras и PyTorch. Независимо от того, являетесь ли вы опытным специалистом в области машинного обучения или только начинаете свою карьеру, она снабдит вас инструментами и знаниями для решения сложных задач в области искусственного интеллекта.

Издание адресовано специалистам по обработке данных, разработчикам, инженерам и энтузиастам ИИ, стремящимся развивать свои навыки и работать с самыми передовыми инструментами.

Цель этой книги – провести читателя по захватывающему пути создания метавселенных и виртуальных миров, снабдив его навыками и знаниями, необходимыми для формирования собственных цифровых реальностей. В основе этой технологической одиссеи лежит платформа Unity, которая произвела революцию в реализации интерактивных взаимодействий человека и машины. Читатели пройдут весь путь от изучения основ до создания продвинутых мультивселенных, научатся интегрировать в свое творчество сервисы Firebase и создавать многопользовательские миры с помощью сетевого SDK Proton. Книга адресована программистам и гейм-дизайнерам, желающим приступить к разработке метавселенных и виртуальных миров, но будет интересна также энтузиастам передовых технологий и любителям видеоигр.

Искусственный интеллект стремительно развивается, и именно большие языковые модели (LLM) задают направление всей индустрии. Погрузитесь в процесс проектирования, обучения и развертывания LLM в реальных бизнес-задачах, опираясь на лучшие практики MLOps. Авторы шаг за шагом показывают, как создать экономичную, масштабируемую и модульную систему на основе LLM. Вместо простых экспериментов в изолированных блокнотах Jupyter научитесь строить комплексные системы, готовые к полноценной эксплуатации.

Эта книга научит вас проектировать системы на уровне типов, когда они служат главным инструментом моделирования, расширяемости и обеспечения корректности. Никакого академизма и бессмысленных абстракций! Только практичность, системность, универсальность и быстрая отдача. Книга предоставляет единую методологию проектирования на типах для трех языков: Haskell, Rust, и Scala 3.
Издание адресовано всем, кто интересуется программированием на типах и хочет извлечь из них максимум пользы.

Книга предлагает подходы и паттерны для нетривиального кода, где все выражено через типы: бизнес-логика, предметно-ориентированные языки, механизмы корректности и расширяемости. Инженерию от простого программирования отличает целостный взгляд на систему, и вниманию читателей предлагается прагматичная методология создания приложений – от сбора требований до архитектуры и проектирования компонентов. Универсальность изложенных идей показана на примерах для трех языков: Haskell, Scala и Rust. Основные темы, рассматриваемые в книге: шаблоны проектирования уровня типов; расширяемость и адаптивные архитектуры приложений; интерфейсы на уровне типов; предметно-ориентированные языки на уровне типов; типобезопасность и статическая целостность; корректность и верификация на уровне типов; типизированные формы – визуальный язык для проектирования; методология Pragmatic Type-Level Design (PTLD).

Александр Гранин – разработчик и архитектор программного обеспечения с более чем 15-летним стажем. Международный спикер, исследователь и автор книг по функциональному программированию, включая “Functional Design and Architecture”. Его миссия – вооружить разработчиков практическими знаниями и построить целостную инженерную дисциплину создания приложений на статически типизированных функциональных языках.

Книга рассказывает о криптографии на эллиптических кривых (ЕСС), которая применяется в таких разных областях, как операции по кредитным картам и блокчейн. С помощью описанных в книге методов и примеров кода на C вы реализуете криптографические протоколы, которые более безопасны, чем распространенные в настоящее время системы на базе RSA, но при этом менее требовательны к памяти.

OAuth – мощный фреймворк для обеспечения безопасности API – предлагает инструменты, помогающие защитить конфиденциальность бизнес данных и реализовать динамический контроль доступа. Он позволяет выйти за рамки простых запретов и определить политики безопасности, соответствующие потребностям бизнеса, но для полного раскрытия его потенциала необходимо овладеть стратегиями адаптации к меняющимся требованиям безопасности.

Данное руководство адресовано разработчикам, архитекторам и специалистам по безопасности, желающим освоить передовые методы защиты API в эпоху облачных технологий.

Протокол контекста модели (Model Context Protocol, MCP) служит связующим звеном между ИИ-приложениями и внешними расширениями. MCP стремительно меняет экосистему ИИ и стал общепринятым отраслевым стандартом. Основная цель этой книги – помочь читателю получить всестороннее и системное представление о MCP, включая историю его появления, принципы работы, архитектуру протокола, сценарии применения и экосистему. На примере реальных кейсов в книге рассказывается об использовании и разработке MCP-серверов и клиентов, а также о том, как создавать на основе MCP востребованные ИИ-приложения - диалоговых помощников и интеллектуальных агентов.

Издание адресовано всем, кто хочет детально изучить MCP и применять его в работе.

Книга рассказывает о библиотеке D3.js, которая позволяет создавать сложную инфографику, диаграммы и визуализации данных с применением стандартных инструментов разработки веб интерфейсов, включая JavaScript, HTML и CSS. Вы научитесь воспроизводить анимационные эффекты и настраивать адаптивные отображения на мобильных устройствах. Каждая глава содержит законченный проект визуализации, иллюстрирующий применение новых навыков на практике.

Издание адресовано веб-разработчикам, владеющим навыками использования HTML, CSS и JavaScript.

В отличие от традиционных ИИ-систем, агенты не просто отвечают на ваши вопросы, а по-настоящему выполняют за вас работу. В книге подробно описана экосистема OpenClaw – популярного ИИ-агента с открытым исходным кодом, предназначенного для широкого использования людьми, не имеющими специальной подготовки. Понятные пояснения и примеры помогут вам без промедления создать и настроить персонального ассистента, способного взять на себя всю рутинную работу.

Haskell – это мощный и красивый, но непростой функциональный язык программирования. Вы научитесь создавать Haskell-приложения на примерах разработки полезных и увлекательных проектов. Вас ждут язык для сочинения музыки, библиотека обработки изображений и многое другое! Особое внимание уделено таким вопросам, как проектирование функций, композиция и неизменяемость данных.

Книга предназначена начинающим и опытным программистам, желающим освоить функциональное программирование. Ожидается, что читатель знает какой-либо объектно ориентированный язык.

Генеративный ИИ произвел революцию в том, как организации решают проблемы, ускорив переход от концепции к прототипу и готовому решению. По мере роста возможностей моделей наблюдается появление нового паттерна проектирования — ИИ-агентов. Сочетание инструментов, знаний, памяти и механизмов обучения с продвинутыми фундаментальными моделями позволяет выстраивать последовательности из нескольких инференсов моделей для решения неоднозначных и сложных задач. Агенты — от помощников разработчика до исследовательских и аналитических агентов — уже ускоряют работу команд и целых организаций. Хотя эти агенты повышают эффективность, они часто требуют тщательного планирования и многочисленных правок, а их развертывание остается проблемой во многих организациях, особенно при стремительном развитии технологий и исследований.

Автор Майкл Альбада предлагает практический и основанный на исследованиях подход к проектированию и внедрению одно- и мультиагентных систем. Он упрощает сложности и вооружает инструментами для эффективного перехода от концепций к решению.

Системная инженерия — ключевой инструмент для разработки сложных систем на всех этапах их жизненного цикла. В обновленном издании эксперт в области системной инженерии подробно рассказывает, что следует учитывать при проектировании надежных и эффективных систем. В книге рассматриваются современные подходы Model-Based Systems Engineering (MBSE) и методы их развертывания с использованием Trinity. Вы подробно изучите жизненный цикл систем, инженерные процессы и методы внедрения системной инженерии и ее управления в организации.

В современном мире разработки ПО архитектура приложения играет ключевую роль. Но как убедиться, что выбранная архитектура действительно отвечает всем требованиям проекта? Именно здесь на сцену выходят метрики — комплексный процесс проверки соответствия архитектурных решений заданным требованиям и критериям качества. Чем позже обнаружена проблема, тем дороже обходится её исправление. А когда речь идет об архитектурных решениях, цена ошибки возрастает в геометрической прогрессии.

Книга представляет собой комплексное руководство по применению искусственного интеллекта и машинного обучения (ИИ/ML) с целью снижения рисков для современного бизнеса, связанного с использованием этих технологий. Рассмотрены основы управления рисками и компьютерной безопасности, нормативные акты, ответственность за качество продуктов, основанных на ML, а также объяснимые модели и методы их проверки, включая новый фреймворк управления рисками NIST AI.

Вы освоите набор инструментов Kali Linux для оценки уязвимостей, где ключевая роль отводится сбору информации, научитесь находить целевые системы, обнаруживать проблемы в безопасности устройств, эксплуатировать уязвимости сети и тестировать веб-приложения. Дойдя до конца захватывающего путешествия по вселенной Kali Linux, вы будете готовы к решению сложных задач по тестированию корпоративных сетей: новые навыки придадут вам уверенности в своих силах.