Join Platy’S Readwise Highlights
A batch of the best highlights from what Platy's read, .
For although the jianghu is often described in a rhetoric of mutual reciprocity and trust, the interpersonal relationships that actually constitute it are “held together by shifting bonds of morality, desire, and interest” that make them “highly fragile and contingent.”
The Currency of Truth
Emily H. C. Chua
Already back in 2002, Nick Szabo wrote a paper about a formal language for contracts, in which he explicitly pointed out that the use of procedural computer language may be tempting but causing more harm than good. This doesn't even mention all the existing programming languages that are used in the financial industry or new ways of creating program languages, which allow for formal proving (samples here and here).
Code Is Law? Not Quite Yet
coindesk.com
HISTIGNORE ¶
A colon-separated list of patterns used to decide which command lines should be saved on the history list. Each pattern is anchored at the beginning of the line and must match the complete line (no implicit ‘*’ is appended). Each pattern is tested against the line after the checks specified by HISTCONTROL are applied.
Bash Reference Manual
gnu.org
...catch up on these, and many more highlights
Readwise