Algorithm

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.

A concise, illustrated guide to algorithms and data structures, perfect for coding interviews, classes, or self-study. Covers key concepts, from fundamentals to graphs, trees, sorting, and search techniques.

Learn how to build a modern programming language from scratch in Rust. By implementing a complete language called Rune, you will explore every stage of language design, from lexing and parsing to type checking, virtual machines, LLVM code generation, and developer tooling, with practical code and clear explanations throughout.

Explore the power of Rust with "Rust Projects: Write an Interpreter". This hands-on guide takes you through building an implementation of the programming language Lox, invented by Robert Nystrom. The book will follow Robert Nystrom's book and the CodeCrafters challenge "Build your own Interpreter", and at the same time will help you to understand strengths and weaknesses of Rust. Whether you're new to Rust or looking to deepen your understanding, this project-based journey offers practical, real-world insights into modern coding. The book contains 40% discount code for CodeCrafters.io!

What if your software did not need the cloud to work? Local First Software Development shows you how to build fast, reliable apps that work offline and sync when needed. Learn practical patterns for data, security and synchronization while exploring how local-first systems can grow from simple personal tools into large collaborative applications.

Audiencing is something we do everyday. We do it all the time. In fact, we are so familiar with giving attention to someone or something how we audience and the types of audiencing we are do are invisible. This book makes visible four types of audiencing, and you will discover what it means to do each form of audiencing and why this matters. Playful popular quotes, academic research, and anecdotes from numerous fields of endeavour from computer programming to jujitsu, from movie editing to watching a friend play football, are all used to demonstrate the characteristics and challenges of each audiencing type. Audiencing presents a far-reaching concept and a useful language to see and understand ourselves as audiences in our work and study, in the arts, communications, sport, on the internet, and in our everyday lives as we audience each other. To discover more – audience on.

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 a complete LLM inference engine in C++ — from a blankproject to a working Transformer that loads a real model andgenerates text. Forged one challenge at a time, with teststhat prove every piece works before you move on.

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.

AI-generated content is everywhere, but how do you know what is real? The AI Forensics Handbook explores the science behind detecting synthetic text, images, video and audio, revealing the signals AI leaves behind and the methods used to uncover them. Practical, rigorous and grounded in real-world limitations, this is a guide to understanding what detection can really prove.

Build a strong foundation in data structures and algorithms with clear explanations and practical Python examples. From core concepts to advanced techniques, this guide helps you understand how efficient software is designed so you can write better code with confidence and solve real programming challenges.

A practical interview reference covering Modern C++ language features, STL usage, concurrency, and performance (553 manuscript pages).

A practical, code-first guide to physics-informed machine learning for scientists and engineers, now complete in one volume. Build your first PINN from scratch in PyTorch, then go further into hard constraints, Navier–Stokes, neural operators, inverse problems, uncertainty quantification, and real case studies in aerodynamics, materials, and biomedicine.

By diving into this book, students will:1.     Master Supervised Learning Fundamentals Gain strong conceptual understanding and practical competence.2.     Evate & Deploy Models Effectively Understand how to build, validate, interpret, and deploy high-quality models.3.     Think Critically about AI Systems Develop ethical awareness and critical reasoning regarding data bias and model behavior.

A book designed to help you transition from merely knowing Python to cracking Leetcode patterns. This book explains core DSA concepts through clear, intuitive analogies and walks you through the most important Leetcode patterns. If you're aiming to ace your next coding interview, this is the book I wish I had when I started.