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