Computers and Programming

Software development is changing fast, and Claude Code is at the center of that shift. Learn how to work effectively with AI agents to write code, automate workflows, and build larger projects with confidence. From setup and prompt design to real-world engineering practices, this book provides a practical guide to modern software development in 2026.

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.

Six years after the first edition, the official guide to DelphiMVCFramework is back, rewritten for 3.5.0-silicon. Thirty chapters, more than 550 pages, and 46 Delphi projects that compile and run. You build one real API, the Municipal Library, and grow it from a wizard-generated project into a deployed server with authentication, OpenID Connect, WebSockets and HTTPS.

Stop guessing what the bytes on disk mean and build the filesystem yourself. Over twelve chapters you implement FAT12 from scratch in C, from the first sector read to formatting a fresh volume, and check every step against a hexdump. Then you boot the exact same code inside your own kernel and watch it write and read files on bare metal.

Doing Cloud is easy. Doing it right is hard. The difficulty appears to be a problem of choice, but behind every Cloud success or failure story, there's always just one reason - cost. This book offers a framework, rooted in understanding Cloud's nature, for applying that understanding to the many shapes cost takes.

Build games that run almost anywhere with SDL3. This book starts with the basics and steadily moves into advanced graphics, audio, input, and application design using practical, real-world examples. Every chapter includes complete code you can compile and experiment with, helping you understand not just how SDL3 works, but how to use it to build fast, portable applications with confidence.

This book takes you straight into the Compose compiler, runtime, and UI layer, all about Compose performance tuning, reading the source line by line and explaining the why behind every design decision, then connecting each internal mechanism back to the code you write every day. The Course: Jetpack Compose Mechanisms | Hardcover | ISBN-13: 9798185354780

Skip the black-box frameworks. Build a working AI coding agent from scratch in pure Python. Add tools and memory, use cloud or local models, and test it with pytest. All in one file.

Jetpack Compose is the future of Android UI. Master how it works internally and become a more efficient developer with it. You'll also find it valuable if you are not an Android dev. This book provides all the details to understand how the Compose compiler & runtime work, and how to create a client library using them. You could also be interested on the Jetpack Compose Internals course by Jorge Castillo. Find it in composeinternals.com

You're earning six figures. Yet somehow, you're still broke. Every month, you build features worth millions—for someone else. You master frameworks, optimize algorithms, architect systems. But you never learned to architect your own wealth. Here's the truth they didn't teach you: Your coding skills are worth millions. You just don't know how to capture the value. A lawyer can't create passive income. A surgeon can't build systems that run 24/7. But you? You can write code once and sell it infinitely. This book reveals the hidden path from employed engineer to financially free creator. The proven 4-stage journey: Employed → Expertise → Systems → Investor. From salary to cash flow. From consumer to creator. From bytes to millions. How to invest like an engineer and compound everything. This is not get-rich-quick. This is build-wealth-systematically. The engineer who starts today will be wealthy in 5-10 years. The one who waits will still be waiting. Your transformation starts now.

The first-ever book aimed at introducing operating system development to absolute beginners. The topics begin with programming in C and programming in assembly, and progress toward practical OS development.The book uses only simple methods, so it covers only a few essential topics in C and assembly programming, making it suitable for beginners.

Ever wondered what really happens inside the Linux kernel when a program runs? Go beyond the surface and explore the code, data structures and hardware mechanisms that make Linux work. From system calls to CPU instructions, this book takes you deep into the kernel’s inner workings, giving experienced programmers a closer look at the system they rely on every day.

AI is an amplifier. It magnifies whatever engineering discipline — or lack of it — already exists, which means the bottleneck was never AI's capability; it is the collaboration space you design around it. This book is a six-level progression from early AI panic to sovereign engineering: the discipline of designing the environment in which human and artificial intelligence produce work worth keeping. It moves past prompting into the practices that compound — verification, habitat engineering, specification-first development, and the platform discipline that scales the practice across teams. The habitat is yours to design. Let's build it well.

Master AI-powered infrastructure automation with this hands-on guide to building production-ready MCP servers and AI agents in Go. Transform from manual AWS operations to intelligent automation that understands your environment and makes smart decisions while keeping humans in control.

Build a real language server from the ground up in Rust. Learn how LSP works, then turn parsing, analysis and async Rust into autocomplete, diagnostics, go-to-definition, refactoring and more. By the end, you’ll have a production-ready server that works with VS Code, Neovim and other modern editors.