Categories

Agda

• •
  Learn you An Agda And Achieve Enlightenment by Liam O'Connor-Davis
• •
  Programming Language Foundations in Agda by Philip Wadler

Agile

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

Algorithms

• •
  Algorithms by Jeff Erickson
• •
  Competitive Programmer's Handbook by Antti Laaksonen
• •
  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

Artificial intelligence

• •
  LLM Inference Handbook
• •
  Paradigms of Artificial Intelligence Programming by Peter Norvig
• •
  Understanding Deep Learning by Simon J D Prince
• •
  Understanding Machine Learning: From Theory to Algorithms by Shai Shalev-Shwartz , Shai Ben-David

Assembly programming

• •
  A Gentle Introduction to Assembly Language Programming by Perry Kivolowitz

C

• •
  Build Your Own Lisp by Daniel Holden
• •
  Software Foundations Vol 5: Verifiable C by Andrew W Appel , Lennart Beringer , Qinxiang Cao

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

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

Co

No books in this category yet.

Common LISP

• •
  COMMON LISP: A Gentle Introduction to Symbolic Computation by David S. Touretzky
• •
  Paradigms of Artificial Intelligence Programming by Peter Norvig
• •
  Successful Lisp: How to Understand and Use Common Lisp by David B Lamkins
• •
  The Common Lisp Cookbook

Compilers

• •
  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

Cryptography

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

Data science

• •
  Data Science at the Command Line by Jeroen Janssens
• •
  Data-Driven Science and Engineering by Steven L. Brunton , J. Nathan Kutz
• •
  Introduction to Probability for Data Science by Stanley H. Chan
• •
  The Pragmatic Programmer for Machine Learning by Marco Scutari , Mauro Malvestio

Data structures

• •
  Competitive Programmer's Handbook by Antti Laaksonen
• •
  Sequential and Parallel Data Structures and Algorithms: The Basic Toolbox by Peter Sanders , Martin Dietzfelbinger , Kurt Mehlhorn , Roman Dementiev

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

• •
  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

• •
  The Scientist and Engineer's Guide to Digital Signal Processing by Steven W. Smith

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

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

Functional programming

• •
  COMMON LISP: A Gentle Introduction to Symbolic Computation by David S. Touretzky
• •
  Functional Programming in Lean by David Thrane Christiansen
• •
  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

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

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

• •
  Linear Algebra by Jim Hefferon
• •
  The Little Book of Linear Algebra by Duc-Tam Nguyen

Linux

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

Lisp

• •
  Build Your Own Lisp by Daniel Holden
• •
  COMMON LISP: A Gentle Introduction to Symbolic Computation by David S. Touretzky
• •
  Successful Lisp: How to Understand and Use Common Lisp by David B Lamkins
• •
  The Common Lisp Cookbook

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
• •
  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

• •
  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
• •
  Discrete Mathematics - An Open Introduction by Oscar Levin
• •
  Mathematics for Machine Learning by Marc Peter Deisenroth , A Aldo Faisal , Cheng Soon Ong
• •
  The Chaos Hypertextbook by Glenn Elert

Network programming

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

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

• •
  OCaml Programming: Correct + Efficient + Beautiful by Michael R. Clarkson

Object Oriented Programming

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

Operating systems

• •
  A Journey in Creating an Operating System Kernel: The 539kernel Book by Mohammed Q Hussein

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

Physics

• •
  Physics-based Deep Learning by Philipp Holl , Maximilian Mueller , Patrick Schnell , Felix Trost , Nils Thuerey , Kiwon Um
• •
  Structure and Interpretation of Classical Mechanics by Gerald Jay Sussman , Jack Wisdom , Meinhard E Mayer

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

• •
  Introduction to Compilers and Language Design by Douglas Thain
• •
  Programming Languages: Application and Interpretation by Shriram Krishnamurthi

Prolog

• •
  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
• •
  Essentials of Compilation: An Incremental Approach in Racket by Jeremy Siek
• •
  Think Python 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

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

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
• •
  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

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

Version control

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

Video games

• •
  Designing Virtual Worlds by Richard A Bartle
• •
  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