Update some ratings.
Chris Pressey
1 year, 26 days ago
| 9 | 9 |
_See also: [Programming Languages](../Programming%20Languages/)_
|
| 10 | 10 |
|
| 11 | 11 |
- - - -
|
|
12 |
|
|
13 |
[The Programming Language Lua](https://lua.org/)
|
| 12 | 14 |
|
| 13 | 15 |
[Lua 5.3.5 Online Demo for MS-DOS : Lua.org, PUC-Rio : Free Download, Borrow, and Streaming : Internet Archive](https://archive.org/details/lua5.3.5)
|
| 14 | 16 |
|
| 6 | 6 |
SPDX-License-Identifier: CC0-1.0
|
| 7 | 7 |
-->
|
| 8 | 8 |
|
|
9 |
### The Programming Language Lua
|
|
10 |
|
|
11 |
* url: https://lua.org/
|
|
12 |
* rating: 2
|
|
13 |
|
|
14 |
future-rating: 2.5 useful
|
|
15 |
|
| 9 | 16 |
### Lua 5.3.5 Online Demo for MS-DOS : Lua.org, PUC-Rio : Free Download, Borrow, and Streaming : Internet Archive
|
| 10 | 17 |
|
| 11 | 18 |
* url: https://archive.org/details/lua5.3.5
|
| 12 | |
* rating: 3
|
|
19 |
* rating: 2
|
| 13 | 20 |
* topics: Lua, DOS
|
| 14 | 21 |
|
| 15 | 22 |
.
|
| 33 | 33 |
* date: 1994
|
| 34 | 34 |
* online @ [archive.org](https://archive.org/details/kielkowski-inside-spice-1994)
|
| 35 | 35 |
* topics: Numerical Analysis, Electronics
|
| 36 | |
* rating: TODO
|
|
36 |
* rating: 2
|
| 37 | 37 |
|
| 38 | 38 |
.
|
| 11 | 11 |
|
| 12 | 12 |
<!-- TOTALS -->
|
| 13 | 13 |
|
| 14 | |
Currently it consists of **576** web pages, **64** repositories, **140** papers, and **158** books in **89** topics.
|
| 15 | |
Of these, [**102** have the highest rating](by-rating/Top-rated.md),
|
| 16 | |
[**23** are considered classics](by-rating/Classic.md),
|
| 17 | |
[**36** are considered very interesting](by-rating/Very%20Interesting.md),
|
| 18 | |
while [**96** are yet to be rated](by-rating/Unrated.md).
|
|
14 |
Currently it consists of **577** web pages, **64** repositories, **140** papers, and **158** books in **89** topics.
|
|
15 |
Of these, [**100** have the highest rating](by-rating/Top-rated.md),
|
|
16 |
[**25** are considered classics](by-rating/Classic.md),
|
|
17 |
[**39** are considered very interesting](by-rating/Very%20Interesting.md),
|
|
18 |
while [**93** are yet to be rated](by-rating/Unrated.md).
|
| 19 | 19 |
|
| 20 | 20 |
<!-- /TOTALS -->
|
| 21 | 21 |
|
| 11 | 11 |
* authors: Edward Alcosser, James P. Phillips, Allen M. Wolk
|
| 12 | 12 |
* date: 1968
|
| 13 | 13 |
* online @ [archive.org](https://archive.org/details/howtobuildaworkingdigitalcomputer_jun67)
|
| 14 | |
* rating: TODO
|
|
14 |
* rating: classic
|
| 15 | 15 |
|
| 16 | 16 |
A classic about building a computer with paperclips.
|
| 17 | 17 |
|
| 21 | 21 |
* authors: Jeremy Avigad, Leonardo de Moura, Soonho Kong, Sebastian Ullrich
|
| 22 | 22 |
* date: 2017
|
| 23 | 23 |
* online @ [archive.org](https://leanprover.github.io/theorem_proving_in_lean4/)
|
| 24 | |
* rating: TODO
|
|
24 |
* rating: 1
|
| 25 | 25 |
|
| 26 | 26 |
Started in 2017 but kept updated.
|
| 27 | |
|
| 13 | 13 |
* ISBN: 0-1316556-3-9
|
| 14 | 14 |
* publisher: Prentice Hall
|
| 15 | 15 |
* borrow @ [archive.org](https://archive.org/details/computationfinit0000mins)
|
| 16 | |
* rating: 3
|
|
16 |
* rating: classic
|
| 17 | 17 |
|
| 18 | 18 |
There are lots of books on computability, but this is one of the earlier
|
| 19 | 19 |
ones (1967!) and one of the few that treat "Turing tarpits" with any
|
| 46 | 46 |
|
| 47 | 47 |
* Programming in PROLOG ([archive.org](https://archive.org/details/programminginpro00cloc))
|
| 48 | 48 |
|
|
49 |
### Retrocomputing
|
|
50 |
|
|
51 |
* How to Build a Working Digital Computer ([archive.org](https://archive.org/details/howtobuildaworkingdigitalcomputer_jun67))
|
|
52 |
|
| 49 | 53 |
### Software Engineering
|
| 50 | 54 |
|
| 51 | 55 |
* Advanced Programming in the Unix Environment ([archive.org](https://archive.org/details/isbn_9789812358813))
|
|
56 |
|
|
57 |
### Theory of Computation
|
|
58 |
|
|
59 |
* Computation: Finite and Infinite Machines ([archive.org](https://archive.org/details/computationfinit0000mins))
|
| 52 | 60 |
|
| 53 | 61 |
Classic Papers
|
| 54 | 62 |
--------------
|
| 81 | 81 |
* [The Herbrand Manifesto](http://intrologic.stanford.edu/extras/manifesto.html)
|
| 82 | 82 |
* [Are opinions considered sentences in logic? - Philosophy Stack Exchange](https://philosophy.stackexchange.com/questions/106492/are-opinions-considered-sentences-in-logic)
|
| 83 | 83 |
|
| 84 | |
### Lua
|
| 85 | |
|
| 86 | |
* [Lua 5.3.5 Online Demo for MS-DOS : Lua.org, PUC-Rio : Free Download, Borrow, and Streaming : Internet Archive](https://archive.org/details/lua5.3.5)
|
| 87 | |
|
| 88 | 84 |
### Modal Logic
|
| 89 | 85 |
|
| 90 | 86 |
* [Modal Logic (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/logic-modal/)
|
|
| 220 | 216 |
|
| 221 | 217 |
### Theory of Computation
|
| 222 | 218 |
|
| 223 | |
* Computation: Finite and Infinite Machines ([archive.org](https://archive.org/details/computationfinit0000mins))
|
| 224 | 219 |
* The Universal Turing Machine ([archive.org](https://archive.org/details/universalturingm0000unse))
|
| 225 | 220 |
* Theory of Deductive Systems and its Applications ([archive.org](https://archive.org/details/TheoryofDe_00_Masl))
|
| 226 | 221 |
|
| 95 | 95 |
### Numerical Analysis
|
| 96 | 96 |
|
| 97 | 97 |
* An Introduction to Computer Simulation Methods: Applications to Physical Systems ([archive.org](https://archive.org/details/introductiontoco0000goul))
|
| 98 | |
* Inside SPICE ([archive.org](https://archive.org/details/kielkowski-inside-spice-1994))
|
| 99 | 98 |
|
| 100 | 99 |
### Partial Evaluation
|
| 101 | 100 |
|
|
| 119 | 118 |
* a Practical Theory of Programming ([www.cs.toronto.edu](https://www.cs.toronto.edu/~hehner/aPToP/))
|
| 120 | 119 |
* Refinement Calculus: A Systematic Introduction ([lara.epfl.ch](https://lara.epfl.ch/w/_media/sav08:backwright98refinementcalculus.pdf))
|
| 121 | 120 |
|
| 122 | |
### Retrocomputing
|
| 123 | |
|
| 124 | |
* How to Build a Working Digital Computer ([archive.org](https://archive.org/details/howtobuildaworkingdigitalcomputer_jun67))
|
| 125 | |
|
| 126 | 121 |
### Specification
|
| 127 | 122 |
|
| 128 | 123 |
* Program specification and transformation ([archive.org](https://archive.org/details/programspecifica0000ifip))
|
|
| 131 | 126 |
### Theorem Proving
|
| 132 | 127 |
|
| 133 | 128 |
* The Seventeen Provers of the World ([archive.org](https://archive.org/details/seventeenprovers00free))
|
| 134 | |
* Theorem Proving in Lean 4 ([archive.org](https://leanprover.github.io/theorem_proving_in_lean4/))
|
| 135 | 129 |
|
| 136 | 130 |
### Theory of Computation
|
| 137 | 131 |
|
| 34 | 34 |
|
| 35 | 35 |
* [Second-order and Higher-order Logic (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/logic-higher-order/)
|
| 36 | 36 |
|
|
37 |
### Lua
|
|
38 |
|
|
39 |
* [The Programming Language Lua](https://lua.org/)
|
|
40 |
* [Lua 5.3.5 Online Demo for MS-DOS : Lua.org, PUC-Rio : Free Download, Borrow, and Streaming : Internet Archive](https://archive.org/details/lua5.3.5)
|
|
41 |
|
| 37 | 42 |
### Mathematics
|
| 38 | 43 |
|
| 39 | 44 |
* [Readings | Mathematics for Computer Science | Electrical Engineering and Computer Science | MIT OpenCourseWare](https://ocw.mit.edu/courses/6-042j-mathematics-for-computer-science-fall-2010/pages/readings/)
|
|
| 53 | 58 |
### Compiler Construction
|
| 54 | 59 |
|
| 55 | 60 |
* Compilers and Compiler Generators ([archive.org](https://archive.org/details/compilerscompile0000terr))
|
|
61 |
|
|
62 |
### Numerical Analysis
|
|
63 |
|
|
64 |
* Inside SPICE ([archive.org](https://archive.org/details/kielkowski-inside-spice-1994))
|
| 56 | 65 |
|
| 57 | 66 |
### PLDI
|
| 58 | 67 |
|