Books

Most teams don’t suffer from a lack of effort—they suffer from a lack of alignment. Goals are misaligned, boundaries are unclear, and work often centres on internal priorities instead of user needs— resulting in frustration and delays. User Needs Mapping: Aligning Teams Around What Matters offers a practical, visual way to reconnect organisations with the people they serve. Instead of guessing at structure or copying someone else’s model, this book shows you how to expose hidden dependencies, identify genuine user needs, and make better choices about team design and responsibilities. Through real-world case studies and step-by-step guidance, you’ll learn how to navigate tensions between wants, needs, and feasibility, create clarity of purpose, and build teams that deliver meaningful outcomes. Whether you’re a leader, product manager, architect, or change agent, this book equips you to turn complexity into clarity and enable teams to flow faster—aligned around what matters.

Go beyond the basics of Lean 4. This practical deep dive explores functional programming, dependent types, theorem proving and formal verification. Learn how Lean works under the hood, build reliable proofs and automation, and tackle larger formal projects with confidence.

Build real systems software with Odin. This practical guide takes you from the language basics to memory, concurrency, networking and performance. Learn how Odin works under the hood while building parsers, allocators, simulations and more, with complete examples and clear comparisons to C, C++, Rust and Go.

Your feed handler parsed every test message correctly. Then a real exchange dropped two packets on an ordinary Tuesday, and the book kept building, internally consistent and wrong.Nothing crashed. Nothing threw. Four minutes of bad quotes went out before anyone noticed.This book is about that gap: the distance between a parser that works and a feed handler you can trust. You will build zero-copy FIX, ITCH, and OUCH parsers with no heap allocation on the hot path, detect sequence gaps without stalling live traffic, recover from outages without corrupting book state, and prove the result with byte-identical replay.If your system has never lost a sequence number in testing, you do not have a feed handler. You have a demo.Weston Ashgrove is a trading systems architect who has built and debugged the failures in these pages.

You know how to build frontend applications. But can you explain how you would design one when the requirements are vague, the constraints keep changing, and you only have 45 minutes?Frontend System Design Interviews gives you a practical framework for structuring that conversation, making trade-offs, and going deep on the problems that actually change the architecture.

The Linux Virtual Filesystem is the abstraction that unifies every filesystem in Linux behind a single interface. This book explores its architecture, kernel implementation, and modern applications, giving system administrators, developers, and kernel engineers the knowledge to understand, troubleshoot, and extend the VFS.

Tu equipo no va lento porque escriba mal código: va lento porque escribe código de más. Una guía práctica para gestionar el coste basal del software y recuperar la capacidad del equipo, combinando Lean Software Development, Extreme Programming y mentalidad de producto.

Your use cases have a new reader: an AI agent that turns them directly into code and tests. Implementation is now cheap but expressing intent precisely is the bottleneck. This guide teaches you to write use cases that work for stakeholders, engineers, and the AI agents that implement from them.

Discover the power of thinking in logic. This hands-on guide takes you from your first Prolog query to advanced techniques in constraints, grammars, AI search, meta-programming and production development. With clear explanations and executable SWI-Prolog examples, you’ll learn not just how Prolog works, but how to use it well.

We will define the developer contract first, and we will then build the platform underneath it together, step by step, using decisions that hold up in regulated environments and in small startups alike. Along the way, we will provision clusters, wire delivery, publish a developer API, enforce policy and ship observability, and we will do all of it where you can see every command, every manifest and every failure. Nothing here stays theoretical, because platform problems only show their true shape where an abstraction meets a real cluster.

Most AI systems fail in production. They chain prompts together and call it "agentic". They collapse under real-world pressure. The gap isn't the technology – it's missing infrastructure. This book bridges that gap. Learn the architecture patterns and infrastructure to build autonomous AI systems that work at scale. Master what distinguishes real agents from chatbots with tools. Deploy with confidence. Stop building demos. Start shipping production agentic AI.

Build real AI products with TypeScript. Learn LLMs, RAG, Agents, MCP, and production AI engineering from a frontend developer's perspective.

Go beyond using PDF libraries and learn how the format really works. This book walks you through building a complete PDF reader from scratch using the ISO 32000-2 specification, with clear explanations, written in C++ code and a parser that handles real-world PDF files from the ground up.

Build AI agents that do real work with the Google Agent Development Kit (ADK), Python, and Google Cloud. Through complete, runnable examples, you'll learn how to build, orchestrate, and deploy production-ready multi-agent systems with practical skills you can apply from day one.

Build a production-grade BitTorrent client in Python from the ground up while exploring the protocols, networking concepts, and engineering decisions behind one of the internet's most successful peer-to-peer systems. From peer discovery to data transfer, you'll implement every major component and gain a practical understanding of how BitTorrent works in the real world.