Books

Whether you've never coded a game before or have years of experience under your belt, you'll learn the fundamentals of how to make games for Playdate using the Lua programming language. Make Games for Playdate with Lua covers how to program with Lua and the essential Playdate APIs. You'll make a handful of games to get you kickstarted on making your dream game for Playdate.

Spring Boot 4 changes everything you thought you knew about building Java applications. Virtual threads make blocking code fast again. Native images deliver instant startup. First-class API versioning finally solves the "how do we evolve our APIs?" problem. But here's the catch: upgrading isn't just a dependency bump. Jakarta EE 11, new auto-configuration patterns, GraalVM constraints, and reactive vs. virtual threads— getting it right requires understanding the *why* behind every change. This book is your production-ready guide to Spring Boot 4 and Spring Framework 7. Written for intermediate developers who need more than "hello world" tutorials. Learn how to: • Build cloud-native microservices that scale • Migrate from Boot 3 safely and incrementally • Design APIs with built-in versioning and resilience • Choose between reactive, virtual threads, and native images • Secure distributed systems with JWT and OAuth2 • Implement observability that actually helps you debug production issues 300+ pages. 27 chapters. Real code. Real architecture. Real problems solved.

A practical guide to AI agent security for enterprise teams. Learn how to secure AI agents in production with bounded autonomy, AgentSecOps, MCP security, RAG governance, identity controls, audit evidence, and regulatory readiness.

Unlock the Secrets of MBSE Craftsmanship: Transform Your Organization's Engineering Culture and Excel in Model-Based Systems Engineering. Discover the Art and Philosophy Behind True Mastery.

This is a fast-paced, practical, and visual guide to the strange new world of Generative AI. It is like an extended version of Henrik's viral video with the same name. Course version: The book is also available as a course on Leanpub. If your company wants to pay for you to take an AI course, now you can :) Print version: Paperback & Hardcover are available on Amazon. Use your own country's amazon site (ex: Amazon.se for Sweden) to minimize shipping time and cost.

For both beginning and experienced programmers! From the author of the multi-award-winning Thinking in C++ and Thinking in Java and a Kotlin team member comes a book that breaks concepts into small, easy-to-digest "atoms," along with exercises supported by hints and solutions directly inside IntelliJ IDEA! Full support at www.AtomicKotlin.com.

AI can generate code faster than ever. But speed is no longer the hardest part of software development.The real challenge is building systems where generated code remains correct, controlled, and aligned with architectural intent. Becoming a Harness-Driven Developer introduces a new development model for the age of AI-assisted engineering - one where developers focus less on writing every line by hand and more on defining the rules, structure, and enforcement mechanisms within which AI code agents operate.Through a practical repository mapped directly to the book’s chapters, this book shows how to move from ad hoc coding to a harness-driven approach based on specification, architecture, invariants, controlled execution, and system evolution. This is a book about staying in control while software development changes.

Using AI to code is easy. Using it without losing control — not so much.By week three, your project stops moving. The agent forgets decisions it made ten days ago. A change in auth breaks the dashboard. You spend more time re-explaining context than writing features. The code works, but only you know why — and you're not even sure you remember all of it.That's vibe coding hitting its ceiling.Spec-Driven Development is the method that replaces the chaos with a spec the AI actually executes. Not a ceremonial document. A working artifact: PRD, issues, tests, code — all traceable, all connected, all in the right order.This book shows you:How to grill your own idea before writing a single promptHow to write a PRD the AI won't misinterpretThe 7 phases that turn an idea into working softwareHow to use GitHub SpecKit and openSpec (and when not to)How to work this way in a team without slowing downThe 5 anti-patterns that destroy every spec22,000 words. 13 chapters. 5 appendices with ready-to-copy templates.No theory dumps. No filler. Just the method.

800 pages. 11 chapters. The full forecasting stack in Python — from ARIMA to foundation models — with production-grade code and proper evaluation. No hype.

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.

A practical guide to designing scalable and maintainable frontends. Learn how to think beyond components, model data effectively, shape APIs around real access patterns, and apply modern techniques like pagination, caching, virtualization, and real-time updates. Perfect for engineers preparing for system design interviews or leveling up in complex frontend projects.

This book supplements the DM for CS Specialization at Coursera and contains many interactive puzzles, autograded quizzes, and code snippets. They are intended to help you to discover important ideas in discrete mathematics on your own. By purchasing the book, you will get all updates of the book free of charge when they are released.

A good software architecture should keep the cost of development low over the complete lifetime of an application. This book discusses how the Hexagonal Architecture style tries to fulfill this goal and translates the concepts into actual code to provide inspiration for software developers.

This book is for informed Linux enthusiasts—those who already know their way around Linux but are curious about how its internals fit together under the control of the Linux kernel. It's ideal for readers who want to understand what’s happening “under the hood” and interested to explore kernel programming through loadable kernel modules. If you've ever wondered how Linux works under the hood, this book is for you.

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.