Carl Hewitt shared a draft Miller essay here page
Mark's commentary on security issues needs to be made mathematically rigorous in order to be comprehended by computer systems together with software engineers. A start on this large project can be found here: - Information Security Requires Strongly-Typed Actors and Theories page - Physical Indeterminacy in Digital Computation page This project has become critical because of the prospective development and deployment of Universal Intelligent Systems in this decade. Regards, Carl https://professorhewitt.blogspot.com/
>Complex app systems found in business systems consist of deeply nested subsystems, with degrees of separation and integration between subsystems in multiparty cloud computing.
- Securing Web3 with SES Miller mentions Google web component graphs and OS.