David A. Wheeler
David A. Wheeler
Fix the Cargo.toml license entry ("/" is deprecated, since it's not part of the SPDX specification; use "OR" instead). This also updates the Cargo.lock file - lock files now include...
An error should return one exit code; warnings without an error should return a different code.
Provide downstream notification to forks of security issues/vulnerabilities when they become public
Please support downstream notification to forks of security issues/vulnerabilities when they are made public. This could perhaps be done via a specific vulnerability tag like “security”, but really any implementation...
The "Closed Issue Resolution Duration" covers all issues, but is a little misleading. I routinely leave issues open for *years* if they are low importance, yet are nice-to-have - but...
The left-hand-edge is cut off in text mode, so you basically can't read the first character of each line on a Samsung Galaxy S4. Here's a test. Load this ProDos...
Clarify early on that this definition of the conditional is the *material* conditional (readers might otherwise not realize this), and make it clear that an alternative term is "material implication"....
Note early on, in Chapter 4, that later sections of the book will expand TFL to create FOL and then modal logic. I think it helps students to have brief...
We should discuss releasing details about vulnerabilities. Something like this: The main goal in fixing vulnerabilities is to minimize harm. Developers should try to fix the problem expeditiously, and normally...