Software Engineering

Modern Fortran is still powering some of the world's toughest scientific problems. This practical guide takes you from the basics to high-performance computing, covering modern language features, parallel programming, numerical reliability and optimization. Learn to write scientific software that is clean, fast and built to last.

Build AI that keeps working when the cloud doesn't. Local-First AI Engineering shows you how to run capable, private AI systems on infrastructure you control. From hardware and inference to RAG, agents, security and production ops, you'll learn how to build local AI that is fast, reliable and truly yours.

Some bugs refuse to die. They hide for years, disappear when you look for them and surface only when the conditions are just wrong. Debugging the Impossible shows you how to hunt them down systematically, uncover what is really happening and fix the root cause for good, using practical techniques, runnable code and lessons from real-world failures.

Go beyond writing code and learn what it takes to build software that lasts. Fundamentals of Software Engineering walks you through requirements, architecture, testing, deployment and production using practical trade-offs and a real-world case study. Follow TaskFlow from its first requirement to a system built to scale, evolve and survive the real world.

Strip away the frameworks and an AI agent is a language model in a loop with a list of tools. This short guide builds one in sixty lines, runs it for real, and gives you the vocabulary to judge any "agentic" proposal that crosses your desk.

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.

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.

本書では、Compose Compiler、Runtime、UI レイヤー、そしてパフォーマンスチューニングに至るまで、Jetpack Compose のすべてを深く掘り下げます。Jetpack Compose の内部ソースコードを一行ずつ読み解きながら、なぜその設計が選ばれたのか、その背景にある理由を明らかにし、皆さんが日々書いているコードと内部メカニズムを結びつけていきます。 本書を読み終える頃には、Compiler、Runtime、UI レイヤーがどのように連携して動作しているのか、その全体像を頭の中で描けるようになるでしょう。そして最終的には、その理解をもとに、日々開発している Compose プロジェクトのパフォーマンスを大きく改善できるようになります。 コース（英語）：Jetpack Compose Mechanisms | ハードカバー書籍（英語） | ISBN-13: 9798185354780

Master C the way it is used in serious software. Modern ANSI C Programming takes you from the fundamentals to memory management, data structures, concurrency and production-ready practices, with practical examples that show what works, what breaks and why. Write C that is portable, secure, efficient and built to last.

Build fast, modern web applications with Python and FastAPI. Starting with your first endpoint, you’ll develop a real application step by step while learning databases, authentication, WebSockets, testing, Docker and deployment. By the end, you’ll know how to turn Python code into secure, production-ready systems.

Master Django by building the kind of web applications people actually use. Start with the fundamentals, then move into APIs, security, performance, frontend integration and production deployment. With practical projects and professional techniques throughout, this guide takes you from your first Django app to software built for the real world.

"The model is safe." "The filter is effective." "We red-teamed it and found nothing." "Wereviewed a sample and it looked fine." Each of those is a claim about evidence, and each is unfalsifiable as stated. Reviewing thirtyoutputs and finding no problems is consistent with a failure rate of one in eleven. Threehundred tests against a thousand possible failure modes leave seven hundred nobody looked at. This book supplies the missing arithmetic — and it was written without generating a singleharmful output to study.

A model that works in development and fails in production usually fails for reasons that havenothing to do with the model. It waits behind other requests. It loads slowly after a restart.It answers differently because somebody moved a decoding parameter by a tenth of a point. Aguardrail blocks a third of legitimate traffic and reports itself as working. None of those appear in a benchmark. They appear in an incident — and almost every one of themis invisible in an instantaneous measurement and obvious in a trend.

Quantise the weights. Batch the requests. Add a draft model. Prune what you can. Shorten thecache. A long list of techniques and a short list of reasons. This book measures the reason first: the machine streams memory at 22.54 GB/s and computes at116.58 GFLOP/s, so anything performing fewer than 5.17 operations per byte is waiting. Decodingperforms 0.22. Every technique in the book is then measured against that one number — andseveral turn out to be addressing the wrong side of it.

Pascal is more than a piece of programming history. Discover a language built for clarity, precision and disciplined thinking, then follow its evolution into modern Object Pascal. From your first program to generics, memory management and professional design patterns, this practical guide takes you from foundations to mastery.