badubu

> but since we don't write code like that people can't get to it easily

which likely sums up what Lamport is trying to get across - express your work equationally, determine properties and generally understand what you're dealing with and then later, you can 'compile your equations' down to a particular implementation. from my own practice, i've found that it is much easier to reason about equations and reflect it down into code than to try and reason about the code

When was the last time you engaged a journeyman carpenter? This problem runs much deeper than just software. Any skilled craft is always at odds with a manager/employer/clients view that you are a fungible asset.

Based on your account, "Aaron was a good friend of mine" requires substantial bonafides to bring you out of the realm of Astroturf.

better go followup with everyone who donated and make sure they quit

Except that personal beliefs are just that, personal. You don't have to explain them.

co-opting a word is not a right