misc.

WAVE

*Making proofs* ~~*easier to understand*~~ *is easy. It requires only the simple application of two principles: structure and naming. *~~*Eliminating errors*~~ *from proofs is not as easy. It takes precision and rigor, which requires work.*

— Leslie Lamport, “How to Write a 21st Century Proof”

Modern interfaces are built to be smooth and easy to use. They are fine-tuned for consumption and grabbing attention. What if by introducing little disturbances via interfaces, one could help people gain and maintain more consciousness while using digital tools.



What if, by creating decentralizing interfaces one could help breaking the circle of mindless consumption.

*To borrow an image from William Gass, you're the air in someone else's trumpet.*



— JR Moehringer, on ghost writing

*While things were changing, I kept working. After a few weeks tinkering with this redesign, I realized* ***I wasn’t working on a website, not really: it was a worry stone****.*

— Ethan Marcotte

James De Angelis (@jamesdeangelis) on Threads

The long run is a misleading guide to current affairs. **In the long run we are all dead**.

— John Keynes