The labs on this website are designed to accompany the Foundations of Applied Mathematics textbook series.[1] They provide hands-on experience with key mathematical and computational concepts, connecting theory to practical, real-world applications.

Build your own ML framework. TinyTorch is organized into four progressive tiers that take you from mathematical foundations to production-ready systems. Each tier builds on the previous one, teaching you not just how to code ML components, but how they work together as a complete system.

Machine Learning Systems provides a systematic framework for understanding and engineering machine learning (ML) systems. This textbook bridges the gap between theoretical foundations and practical engineering, emphasizing the systems perspective required to build effective AI solutions. Unlike resources that focus primarily on algorithms and model architectures, this book highlights the broader context in which ML systems operate, including data engineering, model optimization, hardware-aware training, and inference acceleration. Readers will develop the ability to reason about ML system architectures and apply enduring engineering principles for building flexible, efficient, and robust machine learning systems.

This book presents a selection of the 99 best, most beautiful physics demonstrations from the Dutch book series “ShowdeFysica” [Frederik et al., 2023, Frederik et al., 2017, Frederik et al., 2015] as published by the Dutch Association for Science Education. The three original volumes are cherished in the Netherlands by physics teachers and are used as a useful resource for many lectures. We hope that this translated and updated open access book will be just as valuable to a wider range of physics teachers. Where most physics demonstration books cover a large range of demonstrations, we included strategies to make the most of these - making the demonstrations both magical and educational! Moreover, we included videos and opportunities to live code and use python simulations without the need for any software installation.

This book provides an introduction to Conway’s Game of Life, the interesting mathematics behind it, and the methods used to construct many of its most interesting patterns. Lots of small “building block”-style patterns (especially in the first four or so chapters of this book) were found via brute-force or other computer searches, and the book does not go into the details of how these searches were implemented. However, from that point on it tries to guide the reader through the thought processes and ideas that are needed to combine those patterns into more interesting composite ones.

The topic of type theory is fundamental both in logic and computer science. We limit ourselves here to sketch some aspects that are important in logic. For the importance of types in computer science, we refer the reader for instance to Reynolds 1983 and 1985.