Software Engineering

Build robust web applications and REST APIs with Haskell and Servant. This practical guide takes you from core Haskell concepts to type-safe API design, PostgreSQL, JWT authentication, testing and deployment. Along the way, you’ll build a complete versioned API using patterns that make real-world Servant projects reliable and maintainable.

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.

An Advanced Engineering Reference for GPU Architecture, Low-Level Optimization, and High-Performance ComputingModern GPU programming requires more than exposing parallel work to thousands of threads. It demands an understanding of the relationship between hardware architecture, instruction execution, memory movement, synchronization, and the software systems that coordinate computation across multiple GPUs. Mastering NVIDIA CUDA: Expert GPU Programming is a 100-chapter technical reference for experienced developers, high-performance computing engineers, researchers, and AI systems architects.

Cut through the noise of modern JavaScript tooling. This hands-on guide shows how Node.js, Bun, pnpm, Vite, TypeScript, Biome, Vitest and more fit together in real production workflows. Learn what each tool solves, when to use it and how to build faster, cleaner and more reliable applications in 2026.

You know how to build frontend applications. But can you explain how you would design one when the requirements are vague, the constraints keep changing, and you only have 45 minutes?Frontend System Design Interviews gives you a practical framework for structuring that conversation, making trade-offs, and going deep on the problems that actually change the architecture.

Master Swift from the ground up and learn how to write clean, modern code with confidence. From core language fundamentals to concurrency, generics, protocols and production-ready architecture, this practical guide covers the Swift features that matter in 2026 with clear explanations and useful examples.

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.