Web design

• Free programming books
• Mind expanding books
• Awesome fantasy
• Book suggestions subreddit
• Language-agnostic programming books
• Recommended reading for developers
• Awesome scifi
• Book notes
• ![Contribute
• Recommended reading for developers

Scala

• 📕 Functional programming in scala (2014)

JavaScript

• 📖 Learning JavaScript design patterns (2015)
• 📖 Up and going
• 📖 Scope and closures
• 📖 This and object prototypes
• 📖 Types and grammar
• 📖 Async and performance
• 📖 ES6 and beyond
• 📖 The JavaScript way (2017)
• 📕 Secrets of the JavaScript Ninja (2013)
• 📕 Effective JavaScript: 68 specific ways to harness the power of JavaScript (2012)
• 📖 Eloquent JavaScript (2011)
• 📕 JavaScript: The Good Parts (2008)
• 📕 Tiny Node Projects (2022)
• 📖 You don’t know JS
• 📕 Tiny Node Projects (2022)
• 📖 Builder Book: Build a Full Stack JavaScript Web App from Scratch (2018)
• 📖 Eloquent JavaScript (2011)

TypeScript

• 📖 SaaS Boilerplate Book: Build a Production-Ready SaaS Web App from Scratch (2020)
• 📕 Effective TypeScript: 62 Specific Ways to Improve Your TypeScript (2019)
• Notes
• 📖 Typescript deep dive
• 📖 The Concise TypeScript Book

C++

• 📕 C++ core guidelines (2017)
• 📕 A Tour of C++ (2013) - Very concise, updates readers with prior knowledge of C++ to modern C++11.
• 📕 Beginning C++ Through Game Programming (2004)

Rust

• 📖 The rustonomicon
• 📖 Rust by example
• 📖 Rust and WebAssembly (2018)
• 📖 Discovery - Discover the world of microcontrollers through Rust.

Haskell

• 📕 Haskell in Depth (2018) - Explores the important language features and programming skills you’ll need to build production-quality software using Haskell.
• 📖 Write you a Haskell (2014)
• 📕 Programming in Haskell (2016)
• 📕 Thinking with Types (2018) - Type-Level Programming in Haskell.
• 📕 The Haskell School of Music (2018)
• Implementation in code
• 📖 Learn You a Haskell for Great Good! (2011)

Go

• 📖 Go 101 (2018)
• 📖 The little go book (2014)
• 📖 Go in action (2015)
• 📖 Go in action, Second Edition (2022)
• 📕 The go programming language (2015)
• 📖 Web app with go - anti text book
• 📖 Build web application with golang
• 📖 Learn Concurrent Programming with Go (2022)
• 📖 Learn Go with Pocket-Sized Projects (2023)
• Multiple Language Versions
• Notes
• 📖 Network programming with Go (2012)

Python

• 📖 Automate the boring stuff with python
• 📖 Dive into python 3 (2004)
• 📖 Problem solving with algorithms and data structures using python (2005)
• 📕 Python essential reference (1999)
• 📖 Python cookbook (2011)
• 📕 Data structures and algorithms in python (2013)
• 📕 Test driven development with python (2014)
• 📕 Effective python (2015)
• 📕 Fluent python (2015)
• 📖 Think Python: How to Think Like a Computer Scientist (2015)
• 📖 Inside the python virtual machine (2017)
• 📕 Practices of the Python Pro (2020)
• 📕 A Pythonic Adventure (2022) - children friendly
• 📕 Twisted Python Projects (2023) - children friendly
• 📖 Full Speed Python (2018)
• 📖 Python by Example (2026)
• 📕 A Pythonic Adventure (2022) - children friendly
• 📕 Twisted Python Projects (2023) - children friendly

MacOS

• 📖 Programming languages: application and interpretation (2012)
• 📖 Crafting interpreters (2012)
• 📖 Programming languages: application and interpretation (2012)
• 📖 Crafting interpreters (2012)

ReasonML

• 📖 Exploring ReasonML (2018)
• 📖 Exploring ReasonML (2018)

Prolog

• 📖 The Power of Prolog (2018)
• 📖 Logic Programming with Prolog (2005)

Assembly

• 📖 Assembly language succinctly (2014)
• 📖 Assembly language succinctly (2014)

C

• 📕 The C programming language (1975)
• 📖 Modern C (2019)
• 📕 21st century C (2014)

Clojure

• 📕 Elements of Clojure (2017)
• 📕 Clojure in Action (2015)
• 📕 Joy of Clojure (2014) - Quite deep, not for beginners, but superb in combination with "Clojure in Action".

D

• 📕 The D programming language (2010)
• 📖 Programming in D (2015)
• 📕 The D programming language (2010)
• 📕 The D programming language (2010)

Java

• 📕 Effective java (2001)
• Notes
• 📖 Data structures and algorithms in java (2003)
• 📕 Java concurrency in practice (2006)
• 📖 Introduction to programming in java: an interdisciplinary approach (2008)
• 📕 Java 8 in action (2014)
• 📕 Test-driven Java development (2015)
• 📕 Java SE 11 Programmer I Certification Guide (2020 early-access)
• 📕 Java by Comparison (2018)
• 📕 Java: The Complete Reference (2011)
• Code examples
• Code examples
• 📖 Introduction to programming in java: an interdisciplinary approach (2008)
• 📕 Java SE 11 Programmer I Certification Guide (2020 early-access)

Kotlin

• 📖 The Joy of Kotlin (2019)
• 📕 Head First Kotlin (2019)
• 📖 Kotlin in Action (2017)
• 📖 Elements of Kotlin (2021)
• 📖 The Joy of Kotlin (2019)
• 📖 Kotlin in Action (2017)

Lisp

• 📕 The little schemer (1974)
• 📕 Lisp in small pieces (1994)
• 📕 The little schemer (1974)

OCaml

• 📖 Real World OCaml (2018)

Perl

• 📖 Modern Perl (2016)
• 📖 Modern Perl (2016)

PowerShell

• 📕 Learn PowerShell in a Month of Lunches, Linux and macOS Edition (2019)

Ruby

• 📕 The well grounded rubyist (2009)
• 📕 Eloquent ruby (2011)
• 📕 Practical object oriented design in ruby (2012)
• 📕 Confident ruby (2013)
• Code solutions
• Notes
• Go implementation

Smalltalk

• 📕 Smalltalk best practice patterns (1997)

Swift

• 📖 Swift programming language (2014)
• 📕 Hacking with macOS (2018)
• Swift Cheat sheet
• 📖 Swift programming language (2014)

Agda

• 📖 Programming Language Foundations in Agda (2018)

Purescript

• 📖 Purescript book (2017)

Thriller

• 📖 Mostly adequate guide to FP (in JavaScript)
• 📕 Pearls of Functional Algorithm Design (2010)

Alternative history

• 📖 Immersive linear algebra (2017)
• 📖 A mathematician's apology (1940)
• 📕 Handbook of mathematics (1945)
• 📕 Fantasia mathematica (1958)
• 📕 Gödel's proof (1958)
• 📕 Sphereland (1965)
• 📖 Topology from a differentiable viewpoint (1965)
• 📖 An introduction to commutative algebra (1969)
• 📕 Mathematics made difficult (1972)
• 📖 A course in arithmetic (1973)
• 📖 Introductory functional analysis with applications (1978)
• 📕 A book of abstract algebra (1982)
• 📕 To mock a mockingbird (1985)
• 📖 Proofs and types (1989)
• 📕 Primes of the Form X2 + Ny2: Fermat, Class Field Theory, and Complex Multiplication (1989)
• 📕 Algebraic Number Theory (1992)
• 📕 Concrete mathematics (1994)
• 📕 How to prove it (1994)
• 📕 Linear algebra done right (1995)
• 📕 Algebraic Curves and Riemann Surfaces (1995)
• 📕 Visual complex analysis (1997)
• 📕 Conceptual Mathematics: A First Introduction To Categories (1997)
• 📕 Geometry and the imagination (1999)
• 📕 Combinatorial Optimization: Polyhedra and Efficiency (2002)
• 📖 Sets for Mathematics (2003)
• 📕 A first course in linear algebra (2004)
• 📕 The art of problem solving (2006)
• 📕 The princeton companion to mathematics (2008)
• 📕 Visual group theory (2009)
• 📕 Algebra: Chapter 0 (2009)
• 📕 Essentials of discrete mathematics (2009)
• 📕 Computational Topology: An Introduction (2010)
• 📕 Foundations of analysis (2012)
• 📖 Homotopy type theory (2013)
• 📖 The napkin project (2017)
• 📖 Mathematics for computer science (2017)
• 📕 Programmer's Introduction to Mathematics (2018)
• 📕 Invitation to ergodic theory
• 📖 Abstract Algebra: Theory and Applications
• 📖 Topology from a differentiable viewpoint (1965)
• 📖 Proofs and types (1989)
• 📖 Sets for Mathematics (2003)
• 📕 A first course in linear algebra (2004)
• 📕 Invitation to ergodic theory
• 📖 Linear algebra
• 📖 A course in arithmetic (1973)
• 📖 Topology from a differentiable viewpoint (1965)
• 📖 The napkin project (2017)
• 📕 Physically based rendering: from theory to implementation
• 📕 Invitation to ergodic theory

Agda

• 📕 Clean code (2008)
• 📖 Mindstorms: children, computers, and powerful ideas (1980)
• 📕 Computer Systems: A Programmer's Perspective (2002)
• 📕 The art of computer programming (1968-)
• 📕 The psychology of computer programming (1971)
• 📕 The elements of programming style (1974)
• 📕 Software reliability: principles and practices (1976)
• 📖 Structure and interpretation of computer programs (1979)
• 📖 Communicating sequential processes (1985)
• 📕 The art of the metaobject protocol (1991)
• 📖 Code: hidden language of computer hardware and software (1999)
• 📕 The pragmatic programmer (1999)
• 📕 The practice of programming (1999)
• 📕 Refactoring (1999)
• 📕 How to design programs (2001)
• 📕 Inside the machine (2006)
• 📕 Design concepts in programming (2008)
• 📕 Apprenticeship patterns (2010)
• 📕 The art of readable code: simple and practical techniques for writing better code (2011)
• 📕 Programming in the large with design patterns (2012)
• 📕 Dynamic Programming and Optimal Control (2012)
• 📕 The Software Craftsman: Professionalism, Pragmatism, Pride (2014)
• 📖 How These Things Work (2016)
• 📕 Introduction to the Theory of Complex Systems (2018)
• 📖 Composing programs
• 📕 Designing APIs with Swagger and OpenAPI (early-access)
• 📕 API Design Patterns - A collection of best practices and design standards for web and internal APIs.
• 📕 Street Coder (2021) - Programmer's survival guide, full of tips, tricks, and hacks that will make you a more efficient programmer.
• 📕 Good Code, Bad Code (2021) - Book about writing code that is robust, reliable, and easy for team members to understand and adapt.
• 📕 Software Mistakes and tradeoff: How to make good programming decision (2021) - Optimize the decisions that define your code by exploring the common mistakes and intentional tradeoffs made by expert developers.
• 📕 Parallel and High-Performance Computing (2021) - A book that offers techniques guaranteed to boost your code’s effectiveness.
• 📕 The Programmer's Brain (2021) - A book that teaches the concrete techniques rooted in cognitive science that will improve the way you learn and think about code.
• 📕 The Art of Unit Testing, Third Edition (2021) - A book that guides you step by step from your first simple unit tests to building complete test sets that are maintainable, readable, and trustworthy.
• 📕 The Creative Programmer (2022) - Book about creative problem solving in programming.
• SICP in Emacs Lisp
• 📖 Communicating sequential processes (1985)
• 📕 Dynamic Programming and Optimal Control (2012)
• 📖 Safe by Design: Explorations in Software Architecture and Expressiveness - The book tells about enforcing safety by design and provides examples that can be applied in gamedev.
• 📖 Code: hidden language of computer hardware and software (1999)
• 📖 How These Things Work (2016)

Thriller

• 📕 Game programming patterns
• 📕 Game Engine Architecture Book (2018)
• 📕 Tricks of the 3D game programming gurus-advanced 3D graphics and rasterisation (2003)

Alternative history

• 📕 MachineLearningWithTensorFlow2ed (2020) - Book on general purpose machine learning techniques regression, classification, unsupervised clustering, reinforcement learning, auto encoders, convolutional neural networks, RNNs, LSTMs, using TensorFlow 1.14.1.
• 📕 Trust in Machine Learning (2021) - Book about how to build machine learning systems that are explainable, robust, transparent, and optimized for fairness.
• 📕 Paradigms of artificial intelligence programming (1991)
• 📕 Artificial intelligence a modern approach (1994)
• 📕 Machine learning (1997)
• 📖 The quest for artificial intelligence - a history of ideas and achievements (2009)
• 📕 Introduction to artificial intelligence (2011)
• 📕 Machine learning: a probabilistic perspective (2012)
• 📕 Superintelligence: paths, dangers, strategies (2014)
• 📖 Understanding machine learning: from theory to algorithms (2014)
• 📖 Neural Networks and Deep Learning (2015)
• 📕 Deep Larning with Python (2017)
• 📕 Tensorflow machine learning cookbook (2017)
• 📕 Hands-On Machine Learning with Scikit-Learn and TensorFlow (2017)
• 📕 Machine Learning with Go (2017) - Build simple, maintainable, and easy to deploy machine learning applications.
• 📖 Interpretable Machine Learning (2018)
• 📕 How Machine Learning Works (2019) - An introduction to both ML's practice and math foundations in a non-threatning approach.
• 📕 Grokking Deep Learning (2019)
• 📕 Machine Learning Bookcamp (2020) - Project-based approach to learning machine learning.
• 📖 Interpretable machine learning (2018) - Explaining the decisions and behavior of machine learning models.
• 📖 Distributed Machine Learning Patterns (2023) - Distributed machine learning system patterns.
• Code
• 📖 Neural Networks and Deep Learning (2015)
• 📕 Paradigms of artificial intelligence programming (1991)
• 📕 Machine learning (1997)
• Code
• 📖 Understanding machine learning: from theory to algorithms (2014)
• 📕 Tensorflow machine learning cookbook (2017)
• 📕 Machine Learning with Go (2017) - Build simple, maintainable, and easy to deploy machine learning applications.

Git

• 📕 Micro Frontends in Action
• 📕 Hugo in Action (early-access)

React

• 📕 React Hooks in Action
• 📖 React in Patterns (2018)

CSS

• 📖 Learn CSS Layout the pedantic way (2015)

Redux

• 📖 Redux Book (2018)

Webpack

• 📖 Webpack: From apprentice to master (2018)
• 📖 Webpack: From apprentice to master (2018)

Web design

• 📕 Don’t make me think (2000)

Node

• 📖 Node up and running (2012)

• 📕 Flatland (1884)
• 📕 Roadside picnic (1972)
• 📕 Nineteen eighty-four (1949)
• 📕 Brave new world (1932)
• 📕 Fahrenheit 451 (1953)
• 📕 The road (2006)
• 📕 The forever war (1974)
• 📕 Cryptonomicon (1999)
• 📕 House of leaves (2000)
• 📕 Notes from underground (1864)
• 📕 Crime and punishment (1866)
• 📕 The idiot (1869)
• 📕 The brothers karamazov (1880)
• 📕 The picture of dorian gray (1890)
• 📕 The yellow wallpaper (1892)
• 📕 The iron heel (1908)
• 📕 The ragged trousered philanthropists (1914)
• 📕 We (1924)
• 📕 Heart of a dog (1925)
• 📕 The great gatsby (1925)
• 📕 The glass bead game (1943)
• 📕 Animal farm (1945)
• 📕 The plague (1947)
• 📕 No longer human (1948)
• 📕 Bel: An essay on man in revolt (1951)
• 📕 East of eden (1952)
• 📕 The doors of perception (1954) - Details Aldous Huxley’s own experiences when taking mescaline.
• 📕 Lolita (1955)
• 📕 Atlas Shrugged (1957)
• 📕 Doctor zhivago (1957)
• 📕 Flowers for algernon (1959)
• 📕 Catch-22 (1961)
• 📕 Pale fire (1962)
• 📕 Island (1962)
• 📕 We have always lived in the castle (1962)
• 📕 One day in the life of ivan denisovich (1962)
• 📕 Monday begins on saturday (1964)
• 📕 Dune (1965)
• 📕 Stoner (1965)
• 📕 Master and margarita (1967)
• 📕 One hundred years of solitude (1967)
• 📕 Slaughterhouse five (1969)
• 📕 Augustus (1972)
• 📕 The shining (1977)
• 📕 1978: hitchhikers guide to the galaxy
• 📕 The soul of new machine (1981)
• 📕 The wasp factory (1984)
• 📕 Blood meridian (1985)
• 📕 The silence of the lambs (1988)
• 📕 Geek love (1989)
• 📕 The remains of the day (1989)
• 📕 The story of B: an adventure of the mind and spirit (1996)
• 📕 Infinite jest (1996)
• 📕 The perks of being a wallflower (1999)
• 📕 The Bug (2003)
• 📖 The metamorphosis of prime intellect (2007)
• 📕 The passage (2010)
• 📖 Harry potter and the methods of rationality (2015)
• 📖 Unsong (2017)
• 📖 Harry potter and the methods of rationality (2015)
• 📖 The metamorphosis of prime intellect (2007)
• 📖 Unsong (2017)
• 📕 No longer human (1948)

Fantasy

• 📕 The stand (1978)
• 📕 American gods (2001)
• 📕 The night circus (2011)
• 📕 A song of ice and fire
• 📕 The stormlight archive
• 📕 The wheel of time

Adventure

• 📕 The count of monte cristo (1844)

Comedy

• 📕 A confederacy of dunces (1980)

Short Stories

• 📖 Alice in Wonderland (1865)
• 📕 Ficciones (1941-1956)
• 📕 The little prince (1943)
• 📖 The last question (1956)
• 📕 Franz kafka: the complete stories (1971)
• 📕 Understand (1991)
• 📕 Story of your life (1998)
• 📖 The fable of the dragon-tyrant (2005)
• 📖 The fable of the dragon-tyrant (2005)
• 📖 The fable of the dragon-tyrant (2005)

Thriller

• 📕 And then there were none (1939)

SciFi Series

• 📕 Rama
• 📕 Culture
• 📕 The baroque cycle
• 📕 Hyperion cantos
• 📕 The dark tower
• 📕 Foundation
• 📕 Red rising

Agda

• 📕 A fire upon the deep (1992)
• 📕 Blindsight
• 📕 Permutation city (1994)
• 📕 The martian (2011)
• 📕 Neuromancer (1984)
• 📕 Snow crash (1992)
• 📕 The diamond age (1995)
• 📕 The dispossessed
• 📕 Ender’s game (1985)
• 📕 Stranger in a strange land (1961)
• 📕 The sirens of titan (1959)
• 📕 Cat’s cradle (1963)
• 📕 Do androids dream of electric sheep? (1968)
• 📕 Ubik (1969)
• 📕 The mote in god's eye (1974)
• 📕 The player of games (1988)
• 📕 Golden son (2015)

Alternative history

• 📕 The man in the high castle (1962)

Thriller

• 📕 The souls of black folk (1903)
• 📕 Gravity’s rainbow (1973)
• 📕 The gulag archipelago (1973)
• 📕 American slavery, american freedom (1975)
• 📕 A people’s history of the united states (1980)
• 📕 Hackers: Heroes of the Computer Revolution (1984)
• 📕 The making of atomic bomb (1986)
• 📕 Lenin's tomb: the last days of the soviet empire (1993)
• 📕 Why the allies won (1995)
• 📕 Lies my teacher told me (1995)
• 📕 Guns, germs, and steel: the fates of human societies (1997)
• 📕 Two hundred years together (2002)
• 📕 Masters of doom (2003)
• 📕 Stalin: the court of the red tsar (2003)
• 📕 The third reich at war
• 📕 The coming of the third reich
• 📕 The third reich in power
• 📕 Sapiens: a brief history of humankind (2011)
• 📕 The origins of political order (2011)
• 📕 The idea factory: bell labs and the great age of american innovation (2012)
• 📕 Memory Machines: The Evolution of Hypertext (2013)
• 📕 The sixth extinction: an unnatural history (2014)
• 📕 Political order and political decay (2014)
• 📕 Conquerors: how portugal forged the first global empire (2015)
• 📕 Homo deus: a brief history of tomorrow (2015)
• 📕 Beyond Germs: Native Depopulation in North America (2015)

Git

• 📖 Pro git (2014)
• 📖 Git in practice (2014)

Alternative history

• 📕 Homage to catalonia (1938)
• 📕 Into thin air (1997)
• 📕 Damned lies and statistics (2001)
• 📕 Coders at work: reflections on the craft of programming (2009)

Alternative history

• 📕 How to win friends and influence people (1936)
• 📕 Man’s search for meaning (1946)
• 📕 Tao te ching (6th century BC)
• 📕 Meditations (161)
• 📕 The Zen Teaching of Huang Po: On the Transmission of Mind (857)
• 📕 Siddhartha (1922)
• 📕 Think and grow rich (1937)
• 📕 The stranger (1942)
• 📖 The wisdom of insecurity: a message for an age of anxiety (1951)
• 📕 The first and last freedom (1954)
• 📕 The way of zen (1957)
• 📕 The book on the taboo against knowing who you are (1966)
• 📕 Zen Mind, Beginner's Mind: Informal Talks on Zen Meditation and Practice (1970)
• 📕 Be here now (1971)
• 📕 The Way of the Bodhisattva (1971)
• 📕 The inner game of tennis (1974)
• 📕 The 7 habits of highly effective people (1989)
• 📕 The Zen Teaching of Bodhidharma (1989)
• 📕 Peace is every step (1990)
• 📖 Mindfulness in plain english (1992)
• 📕 Mastery: the keys to success and long term fulfilment (1992)
• 📕 The Four Noble Truths (1992)
• 📕 No Ajahn Chah: Reflections (1994)
• 📕 The Art of Happiness (1998)
• 📕 Emptiness dancing (2004)
• 📕 Mindfulness, Bliss, and Beyond: A Meditator's Handbook (2006)
• 📕 Eating animals (2009)
• 📕 The happiness advantage (2010)
• 📕 Models (2011)
• 📕 Mastery (2012)
• 📕 A mind for numbers: how to excel at math and science (2014)
• 📕 Spaciousness: The Radical Dzogchen of the Vajra-Heart: Longchenpa's Treasury of the Dharmadhatu (2014)
• 📕 Waking up: a guide to spirituality without religion (2014)
• 📕 Deep Work: Rules for Focused Success in a Distracted World (2016)
• 📕 The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good Life(2016)
• 📕 The Daily Stoic: 366 Meditations for Clarity, Effectiveness, and Serenity (2016)
• 📖 Concentration and meditation
• 📖 Mindfulness in plain english (1992)
• 📖 Mindfulness in plain english (1992)

Thriller

• 📕 Rich dad poor dad (1997)
• 📕 The richest man in babylon (1926)

Alternative history

• 📕 Kubernetes in Action, Second Edition
• 📕 Kubernetes on Windows (2021 early-access)
• 📕 Kubernetes: Up & Running (2016)
• 📕 Kubeflow in Action (2021 early-access)
• 📕 Learn Kubernetes in a Month of Lunches (2021 early-access)
• 📕 Acing the Certified Kubernetes Administrator Exam
• 📕 Acing the Certified Kubernetes Administrator Exam, Second Edition
• 📕 Kubeflow in Action (2021 early-access)

Vim

• 📕 Programming with Types (early-access 2019/20)
• 📖 Type Theory & Functional Programming (1999)
• 📕 Type Theory and Formal Proof: An Introduction (2014)

Thriller

• 📕 On film making: an introduction to the craft of the director (2005)

Thriller

• 📕 Starting strength: basic barbell training (2005)

Thriller

• 📕 The second machine age (2014)

Thriller

• 📕 The elements of typographic style (1992)
• 📕 Logo design love (2015)

Alternative history

• 📕 The intelligent investor (1949)

Alternative history

• 📕 The Five Dysfunctions of a Team: A Leadership Fable (2002)

Alternative history

• 📖 Introduction to Lambda Calculus (2000)
• 📖 The Haskell road to logic, math and programming (2004)
• 📖 Logicomix (2008)
• forallx: Cambridge (2017) - Covers both truth-functional logic and first-order logic, introducing students to semantics and to a Fitch-style natural deduction system.
• 📖 Introduction to Lambda Calculus (2000)

Alternative history

• 📕 The mythical man-month (1975)
• Notes
• 📕 High output management (1983)
• 📕 The essential drucker

Alternative history

• 📕 Walden (1854)
• 📕 The world of yesterday (1942)
• 📕 On writing (2000)
• 📕 A thousand tiny failures: memoirs of a pickup artist (2014)

SciFi Series

• 📕 The Quantum and the Lotus: A Journey to the Frontiers Where Science and Buddhism Meet (2000)
• 📕 Journey of souls: case studies of life between lives (1994)

Alternative history

• 📕 Goodbye, Things: The New Japanese Minimalism (2017)

Alternative history

• 📕 Harmony for Computer Musicians (2010)

Alternative history

• 📕 The man who mistook his wife for a hat (1985)
• 📕 Descartes' error (1994)
• 📕 The Body Electric: Electromagnetism and the Foundation of Life (1998)
• 📕 Principles of neural science (2000)
• 📕 Molecular basis of neuropharmacology: a foundation for clinical neuroscience (2001)
• 📕 Synaptic self: how our brains become who we are (2002)
• 📕 The Brain That Changes Itself (2007)

Alternative history

• 📕 Advanced Nutrition and Human Metabolism (1995)
• 📕 The Poor, Misunderstood Calorie: Calories Proper (2012)
• 📕 Gut: The Inside Story of Our Body’s Most Underrated Organ (2014)
• 📕 How not to die (2015)

Alternative history

• 📕 Operating system concepts (1983)
• 📕 Modern operating systems (1992)
• 📕 Programming with Posix Threads (1993)
• 📖 An efficient implementation of fundamental operating system services (1992)
• 📖 intermezzOS
• 📖 Operating Systems: From 0 to 1

iOS

• 📕 iOS 10 programming fundamentals with swift (2015)
• 📕 iOS 10 programming fundamentals with swift (2015)

Linux

• 📕 How linux works (2014)
• 📖 linux-insides

MacOS

• 📕 Mac OS X and IOS Internals: To the Apple's Core, Volume 1 User Mode (2015)

MacOS

• 📖 Tao of Seneca Volume 1 (1925)
• 📖 Tao of Seneca Volume 2 (1925)
• 📖 Tao of Seneca Volume 3 (1925)
• 📕 Godel, escher, bach (1979) - Explores fundamental concepts of mathematics, symmetry and intelligence and how they interlink.
• Lecture notes
• Course on the book
• 📕 Prometheus rising (1983)
• 📕 Finite and infinite games (1986)
• 📕 The stuff of thought (2007)
• Python implementation of formal systems from the book
• Course on the book
• Course on the book

MacOS

• 📕 Relativity: the special and the general theory (1916)
• 📕 University physics with modern physics
• Notes
• 📕 Nonlinear dynamics and chaos (1994)
• 📕 Pale blue dot (1994)
• 📕 Black holes and time warps (1994)
• 📕 The fabric of the cosmos (2004)
• 📕 Fields of colour: the theory that escaped Einstein (2010)
• 📕 The theoretical minimum (2013)
• 📖 The feynman lectures on physics (2013)
• Notes
• 📖 The feynman lectures on physics (2013)

MacOS

• 📕 Letters to a Young Poet (1929)

MacOS

• 📕 The road to serfdom (1944)
• 📕 The anatomy of the state (1974)
• 📕 Understanding power: the indispensable chomsky (2002)
• 📕 The dictator's handbook: why bad behaviour is almost always good politics (2011)
• 📕 The democracy project: a history, a crisis, a movement (2013)

MacOS

• 📕 Cracking the coding interview (2008)
• 📕 Elements of programming interviews (2012)
• Solutions in Go
• solutions in c++
• Solutions in swift
• Solutions in Python
• Solutions in Java
• Solutions in Java

MacOS

• 📖 Beautiful racket
• 📖 Beautiful racket

Agda

• 📖 LSD: My Problem Child (1979)
• 📕 Tryptamine Palace: 5-MeO-DMT and the Sonoran Desert Toad (2009)
• 📖 Tryptamines I Have Known And Loved: The Chemistry Continues
• 📕 The invisible landscape: mind, hallucinogens, and the i ching (1994)
• 📖 The Cosmic Serpent: DNA and the origins of knowledge (1998)
• 📕 Breaking open the head (2002)
• 📕 Supernatural: meetings with the ancient teachers of mankind (2005)
• 📖 LSD: My Problem Child (1979)

Agda

• 📕 Thinking, Fast and Slow (2011)
• 📕 On intelligence (2004)
• 📕 Influence: the psychology of persuasion (1984)
• 📖 Fundamentals of Psychological Disorders

Agda

• 📕 Quantum: A Guide for the Perplexed (2003)

Agda

• 📕 Regular expressions cookbook (2009)
• 📖 Ruby Regexp (2020)
• 📖 Python re(gex)? (2020)
• 📖 JavaScript RegExp (2020)

Agda

• 📖 Reinforcement Learning: An Introduction (2018)
• 📖 Reinforcement Learning: An Introduction (2018)

Agda

• 📕 The structure of scientific revolutions (1962)
• 📕 Cosmos (1980)
• 📕 A brief history of time (1988)
• 📕 The demon-haunted world (1995)
• 📕 A short history of nearly everything (2003)
• 📕 What if? (2014)

SciFi Series

• 📕 The database hacker’s handbook (2005) - Most detailed book available for attacking databases (covers basic through advanced topics).
• 📕 A guide to kernel exploitation (2010) - Advanced exploitation of a range of operating systems.
• 📕 The tangled web (2011) - Detailed look at the foundations of web protocols followed by a thorough examination of their weakness.
• 📖 The web application hackers handbook (2014)
• 📕 The browser hacker's handbook (2014) - A detailed look into many web security topics.
• 📕 Security Engineering (2020) - A look into many security topics.

SciFi Series

• 📕 Why We Sleep: Unlocking the Power of Sleep and Dreams (2017)

SciFi Series

• 📕 The utopia of rules (2015)

SciFi Series

• 📕 Running Lean (2012)
• 📕 Zero to one (2014)
• 📕 Just fucking ship (2014)

SciFi Series

• 📕 The visual display of quantitative information (1983)
• 📕 Bayesian Data Analysis (1995)
• 📖 The elements of statistical learning (2001)
• 📖 All of statistics (2004)
• 📕 Introduction to bayesian statistics (2007)
• 📖 Think bayes: bayesian statistics made simple (2012)
• 📖 An introduction to statistical learning: with applications in r (2013)
• 📕 Statistical rethinking: a bayesian course with examples in R and Stan (2015)
• Lectures
• 📖 Computational and inferential thinking (2017)
• 📕 Statistics Playbook (early Access - 2022)
• Lectures
• 📖 Think bayes: bayesian statistics made simple (2012)
• 📖 All of statistics (2004)
• Lectures
• 📕 Statistics Playbook (early Access - 2022)

SciFi Series

• 📕 The art of war (~ 500 BC)

SciFi Series

• 📖 Build Your Own Text Editor

Vim

• 📕 Practical vim: Edit Text at the Speed of Thought (2012)
• 📖 Vim user manual - Must read for anyone new to vim.
• Notes
• 📖 Vim user manual - Must read for anyone new to vim.

Vim

• 📕 Advanced programming in the unix environment (1992)
• 📕 Unix power tools (1993)
• 📖 An introduction to unix (2014)
• 📖 GNU grep and ripgrep (2020)
• 📖 GNU sed (2020)
• 📖 GNU awk (2020)
• 📖 An introduction to unix (2014)

Git

• 📕 Envisioning information (1990)

Git

• 📕 Style: Lessons in Clarity and Grace (1981)

Alternative history

• 📕 Trauma and Madness in Mental Health Services (2018)