# Reference

0. []()
0. [Smarter Defaults by Paying Attention](https://textslashplain.com/2022/02/15/smarter-defaults-by-paying-attention/)
0. [Formality Considered Harmful: Experiences, Emerging Themes, and Directions on the Use of Formal Representations in Interactive Systems](https://andymatuschak.org/files/papers/Shipman%20and%20Marshall%20-%201999%20-%20Formality%20Considered%20Harmful%20Experiences,%20Emergin.pdf)