Software Engineering

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.

AI coding agents can move fast, but speed without clear intent creates expensive mistakes. This practical guide shows how Behavior-Driven Development turns specifications into a reliable contract between you and autonomous coding systems, helping agents build the right thing, catch problems earlier and produce software you can trust.

This book introduces LASR – the Lightweight Approach for Software Reviews in a practical and in-depth way. It provides detailed insights into how the method works, real-world examples, guidance on using support materials, and practical tips for your own reviews.

Skip the trial and error. 53 agent skills picked and run in Claude Code and Codex, each with who it fits, install commands, and a first run.

You don’t need more hours — you need better focus. This is your playbook for managing time like a thoughtful developer: with clarity, intention, and long-term impact in mind.

A two-part study guide written against the Claude Certified Architect blueprints, Foundations (CCAR-F) and Professional (CCAR-P). Organised domain-by-domain and weighted to match each exam, it teaches the architectural judgement and anti-pattern recognition the exams reward, not a feature tour, across Claude Code, the Agent SDK, the Claude API, and MCP.

This book explains Samman Technical Coaching. It is a method for helping software teams to become more agile, learn Test-Driven Development, and raise the quality of their work.

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.

A high-performance data access layer must resonate with the underlying database system. Knowing the inner workings of a relational database and the data access frameworks in use can make the difference between a high-performance enterprise application and one that barely crawls.

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.

Master modern Delphi from the ground up and build software that’s ready for the real world. From Object Pascal and VCL to FireMonkey, FireDAC, REST, concurrency and testing, this hands-on guide shows you how to write clean, maintainable applications with RAD Studio 13 Florence, backed by practical examples and proven techniques.

Build fast, reliable Windows desktop applications the right way. This book takes you from your first Win32 window to modern, production ready software using C23, the latest Windows SDK and Visual Studio 2026. Along the way you will learn practical techniques for performance, security and deep Windows integration.

ソフトウェア開発は急速に変化しており、Claude Codeはその変革の中心にあります。本書『Mastering Claude Code』は、AIエージェントと効果的に連携してコードを記述し、ワークフローを自動化し、より大規模なプロジェクトに自信を持って取り組むための方法を開発者に提示します。セットアップやプロンプト設計から実践的なエンジニアリング手法に至るまでを網羅した本書は、2026年における現代的なソフトウェア開発のあり方を理解したいすべての人にとって、実用的な指針となる一冊です。

Pull a model onto a machine you own, shape it with a Modelfile, fine-tune your own adapter, and build a chat app that calls tools and talks to an MCP server, all running on your own hardware. By the end, you'll know exactly where owning your AI beats renting it, and where it doesn't.

STOP building fragile AI wrappers. START designing resilient AI systems. Lots of companies are trying to make their small AI experiments into big products, but they don't have a good plan. Engineers need a practical guide to build these new AI systems the right way - so they can handle scale, be reliable, and won't cost too much. This book is that guide. It explains how to design systems that use AI models. This book breaks down the architecture of real AI applications, like an AI-powered code editor or a smart learning app. It gives you a deep, practical look at the real-world challenges and solutions for building these systems. It discusses system design concepts for systems that use LLMs.