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
As a result of this disconnect, recent anecdotal and empirical evidence suggests that tabbed browser interfaces now engender significant challenges, popularly referred to as “tab overload’’
When the Tab Comes Due:Challenges in the Cost Structure of Browser Tab Usage
dl.acm.org
Malls outside of the US and western Europe are still the go-to place. Especially for the middle class. Especially on weekend nights. Places where the whole family goes to splurge. To maybe ice skate, get a hamburger, and then see a movie. They are also nice windows into the often massive inequality in most countries. In Jakarta there is an upscale mall, complete with fancy western fashion stores, with shacks literally against the back wall of the mall. Using it as one side of a tin roofed home. Although being in a Kyiv mall two weeks before the Russian invasion gave me a pretty blind vision of what was about to happen. All I saw were happy families oblivious to the encroaching danger, which I mistook for some commentary on what was about to happen, rather than people trying to do their best to ignore the ugly.
How to Travel
walkingtheworld.substack.com
...catch up on these, and many more highlights