Join Platy’S Readwise Highlights
A batch of the best highlights from what Platy's read, .
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
The "Apple Fabric" storage in these Macs offers per-file encryption keys (like the storage in iOS devices), and for months, ASR didn't work with it. Apple partially resolved that in macOS 11.3, but even now using ASR to clone the system back to the internal storage of these Macs doesn't quite work – it causes a kernel panic.
Beyond Bootable Backups: Adapting Recovery Strategies for an Evolving Platform
bombich.com
Good and worthy professional journalists in these circumstances were not those who strove always and only to embody the virtues of truth-telling, or who concerned themselves only with the informational value of their news reports, but rather those who __grasped the multiple interests that were at stake in each news assignment and advanced these interests in an effective and situationally optimal manner.__
The Currency of Truth
Emily H. C. Chua
...catch up on these, and many more highlights
Readwise