Categories

Agda

Agile

•
Agile Visualization by Alexandre Bergel
•
The Art of Agile Development by James Shore

Algorithms

•
Algorithms by Jeff Erickson
•
Algorithms for Decision Making by Mykel J Kochenderfer , Tim A Wheeler , Kyle H Wray
•
Algorithms for Optimization by Mykel J Kochenderfer , Tim A Wheeler
•
Algorithms for Validation by Mykel J Kochenderfer , Sydney M Katz , Anthony L Corso , Robert J Moss
•
Clever Algorithms by Jason Brownlee
•
Competitive Programmer's Handbook by Antti Laaksonen
•
Data Structures and Information Retrieval in Python by Allen B Downey
•
Essentials of Metaheuristics by Sean Luke
•
Functional Data Structures and Algorithms: A Proof Assistant Approach by Tobias Nipkow , Jasmin Blanchette , Manuel Eberl , Alejandro Gómez-Londoño , Peter Lammich , Christian Sternagel , Simon Wimmer , Bohua Zhan
•
Introduction to Algorithms - A Creative Approach by Udi Manber
•
Matters Computational: Ideas, Algorithms, Source Code by Jörg Arndt
•
Practical Evolutionary Algorithms by Shahin Rostami
•
Sequential and Parallel Data Structures and Algorithms: The Basic Toolbox by Peter Sanders , Martin Dietzfelbinger , Kurt Mehlhorn , Roman Dementiev
•
Think Data Structures by Allen B Downey

Artificial intelligence

Assembly programming

•
A Gentle Introduction to Assembly Language Programming by Perry Kivolowitz

Astronomy

•
Feynman Hughes Lectures Vol 1: Astronomy, Astrophysics, and Cosmology by Richard Feynman

Astrophysics

•
Feynman Hughes Lectures Vol 1: Astronomy, Astrophysics, and Cosmology by Richard Feynman

C

•
Beej's Guide to C Programming by Brian “Beej Jorgensen” Hall
•
Beej's Guide to C Programming—Library Reference by Brian “Beej Jorgensen” Hall
•
Beej's Guide to Interprocess Communication by Brian “Beej Jorgensen” Hall
•
Beej's Quick Guide to GDB by Brian “Beej Jorgensen” Hall
•
Build Your Own Lisp by Daniel Holden
•
Software Foundations Vol 5: Verifiable C by Andrew W Appel , Lennart Beringer , Qinxiang Cao
•
Think C by Thomas Scheffler , Allen B Downey
•
Writing FreeDOS Programs in C by Jim Hall , Maxwell J Peterson , Hanan C Farah

C++

•
Think C++ by Allen B Downey

Calculus

•
CLP-1 Differential Calculus by Joel Feldman , Andrew Rechnitzer , Elyse Yeager
•
CLP-2 Integral Calculus by Joel Feldman , Andrew Rechnitzer , Elyse Yeager
•
CLP-3 Multivariable Calculus by Joel Feldman , Andrew Rechnitzer , Elyse Yeager
•
CLP-4 Vector Calculus by Joel Feldman , Andrew Rechnitzer , Elyse Yeager
•
Calculus Made Easy by Silvanus P Thompson
•
Calculus for Mathematicians, Computer Scientists, and Physicists by Andrew D Hwang

Category theory

•
Category Theory Illustrated by Boris Marinov
•
Category Theory for Programmers by Bartosz Milewski
•
Category Theory in Context by Emily Riehl
•
Seven Sketches in Compositionality: An Invitation to Applied Category Theory by Brendan Fong , David I Spivak
•
Type Theory & Functional Programming by Simon Thompson

Common LISP

Compilers

•
Crafting Interpreters by Robert Nystrom
•
From Source Code To Machine Code: Build Your Own Compiler From Scratch by James Smith
•
Introduction to Compilers and Language Design by Douglas Thain
•
Let's Build a Compiler by Jack Crenshaw
•
Write your Own Virtual Machine by Justin Meiners , Ryan Pendleton

Computer architecture

•
Computer Architecture, Fifth Edition: A Quantitative Approach by John L Hennesy , David A Patterson

Coq

•
Software Foundations Vol 4: QuickChick: Property-Based Testing in Coq by Leonidas Lampropoulos , Benjamin C Pierce

Cosmology

•
Feynman Hughes Lectures Vol 1: Astronomy, Astrophysics, and Cosmology by Richard Feynman

Cryptography

•
The Beginner’s Textbook for Fully Homomorphic Encryption by Ronny Ko
•
The Joy of Cryptography by Mike Rosulek

Data science

•
Data Science Handbook by Dallas Card , Yan Min , Stylianos Serghiou
•
Data Science at the Command Line by Jeroen Janssens
•
Data-Driven Science and Engineering by Steven L. Brunton , J. Nathan Kutz
•
Elements of Data Science by Allen B Downey
•
Introduction to Probability for Data Science by Stanley H. Chan
•
Python Data Science Handbook by Jake VanderPlas
•
The Pragmatic Programmer for Machine Learning by Marco Scutari , Mauro Malvestio

Data structures

Databases

•
Build Your Own Database From Scratch in Go by James Smith
•
Database Performance at Scale by Felipe Cardeneti Mendes , Piotr Sarna , Pavel Emelyanov , Cynthia Dunlop
•
Developing Time-Oriented Database Applications in SQL by Richard T. Snodgrass
•
Oracle PL/SQL Programming by Steven Feuerstein
•
SQL Performance Explained by Markus Winand
•
SQL for Web Nerds by Philip Greenspun

Debugging

•
The Debugging Book by Andreas Zeller

Deep learning

•
Build a Deep Learning Library in Python by zekcrates
•
Deep Learning - Foundations and Concepts by Christopher M Bishop , Hugh Bishop
•
Dive Into Deep Learning by Astor Zhang , Zachary C Lipton , Mu Li , Alexander J Smola
•
Neural Networks and Deep Learning by Michael Nielsen
•
Physics-based Deep Learning by Philipp Holl , Maximilian Mueller , Patrick Schnell , Felix Trost , Nils Thuerey , Kiwon Um
•
Practical Deep Learning for Coders by Jeremy Howard , Sylvain Gugger
•
The Little Book of Deep Learning by François Fleuret
•
Understanding Deep Learning by Simon J D Prince

Digital signal processing

Discrete mathematics

•
Discrete Mathematics - An Open Introduction by Oscar Levin

Distributed systems

•
Notes on Theory of Distributed Systems by James Aspnes

Domain driven design

•
Domain Driven Design Quickly by Floyd Marinescu , Abel Avram

Electronics

•
Essential Semiconductor Physics by Mark Lundstrom

Engineering leadership

•
Building from the Right Side by Jean-Michel Lemieux

Erlang

•
The Erlang Runtime System by Erik Stenman

Finance

•
Pricing Money by J D A Wiseman

FreeDOS

•
Writing FreeDOS Programs in C by Jim Hall , Maxwell J Peterson , Hanan C Farah

Functional programming

•
COMMON LISP: A Gentle Introduction to Symbolic Computation by David S. Touretzky
•
Control Structures in Programming Languages by Xavier Leroy
•
Functional Data Structures and Algorithms: A Proof Assistant Approach by Tobias Nipkow , Jasmin Blanchette , Manuel Eberl , Alejandro Gómez-Londoño , Peter Lammich , Christian Sternagel , Simon Wimmer , Bohua Zhan
•
Functional Programming in Lean by David Thrane Christiansen
•
How to Think Like a (Functional) Programmer by Allen B Downey , Nicholas Monje
•
Learn you An Agda And Achieve Enlightenment by Liam O'Connor-Davis
•
Programming Language Foundations in Agda by Philip Wadler
•
Programming in Standard ML by Robert Harper
•
The Common Lisp Cookbook
•
The Dao of Functional Programming by Bartosz Milewski
•
Type Theory & Functional Programming by Simon Thompson

GDB

•
Beej's Quick Guide to GDB by Brian “Beej Jorgensen” Hall

Git

•
Beej's Guide to Git by Brian “Beej Jorgensen” Hall

Go

•
Build Your Own Database From Scratch in Go by James Smith

Graphics programming

•
Graphics Programming Black Book by Michael Abrash
•
Physically Based Rendering: From Theory to Implementation by Wenzel Jakob , Greg Humphreys , Matt Pharr
•
Radiosity - A Programmer's Perspective by Ian Ashdown
•
Radiosity and Realistic Image Synthesis by Michael F Cohen , John R Wallace
•
Ray Tracing Gems II by Peter Shirley , Ingo Wald , Adam Marrs
•
Ray Tracing in One Weekend by Peter Shirley , Trevor David Black , Steve Hollasch
•
Ray Tracing: The Next Week by Peter Shirley , Trevor David Black , Steve Hollasch
•
Scratchapixel 3.0, Learn Computer Graphics Programming
•
The Book of Shaders by Patricio Gonzalez Vivo , Jen Lowe

Haskell

•
Learn Haskell by Building a Blog Generator by Gil Mizrahi

High performance computing

•
Algorithms for Modern Hardware by Sergey Slotin

Interpreters

•
Crafting Interpreters by Robert Nystrom

Java

•
Think Data Structures by Allen B Downey
•
Think Java 2e by Allen B Downey

JavaScript

•
Deep JavaScript: Theory and Techniques by Axel Rauschmayer
•
Eloquent JavaScript by Marijn Haverbeke
•
The Modern JavaScript Tutorial by Ilya Kantor
•
You Don't Know JS Yet: Get Started by Kyle Simpson
•
You Don't Know JS Yet: Objects & Classes by Kyle Simpson
•
You Don't Know JS Yet: Scope & Closures by Kyle Simpson
•
You Don't Know JS Yet: Types & Grammar by Kyle Simpson

LLMs

•
LLM Inference Handbook

Lean programming language

•
Functional Programming in Lean by David Thrane Christiansen

Linear algebra

•
A First Course in Linear Algebra by Robert A Beezer
•
Linear Algebra by Jim Hefferon
•
Linear Algebra Done Right by Sheldon Axler
•
The Little Book of Linear Algebra by Duc-Tam Nguyen

Linux

•
Linux IP Stacks Commentary by Stephen Satchell , H B J Clifford

Lisp

Machine Learning

•
Data-Driven Science and Engineering by Steven L. Brunton , J. Nathan Kutz
•
Machine Learning Engineering by Andriy Burkov
•
Machine Learning Engineering Open Book by Stas Bekman
•
Machine Learning from Scratch by Danny Friedman
•
Mathematics for Machine Learning by Marc Peter Deisenroth , A Aldo Faisal , Cheng Soon Ong
•
Paradigms of Artificial Intelligence Programming by Peter Norvig
•
Probabilistic Machine Learning: Advanced Topics by Kevin Patrick Murphy
•
Probabilistic Machine Learning: An Introduction by Kevin Patrick Murphy
•
The Pragmatic Programmer for Machine Learning by Marco Scutari , Mauro Malvestio
•
The Tensor Cookbook by Thomas Dybdahl Ahle
•
Understanding Deep Learning by Simon J D Prince
•
Understanding Machine Learning: From Theory to Algorithms by Shai Shalev-Shwartz , Shai Ben-David

Mathematics

•
A First Course in Linear Algebra by Robert A Beezer
•
An Infinitely Large Napkin by Evan Chen
•
An Introduction to Abstract Mathematics by Neil Donaldson , Alessandra Pantano
•
Applied Mathematical Programming by Arnoldo C. Hax , Stephen P. Bradley , Thomas L. Magnanti
•
Bayesian Optimization Book by Roman Garnett
•
Book of Proof by Richard Hammack
•
CLP-1 Differential Calculus by Joel Feldman , Andrew Rechnitzer , Elyse Yeager
•
CLP-2 Integral Calculus by Joel Feldman , Andrew Rechnitzer , Elyse Yeager
•
CLP-3 Multivariable Calculus by Joel Feldman , Andrew Rechnitzer , Elyse Yeager
•
CLP-4 Vector Calculus by Joel Feldman , Andrew Rechnitzer , Elyse Yeager
•
Calculus Made Easy by Silvanus P Thompson
•
Calculus for Mathematicians, Computer Scientists, and Physicists by Andrew D Hwang
•
Discrete Mathematics - An Open Introduction by Oscar Levin
•
Feynman Hughes Lectures Vol 5: Mathematical Methods/Techniques in Physics and Engineering by Richard Feynman
•
Linear Algebra Done Right by Sheldon Axler
•
Mathematics and Computation by Avi Wigderson
•
Mathematics for Computer Science by Eric Lehman , F Thomson Leighton , Albert R Meyer
•
Mathematics for Machine Learning by Marc Peter Deisenroth , A Aldo Faisal , Cheng Soon Ong
•
The Chaos Hypertextbook by Glenn Elert

Matlab

•
Physical Modeling in MATLAB by Allen B Downey

Metaheuristics

•
Essentials of Metaheuristics by Sean Luke

Molecular biology

•
Feynman Hughes Lectures Vol 4: Molecular Biology by Richard Feynman

Network programming

Neural networks

•
Neural Networks and Deep Learning by Michael Nielsen

Nix

•
NixOS & Flakes Book by Ryan Yin
•
Wombat’s Book of Nix by Amy de Buitléir

Node.js

•
Build Your Own Web Server From Scratch In Node.JS by James Smith

OCaml

Object Oriented Programming

•
Learning Object-Oriented Programming, Design with TDD in Pharo by Stéphane Ducasse , Damien Pollet

Operating systems

Oracle PL/SQL

•
Oracle PL/SQL Programming by Steven Feuerstein

PHP

•
PHP: The Right Way by Josh Lockhart , Phil Sturgeon

Pharo

•
Agile Visualization by Alexandre Bergel
•
Application Building with Spec 2.0 by Koen De Hondt , Stéphane Ducasse , Esteban Lorenzano , Sebastian Jordan Montano
•
Deep into Pharo by Jannik Laval , Stéphane Ducasse , Alexandre Bergel , Damien Cassou
•
Enterprise Pharo by Damien Cassou , Stéphane Ducasse , Luc Fabresse , Johan Fabry , Sven Van Caekenberghe
•
Learning Object-Oriented Programming, Design with TDD in Pharo by Stéphane Ducasse , Damien Pollet
•
Numerical Methods with Pharo by Didier Besset , Stéphane Ducasse , Serge Stinckwich
•
Pharo by Example 9 by Stéphane Ducasse
•
Pharo with Style by Stéphane Ducasse
•
Testing in Pharo by Stéphane Ducasse , Guillermo Polito , Juan Pablo Sandoval
•
The Spec UI framework by Johan Fabry , Stéphane Ducasse
•
TinyBlog: Develop your First Web App with Pharo by Olivier Auverlot , Stéphane Ducasse , Luc Fabresse

Philosophy

•
The Handbook of Rationality by Markus Knauff , Wolfgang Spohn

Photography

•
A Guide to Smartphone Astrophotography by Sten Odenwald

Physical modeling

•
Modeling and Simulation in Python by Allen B Downey
•
Physical Modeling in MATLAB by Allen B Downey

Physics

Probabilistic programming

•
Foundations of Probabilistic Programming by Joost-Pieter Katoen , Alexandra Silva , Gilles Bartha

Probability

•
Introduction to Probability for Data Science by Stanley H. Chan

Programming languages

Prolog

•
Learn Prolog Now! by Patrick Blackburn , Johan Bos , Kristina Striegnitz
•
Prolog Programming In Depth by Andre Vellino , David A Nute , Michael A Covington

Property based testing

•
Software Foundations Vol 4: QuickChick: Property-Based Testing in Coq by Leonidas Lampropoulos , Benjamin C Pierce

Python

•
Architecture Patterns with Python by Bob Gregory , Harry J W Percival
•
Astronomical Data in Python by Allen B Downey
•
Beej's Guide to Python Programming by Brian “Beej Jorgensen” Hall
•
Build a Deep Learning Library in Python by zekcrates
•
Data Structures and Information Retrieval in Python by Allen B Downey
•
Digital Signal Processing in Python by Allen B Downey
•
Elements of Data Science by Allen B Downey
•
Essentials of Compilation: An Incremental Approach in Racket by Jeremy Siek
•
How To Think Like a Computer Scientist: Learning with Python by Allen B Downey
•
Modeling and Simulation in Python by Allen B Downey
•
Python Data Science Handbook by Jake VanderPlas
•
Python for Software Design by Allen B Downey
•
Think Bayes: Bayesian Statistics in Python by Allen B Downey
•
Think Complexity 2e by Allen B Downey
•
Think Python by Allen B Downey
•
Think Stats 3e by Allen B Downey

Quantum computing

•
Quantum Computing for the Very Curious by Andy Matuschak and , Michael Nielsen

Quantum mechanics

•
Quantum Mechanics: A Concise Book

Racket

•
Essentials of Compilation: An Incremental Approach in Racket by Jeremy Siek

Ray tracing

•
Ray Tracing Gems II by Peter Shirley , Ingo Wald , Adam Marrs
•
Ray Tracing in One Weekend by Peter Shirley , Trevor David Black , Steve Hollasch
•
Ray Tracing: The Next Week by Peter Shirley , Trevor David Black , Steve Hollasch

Redis

•
Build Your Own Redis with C/C++ by James Smith

Ruby

•
Ruby Science by Thoughtbot
•
The dRuby Book by Masatoshi Seki
•
Working With Ruby Threads by Jesse Storimer
•
Working With TCP Scokets by Jesse Storimer
•
Working With Unix Processes by Jesse Storimer

Rust

•
Effective Rust by David Drysdale
•
The Rust Performance Book by Nicholas Nethercote

SQL

•
Developing Time-Oriented Database Applications in SQL by Richard T. Snodgrass
•
Oracle PL/SQL Programming by Steven Feuerstein
•
SQL Performance Explained by Markus Winand
•
SQL for Web Nerds by Philip Greenspun

Shen

•
The Book of Shen by Mark Tarver

Smalltalk

•
Agile Visualization by Alexandre Bergel
•
Application Building with Spec 2.0 by Koen De Hondt , Stéphane Ducasse , Esteban Lorenzano , Sebastian Jordan Montano
•
Deep into Pharo by Jannik Laval , Stéphane Ducasse , Alexandre Bergel , Damien Cassou
•
Enterprise Pharo by Damien Cassou , Stéphane Ducasse , Luc Fabresse , Johan Fabry , Sven Van Caekenberghe
•
Learning Object-Oriented Programming, Design with TDD in Pharo by Stéphane Ducasse , Damien Pollet
•
Numerical Methods with Pharo by Didier Besset , Stéphane Ducasse , Serge Stinckwich
•
Pharo by Example 9 by Stéphane Ducasse
•
Pharo with Style by Stéphane Ducasse
•
Testing in Pharo by Stéphane Ducasse , Guillermo Polito , Juan Pablo Sandoval
•
The Spec UI framework by Johan Fabry , Stéphane Ducasse
•
TinyBlog: Develop your First Web App with Pharo by Olivier Auverlot , Stéphane Ducasse , Luc Fabresse

Software engineering

•
A Compendium of Software Design by Matteo Di Tucci
•
Applied Mathematical Programming by Arnoldo C. Hax , Stephen P. Bradley , Thomas L. Magnanti
•
Beej's Guide to Learning Computer Science by Brian “Beej Jorgensen” Hall
•
Data-Oriented Design by Richard Fabian
•
Elements of Programming by Alexander Stepanov , Paul McJones
•
Evidence-based Software Engineering by Derek M Jones
•
Foundations of Computer Science by Al Aho , Jeff Ullman
•
Program Design by Calculation by J N Oliveira
•
Software Engineering at Google by Hyrum Wright , Tom Manshreck , Titus Winters
•
Software Foundations Vol 1: Logical Foundations by Arthur Azevedo de Amorim , Marco Gaboardi , Michael Greenberg , Brent Yorgey , Cătălin Hriţcu , Benjamin C Pierce , Chris Casinghino , Vilhelm Sjöberg
•
Software Foundations Vol 2: Programming Language Foundations by Benjamin C Pierce , Arthur Azevedo de Amorim , Chris Casinghino , Marco Gaboardi , Michael Greenberg , Cătălin Hriţcu , Vilhelm Sjöberg , Andrew Tolmach , Brent Yorgey
•
Software Foundations Vol 3: Verified Functional Algorithms by Andrew W Appel
•
Software Foundations Vol 4: QuickChick: Property-Based Testing in Coq by Leonidas Lampropoulos , Benjamin C Pierce
•
Software Foundations Vol 5: Verifiable C by Andrew W Appel , Lennart Beringer , Qinxiang Cao
•
Software Foundations Vol 6: Separation Logic Foundations by Arthur Charguéraud
•
Structure and Interpretation of Computer Programs by Harold Abelson , Gerald Jay Sussman , Julie Sussman

Splunk

•
Exploring Splunk: Search Processing Language (SPL) Primer and Cookbook by David Carasso

Standard ML

•
Programming in Standard ML by Robert Harper

Statistics

•
Introduction to Modern Statistics by Mine Çetinkaya-Rundel , Johanna Hardin
•
Think Bayes: Bayesian Statistics in Python by Allen B Downey
•
Think Stats 3e by Allen B Downey

Test driven development

•
Learning Object-Oriented Programming, Design with TDD in Pharo by Stéphane Ducasse , Damien Pollet

Testing

•
Testing in Pharo by Stéphane Ducasse , Guillermo Polito , Juan Pablo Sandoval
•
The Fuzzing Book by Rahul Gopinath , Marcel Böhme , Gordon Fraser , Christian Holler , Andreas Zeller

Theorem prover

•
Functional Programming in Lean by David Thrane Christiansen

Type theory

•
Type Theory & Functional Programming by Simon Thompson

Typography

•
Practical Typography by Matthew Butterick

Unix

•
Beej's Guide to Interprocess Communication by Brian “Beej Jorgensen” Hall

Version control

•
Beej's Guide to Git by Brian “Beej Jorgensen” Hall

Video games

•
Designing Virtual Worlds by Richard A Bartle
•
The Book of CP-System by Fabien Sanglard
•
The Level Design Book by Robert Yang

Virtual machines

•
Write your Own Virtual Machine by Justin Meiners , Ryan Pendleton

Zig

•
Introduction to Zig by Pedro Duarte Faria
•
Learning Zig by Karl Seguin