Books

An approachable, well-written, practice-oriented, academism-free guide into programming with types. How to build useful real-world type-level programs with low complexity and low risks.

Want to use NixOS "for real" at work? Interested in learning one of the hottest emerging DevOps technologies? Jumpstart your professional career by reading this book authored by a professional user of NixOS.

Master the Java fundamentals and have a lot of fun solving the Java code Challenges of this book. You will see if you really know core Java concepts well. There are more than 70 well-elaborated Java code Challenges for you to challenge yourself and refine your Java skills to the very best so you can get rid of bugs far more easily.

Everywhere you look, programming languages are gaining functional features. The problem is that it's not the individual features that make functional programmers happy, it's the way that your approach to writing software and the features work together to help you write simple code to solve interesting problems. This concise, practical ebook will help you discover why F# is such a popular language with those who have spent time learning its secrets. 

Learn to use R, the tidyverse collection of packages and functional programming concepts to write efficient and readable code.

Approaching PHP from a functional perspective. Yes, really. (With just a pinch of category theory.)

A practical book aimed for those familiar with functional programming in Scala who are yet not confident about architecting an application from scratch. Together, we will develop a purely functional application using the best libraries in the Cats ecosystem, while learning about design patterns and best practices.

Discover the pure functional side of HTTP API programming in Scala.

Stop debating code style. Start engineering code. Every developer brings personal preferences. Every AI tool channels different training examples. The result? Inconsistent codebases, endless code reviews, and technical debt that compounds silently. Java Backend Coding Technology introduces a radical idea: reduce the space of valid choices until there's essentially one good way to do most things. Not through rigid frameworks, but through a small set of patterns that make structure predictable, refactoring mechanical, and business logic visible. The code you write, your teammate writes, and your AI assistant generates will look the same -- because the patterns leave no room for subjective variation.

Are you an above-average Python coder? Prove it! Coffee Break Python - Mastery Workout helps you boost your Python skills and reach mastery level. The approach is simple: you solve 99 really hard Python puzzles that get harder as you progress with the book. A clear path to Python mastery!

Take a practical deep dive into modern Haskell development with GHC, Cabal, HLS and effect systems. Learn how the tools work under the hood, how they fit together and how to use them effectively in real production projects. Built for engineers who want to move beyond syntax and develop Haskell with confidence.

A comprehensive technical guide to Python-driven cloud architecture, infrastructure automation, serverless engineering, security, distributed systems, and large-scale AWS operations.Modern cloud infrastructure is more than a collection of virtual machines and managed services. It is a programmable environment in which networking, identity, compute, storage, databases, messaging, and observability must work together as a coherent system. Building reliable cloud platforms requires software engineering discipline, automation, security controls, and a detailed understanding of how these services interact.Mastering AWS: Advanced Python Engineering is a 100-chapter technical reference for senior software engineers, DevOps specialists, cloud architects, platform engineers, and developers seeking to build sophisticated AWS environments with Python.

Build a strong foundation in Gleam and learn how to turn its simplicity into reliable, concurrent systems. From language basics and the BEAM to OTP, web development and deployment, this practical guide uses clear explanations and runnable examples to help you build software that is safe, scalable and ready for production.