List of books I'm interested in

books.md

Trailing asterisks indicate books I've finished reading

Libre:

• Public Domain
  • https://www.gutenberg.org/
    • Public domain in the USA
    • https://www.gutenberg.org/ebooks/11 *
    • https://www.gutenberg.org/ebooks/22367
    • https://www.gutenberg.org/ebooks/33283
    • https://www.gutenberg.org/ebooks/863
• Creative Commons (CC)
  • BY
    • 4.0
      • https://github.com/WebAssembly/spec
        • https://github.com/WebAssembly/spec/blob/main/LICENSE
          • Apache-2.0
          • W3C-20150513
      • https://github.com/happi/theBeamBook
      • https://github.com/llsoftsec/llsoftsecbook
      • https://github.com/riscv/riscv-isa-manual
    • https://www.cs.jhu.edu/~langmea/resources/lecture_notes/11_dp_and_edit_dist_v2.pdf
      • https://langmead-lab.org/teaching-materials/
  • BY-NC
    • 3.0
      • https://github.com/BenLauwens/ThinkJulia.jl
        • BenLauwens/ThinkJulia.jl#16
        • DRM-Free: https://www.ebooks.com/en-jp/book/detail/209657916/
      • https://github.com/progit/progit2
        • Chapters
          • Git Internals
  • BY-NC-ND
    • 2.0
      • https://htdp.org/
    • 3.0
      • https://learnyousomeerlang.com/
        • https://learnyousomeerlang.com/static/erlang/learn-you-some-erlang.zip
    • 4.0
      • https://github.com/munificent/craftinginterpreters
        • https://github.com/munificent/craftinginterpreters/blob/master/LICENSE
          • MIT
  • BY-NC-SA
    • 2.0
      • https://thinking-forth.sourceforge.net/
    • 2.5 AU
      • https://github.com/clever-algorithms/CleverAlgorithms
    • 3.0
      • https://github.com/learnyouahaskell/learnyouahaskell.github.io
        • Community-maintained version of http://learnyouahaskell.com/
    • 4.0
      • https://github.com/morinted/art_of_chording
        • morinted/art_of_chording#104
      • https://hub.darcs.net/raichoo/darcs-book
        • https://darcsbook.acmelabs.space/
      • https://openstax.org/
        • https://openstax.org/details/books/calculus-volume-1
      • https://wisc.pb.unizin.org/readinggerman/
  • BY-SA
    • 3.0
      • https://github.com/HoTT/book
    • 3.0 FR
      • https://nest.pijul.com/pijul/manual
        • https://nest.pijul.com/pijul/manual:main/SCSV2FNSTQ4FU.P64QO
          • GPL-2.0-or-later
        • https://pijul.org/manual/
    • 4.0
      • https://git.sr.ht/~sircmpwn/wayland-book
        • https://wayland-book.com/
      • https://github.com/hmemcpy/milewski-ctfp-pdf
      • https://github.com/plfa/plfa.github.io
      • https://gitlab.com/cnewstead/infdesc
      • https://learn.adacore.com/
      • https://sicpebook.wordpress.com/
        • https://ocw.mit.edu/courses/6-001-structure-and-interpretation-of-computer-programs-spring-2005/
          • CC BY-NC-SA 4.0
• GNU Free Documentation License (GFDL)
  • 1.2-or-later
    • https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours
• Other
  • https://github.com/rust-lang/book *
    • https://github.com/rust-lang/book/blob/main/COPYRIGHT
      • Apache-2.0
      • MIT
  • https://github.com/theseus-os/Theseus/tree/theseus_main/book
    • https://github.com/theseus-os/Theseus/blob/theseus_main/LICENSE-MIT
      • MIT
    • https://www.theseus-os.com/Theseus/book/
  • https://lojban.org/publications/cll/
    • Check the section on "Boring Legalities"

Available Online:

• https://doi.org/10.1007/BF01840446 *
  • Complemented by https://blog.robertelder.org/diff-algorithm *
• https://doi.org/10.1016/S0304-3975(02)00571-6 *
• https://doi.org/10.1145/1281500.1281665
  • https://steamcdn-a.akamaihd.net/apps/valve/2007/SIGGRAPH2007_AlphaTestedMagnification.pdf
• https://doi.org/10.1145/3600006.3613147
• https://doi.org/10.1145/512529.512532
  • https://www.microsoft.com/en-us/research/publication/adoption-and-focus-practical-linear-types-for-imperative-programming/
• https://doi.org/10.48550/arXiv.1311.3903
• https://github.com/edolstra/edolstra.github.io/tree/master/pubs
• https://graphics.stanford.edu/papers/area-flooding-sig82course/area-flooding-sig82course.pdf
• https://hastie.su.domains/ElemStatLearn/
• https://lean-forward.github.io/logical-verification/
• https://mitpress.mit.edu/9780262691635/the-art-of-prolog/
• https://nixos.org/docs/SCR-2005-091.pdf
• https://pages.cs.wisc.edu/~remzi/OSTEP/
  • DRM-Free: https://remzi.gumroad.com/l/exGpf
• https://pbr-book.org/
  • Code is under Apache License 2.0
    • https://www.pbrt.org/resources
• https://people.freebsd.org/~lstewart/articles/cpumemory.pdf
• https://plato.stanford.edu/entries/lambda-calculus/
• https://ratfactor.com/forth/the_programming_language_that_writes_itself.html
• https://web.archive.org/web/20220902183928/https://www.microsoft.com/en-us/research/publication/the-implementation-of-functional-programming-languages/
  • https://www.microsoft.com/en-us/research/uploads/prod/1987/01/slpj-book-1987.pdf
  • https://www.microsoft.com/en-us/research/publication/implementing-functional-languages-a-tutorial/
• https://www.cs.bu.edu/~hwxi/atslangweb/Documents.html#INT2PROGINATS
• https://www.dataorienteddesign.com/dodbook.pdf
  • Code is under MIT License
    • https://github.com/raspofabs/dodbooksourcecode
• https://www.forth.com/starting-forth/
• https://www.latex-project.org/help/documentation/usrguide.pdf
• https://www.redblobgames.com/pathfinding/a-star/introduction.html *

DRM-Free:

• https://support.springer.com/en/support/solutions/articles/6000080086
  • https://doi.org/10.1007/978-3-662-07964-5
    • https://github.com/coq-community/coq-art
  • https://doi.org/10.1007/978-4-431-68033-8
    • https://doi.org/10.1007/978-4-431-68033-8_6 *
• https://plato.stanford.edu/index.html
  • https://plato.stanford.edu/entries/goedel-incompleteness/
  • https://plato.stanford.edu/entries/lambda-calculus/
  • https://plato.stanford.edu/entries/logic-classical/
  • https://plato.stanford.edu/entries/turing-machine/
• https://inspectioncopy.elsevier.com/book/details/9780128203316
• https://www.cambridge.org/features/linguistics/cgel/default.htm
  • https://www.cambridge.org/core/books/cambridge-grammar-of-the-english-language/A78402ABF5176AD283494180BCA2046F
    • https://www.cambridge.org/core/accessibility
• https://www.informit.com/store/design-and-implementation-of-the-freebsd-operating-9780321968975
  • https://docs.freebsd.org/en/books/design-44bsd/
• https://www.manning.com/books/type-driven-development-with-idris
  • https://idris2.readthedocs.io/en/latest/typedd/typedd.html
• https://www-cs-faculty.stanford.edu/~knuth/taocp.html
  • https://www.informit.com/store/ebook-formats/
    • Watermarked but technically DRM-free?
• https://unsafeperform.io/retroclash/

Other:

• http://duntemann.com/assembly.html *
• https://drhallowell.com/read/books-by-ned/
  • https://www.randomhousebooks.com/books/550868/ *
• https://finallyfocused.org/the-book/ *
• https://greystonebooks.com/products/diabetes-code-the
• https://linker.iecc.com/
• https://raymondsmullyan.com/books/to-mock-a-mockingbird-and-other-logic-puzzles/
• https://www.cengage.com/c/calculus-early-transcendentals-9e-stewart/9780357113516/
  • https://www.stewartcalculus.com/_update/20/home.html
• https://www.cis.upenn.edu/~bcpierce/tapl/
• https://www.harpercollins.com/products/the-intelligent-investor-rev-ed-benjamin-graham
  • https://www.harpercollins.com/pages/corporate-customer-service#accordionQuestion-29
• https://www.pearson.com/en-us/subject-catalog/p/modern-operating-systems/P200000003295/9780137618873

Would be cool if the title of each book would be in front of the link ^^