Vlad's Roam Garden
This is an "Orphan" page. Its core content has not been shared: what you see below is a loose collection of pages and page snippets that mention this page, as well as snippets of this page that were quoted elsewhere.
Paul Chiusano: The Future of Software, the End of Apps, and Why UX Designers Should Care About Type Theory
one of the best articulations of problem/desire for