Computers and Programming

Turn "our Shopware store feels slow" into a measurable 30-day plan: one fix a day, each with a before/after metric. Field-tested engineering on caching, Elasticsearch, Redis and CDN — not generic tips.

"Wired Protocols in Embedded Systems" is your essential guide to understanding how wired communication works in embedded systems. From UART and SPI to I²C and CAN, this book explains the core principles, advantages, and limitations of each protocol. Whether you're an embedded engineer, firmware developer, or Arduino enthusiast, you'll gain the knowledge needed to choose and implement the right protocol for your project. After all, even in the age of AI, it is still important to improve your own intelligence.

Libérez toute la puissance d’Ableton Live avec Max for LiveCe guide complet vous apprend à créer vos propres instruments, effets, générateurs et interfaces, tout en vous initiant à l’environnement Max. Apprenez à manipuler Live en profondeur avec le Live Object Model (LOM), et créez vos propres Live MIDI Tools pour vous réapproprier votre workflow. Un tremplin unique pour repousser vos limites créatives et transformer Live en un véritable laboratoire sur-mesure.(English version available)

Discover Emacs without the steep learning curve. The Practical GNU Emacs Guide takes you from your first keystrokes to powerful custom workflows, covering editing, Org mode, Dired, TRAMP, Emacs Lisp and more. Whether you write, code or manage systems, you’ll learn how to make Emacs truly work for you.

Build financial systems that stay correct when requests repeat, events arrive late, and services fail. Learn practical patterns for money modeling, double-entry ledgers, idempotency, reconciliation, auditability, security, and invariant-driven testing—so every balance and transaction can be explained and trusted.

Ready to move beyond the basics of Rust? This book takes you inside the language, from ownership and memory management to concurrency, networking and performance optimization. Build real systems projects, learn to track down tricky bugs and gain the skills to write Rust software that is fast, secure and reliable.

Build production-ready web services with Rust and Axum. Follow Taskflow, a practical task management API, from the basics through authentication, databases, real-time features, observability and deployment. With code examples, you’ll learn how the pieces fit together and gain the skills to build reliable Rust APIs.

Modernize your C codebase without tearing it apart. From C to Rust is a practical guide to introducing Rust where it actually makes sense, building safe boundaries and migrating piece by piece while production keeps running. No hype, no clean-slate fantasy, just real tradeoffs, runnable examples and a path you can follow.

Advanced Rust Programming goes beneath Rust’s safe surface to reveal the machinery that makes high-performance systems possible. Explore unsafe contracts, atomics, async internals, FFI, allocators and more through practical examples that sharpen your instincts and help you build faster, safer production-grade software.

Go from your first line of Rust to building fast, safe, and production-ready applications with confidence. This practical guide explains every essential language feature, modern development tools, and key ecosystem crates through clear explanations and real-world examples, helping you write idiomatic, efficient and maintainable Rust code from day one.

Build a source-level debugger in Rust from the ground up while uncovering the operating system, CPU, and compiler mechanisms behind modern debugging. Through hands-on implementation, you'll learn how processes, memory, breakpoints, and DWARF debug information come together to make source-level debugging possible.

Most developers can build a web server with a framework. Far fewer understand what happens underneath. Rust from Sockets to Servers takes you from raw TCP sockets to a production-ready web server built in Rust, giving you a deep understanding of HTTP, async programming, TLS, routing, and the foundations behind every modern web application.

Ever wondered what really happens inside a terminal? Go beyond the command line and explore the systems that make modern terminals work. From TTY and PTY internals to Unicode, GPU-accelerated rendering and terminal protocols, this book takes you under the hood and brings it all together with a fully working terminal emulator built in Rust.

What if AI could help build software that is not just functional but mathematically proven to work? This book shows how to combine Claude’s coding capabilities with Lean 4’s formal verification to create more reliable software. A practical guide to turning ambitious ideas into verified systems, without losing sight of real-world constraints.

> Dependent types for beginners, taught the way *The Little Schemer* taught recursion. > Start with a pond. End with a compiler that is proved to keep its meaning. > A proposition is a type. A proof is a thing of that type.