LLVM 17: инфраструктура для разработки компиляторов
Перед вами руководство по LLVM 17 – системе разработки компиляторов и сопутствующих библиотек на C++. Вы узнаете, как написать и использовать реальные компиляторы, включая фронтальную часть, конвейер оптимизации и кодогенератор. Краткое содержание: - конфигурирование, компиляция и установка LLVM; - организация исходного кода LLVM; - знакомство с устройством компилятора и реализация...
Изучаем и используем Presto
Разработка Presto началась в компании Facebook в 2012 году. Сообщество разработчиков сразу же стало быстро расти и растёт до сих пор, но задача расширения и исправления распределённого SQL-движка, пусть и с открытым исходным кодом, сложна даже для самых опытных разработчиков. Эта книга представляет собой практическое руководство, прочитав которое аналитики, архитекторы...
Осваиваем Биткойн. Третье изд.
Всеобъемлющее введение в технологию биткойн на уровне, доступном для нетехнических пользователей, инвесторов и руководителей Станьте участником технологической революции, которая захватывает финансовый мир. Данная книга – это ваш проводник по кажущемуся сложным миру биткойна. Создаете ли вы будущее приложение-убийцу, инвестируете в стартап или просто интересуетесь технологией, это переработанное и дополненное издание...
Raspberry Pi 5. Официальное руководство для начинающих
Raspberry Pi – это миниатюрный компьютер, обладающий огромным потенциалом. Созданный на базе энергоэффективного настольного процессора, Raspberry Pi предназначен в том числе и для того, чтобы стать вашим помощником в обучении программированию. Данное руководство покажет вам, что работать с Raspberry Pi очень легко и просто! Вы научитесь: - настраивать Raspberry Pi,...
Изучаем Arduino Uno R4
Знакомая нам уже много лет плата Arduino Uno R3 на основе недорогого 8-битного процессора ATmega328P – самый популярный представитель семейства Arduino. Недавно была выпущена плата Arduino Uno R4 на основе 48-мегагерцевого 32-битного процессора Cortex-M4 с большим объемом SRAM и флеш-памяти. В конструкцию добавлены ЦАП и более точный АЦП, а также...
Доказательство корректности программ
Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности программ относительно спецификаций. Автор сначала представляет теоретические предпосылки, лежащие в основе рассуждений о программном коде, а затем...
Figma. Проектирование и прототипирование интерфейсов
Figma — онлайн-сервис для разработки интерфейсов и прототипирования с возможностью организации совместной работы в режиме реального времени. Книга охватывает обширный спектр функций Figma – включая переменные, условное прототипирование и инструменты искусственного интеллекта. Вы узнаете, как превратить статические проекты интерфейса в динамические интерактивные прототипы, а затем эффектно презентовать их. На примере...
Геометрическое моделирование. Второе изд.
В книге изложены подходы, методы и алгоритмы создания численных моделей геометрии реальных и воображаемых объектов. Рассмотрены состав геометрической модели, принципы описания геометрической формы, методы установки взаимосвязей между элементами модели. Приведены способы построения кривых и поверхностей для создания твёрдых тел. Дана теория B-сплайнов и их применение в кривых и поверхностях с...
PostgreSQL 16 изнутри
Перед вами обновленное издание бестселлера "PostgreSQL изнутри". Рассматривается внутреннее устройство СУБД PostgreSQL: детали реализации многоверсионности и изоляции на основе снимков данных, включая процедуру очистки неактуальных версий строк; буферный кеш и журнал предзаписи; использование блокировок различных уровней; планирование и выполнение SQL-запросов; принципы расширяемости и особенности имеющихся индексных методов доступа. Большое внимание...
Цифровой синтез: RISC-V
Книга, которую вы держите в руках, продолжает серию «Книжная полка Истового инженера», которая издается при поддержке компании YADRO. Это издание подготовлено к публикации Московским институтом электроники и математики им. А. Н. Тихонова НИУ ВШЭ совместно с «ДМК Пресс».Книга представляет собой расширенный практический курс, ориентированный на язык Verilog и обеспечивающий возможность...
GPT-4. Руководство по использованию API Open AI
Книга представляет собой подробное пошаговое руководство по использованию моделей GPT-3/3.5/4 в ваших проектах. Оно охватывает также такие модели как Whisper и ТTS (преобразование текста в речь). К концу чтения вы разработаете: - точно настроенную систему прогнозирования категорий новостей; - чат-боты, ориентированные на конкретную предметную область; - автономную диалоговую систему двух...
Программирование аналоговых и гибридных компьютеров
По мере того как классические цифровые компьютеры приближаются к своим физическим и архитектурным границам, стремительно растет интерес к аналоговым и гибридным вычислениям. Такие компьютеры могут превосходить классические цифровые по скорости работы, общей вычислительной мощности, энергоэффективности, а также обладать чрезвычайно высокой степенью параллелизма. Данная книга на многочисленных примерах показывает как можно...
Pешение трудных и увлекательных задач на Python
Цель данной книги – укрепить навыки логического рассуждения и развить творческое мышление, представив и решив 90 не самых простых задач на Python. Задачи изложены доходчиво и сжато, снабжены с алгоритмами и комментариями, что помогает читателям следить за процессом их решения и понимать его суть. Издание предназначено читателям с базовыми знаниями...
Raspberry Pi OS: Системное администрирование с systemd и Python
Книга посвящена основам администрирования операционной системы Raspberry Pi OS с особым акцентом на Python. Главной идеей является применение подсистемы systemd для гарантирования действенной и эффективной работы ядра Linux при обеспечении всех трех краеугольных камней работы современного компьютера: параллелизма, устойчивости и виртуализации. Благодаря множеству практических примеров, упражнений и проектов книгу можно...
R. К вершинам мастерства. С решениями и комментариями
R — безусловно лучшая среда для интерактивного анализа данных. Тем не менее язык R имеет множество особенностей, которые иногда скудно документированы. В данной книге Хэдли Уикем, один из лучших в мире гуру по R, проясняет эти неясные уголки и знакомит с современными библиотеками языка.Прочитав книгу, вы узнаете: - в чем...
Искусственный интеллект на предприятии
В книге подробно рассказано как можно улучшить бизнес-процессы компании с помощью методов искусственного интеллекта, а также использовать их в сочетании с традиционными подходами к аналитике и оптимизации. Среди рассматриваемых тем: - основные концепции автоматизации принятия корпоративных решений, глубокого обучения, генеративного искусственного интеллекта и методов обучения с подкреплением; - прикладные рецепты...
Scilab. Решение инженерных и математических задач
Книга посвящена свободно распространяемому математическому пакету Scilab. Описан язык программирования Scilab. Особое внимание уделено визуальным средствам программирования. Описаны графические возможности пакета. Подробно рассмотрено решение математических задач (нелинейные уравнения и системы, задачи линейной алгебры, задачи оптимизации, дифференцирование и интегрирование, задачи обработки экспериментальных данных, обыкновенные дифференциальные уравнения и системы, уравнения в частных...
Десять проектов из прикладной статистики
В этой книге на десяти примерах из различных областей рассмотрены вопросы постановки и проведения статистических экспериментов и характерные ошибки в их интерпретации. Первые главы предназначены для специалистов по количественным исследованиям в области биологии, медицины, экологии и генетики. В числе представленных проектов: - заживление хирургических ран у крыс; - исследование кривых...
Графика на Python. Создание 2D- и 3D-изображений для научной графики и презентаций
В книге на наглядных примерах показано, как использовать встроенные графические примитивы Python – точки, линии и стрелки — для создания сложной графики, визуализации двух- и трехмерных объектов, диаграмм с данными и технических иллюстраций. Изучив книгу, вы сможете: - cоздавать 2D- и 3D-изображения; - добавлять к ним текст и символы; -...
PyCharm: профессиональная работа на Python
Раскройте возможности PyCharm для создания деловых, научных и веб-приложений на Python!PyCharm – лучшая профессиональная среда разработки для программистов Python среди множества доступных интегрированных сред. Независимо от того, в каких целях используется Python – для общих задач автоматизации, создания утилит, веб-приложений, анализа данных, машинного обучения или бизнес-приложений, – инструменты PyCharm упрощают...