Join 📚 Josh Beckman's Highlights
A batch of the best highlights from what Josh's read, .
The term was “Web 2.0” was first coined in 1999 by technologist Darcy DiNucci, [who wrote](https://substack.com/redirect/e4cd5ce6-e938-4f18-b94a-2aa21489a556?j=eyJ1IjoiMXlmdTFqIn0.qYv5NVQwodvs9yAW1b9IqXxz-UTiPAUp4JXaRMXUArU) , “the first glimmerings of Web 2.0 are beginning to appear, and we are just starting to see how that embryo might develop. The Web will be understood not as screenfuls of text and graphics but as a transport mechanism, the ether through which interactivity happens.”
Dumb and Shameful Until It's Not
Garbage Day
Propositions in logic correspond to types in a programming language.
Proofs in the logic correspond to terms and programs in the programming language
Simplification of proofs corresponds to evaluation of programs.
"Propositions as Types" by Philip Wadler
Strange Loop Conference
For example, let's take the simple question: "How old are you?" First, there's a single sign for "question." So for a question about someone's age, you'd use the motion for question with the motion for "winter". How many winters are you? That's what I ask. In PISL you measure months by moons, days by the sun. And to refer to different times of day, you would show hand placement according to the position of the sun in the sky. So this sign for morning, afternoon, or night.
...catch up on these, and many more highlights
Readwise