[brians]

You’re right about ML. But you’re mistaken about software engineering—though in good company with most software engineers.

Of denotation, cache access, confidentiality, authentication, integrity, non-repudiability, performance, thread safety, memory overhead—only denotation and some parts of memory overhead allow composition of abstractions.

[jonahx]

Would you mind elaborating on this?