Books

An introduction to philosophy for software engineers and architects that will help them understand their design process. This book helps to answer the question “Why are we like this?”.

> Higher-order logic programming for AI engineers, taught the way *The Little Reasoner* taught recursion. > Your agent's LLM can guess. Can it tell a guess from a fact? > An agent that cannot say "no" cannot be trusted with "yes".

Learn modern C++23 from the ground up with clear explanations and complete, compilable examples. From your first program to advanced topics like concurrency, metaprogramming and performance optimization, this book gives you the skills to write fast, reliable and professional-quality C++ software.

The most important impact of AI on software development isn't that it writes code faster — it's that it changes what you can delegate. Agentic Programming is a practical roadmap for climbing the AI Fluency Ladder: from prompting to agentic workflows, verified execution, and ultimately autonomous software development.

The book highlights the significance of software in systems engineering and uses AI as a subject matter expert. It presents a comprehensive example that covers SysML modeling, including requirements, use cases, logical/ physical architecture, and parametric simulation. It then continues into software, leveraging AI's code generation capabilities to produce software including microcontroller, UI, and DMBS code. It introduces a variety of personas and agents that can help engineers communicate with AI about systems and software engineering. The book also introduces SysML v2, focusing on the new language model and exploring AI's ability to generate models via code generation. Perhaps most importantly, it provides a straightforward roadmap for hardware/software co-design, accelerated at every step by AI. Whether you're a systems or software engineer, or just interested in how to use AI for engineering, AI Assisted MBSE with SysML will prove to be a valuable guide.

Build a complete x86_64 hardware-assisted hypervisor in Rust from the ground up. Through real, compilable code and clear explanations, you'll implement every major subsystem, from CPU and memory virtualization to device emulation, VirtIO, and multi-vCPU scheduling, gaining a practical understanding of modern virtualization.

A production-tested guide for senior .NET developers, tech leads, and architects who want real AI productivity gains - not another tutorial that breaks down the moment you leave the demo.

System Design Workbook – Edição 2026 é uma obra que traduz, organiza e conecta os principais fundamentos da engenharia de sistemas distribuídos sob uma perspectiva prática, moderna e orientada à realidade de produção.

Everything you really need to know in Machine Learning in a hundred pages.

RAG answers you can trace to a source: ingestion, permissions, hybrid search, reranking, evals and regression gates, drawn and built in Python.

You watched a language model do half an hour of work on its own. This book is about the question that came next: how much of it can you trust?

Learn databases from the bottom up by coding your own, in small steps, and with simple Go code (language agnostic).Atomicity & durability. A DB is more than files!Persist data with fsync.Crash recovery.KV store based on B-tree.Disk-based data structures.Space management with a free list.Relational DB on top of KV.Learn how tables and indexes are related to B-trees.SQL-like query language; parser & interpreter.Concurrent transactions with copy-on-write data structures.

Scrum made human teams 10× faster. Now it's doing the same for AI agents. Here's the architecture.

Learn how to build a modern programming language from scratch in Rust. By implementing a complete language called Rune, you will explore every stage of language design, from lexing and parsing to type checking, virtual machines, LLVM code generation, and developer tooling, with practical code and clear explanations throughout.

The missing manual for making your web applications future-proof