Talk:Rule of least power

Notability
Is this notable? 72.152.108.197 (talk) 01:56, 2 February 2011 (UTC)

Yes. The references (Patterson, Berners-Lee, Carpenter) show that this topic meets the Notability guideline. --DavidCary (talk) 03:48, 31 December 2013 (UTC)

Not so clear. Carpenter does not mention this expression at all. The Patterson reference refers to a lecture, not an accessible document, so nobody can verify it it referred to the "rule of least power", but probably not, as it is only cited in reference to the "principle of least privilege" in security. Only the W3C and the Axioms references are pertinent, and the latter is the primary source. Google search does show that the "rule" has been cited by several bloggers. The references for this article should, at least, be cleaned up and if possible augmented with references that clearly support notability. AmirOnWiki (talk) 12:45, 12 October 2015 (UTC)

The principle of least privilege
There is a similarity between the concepts, but one can surely find many other examples (Occam's razor, for starters). I cannot see how its mention is useful in this article, and frankly I find the 2nd paragraph (where it is mentioned) confusing. AmirOnWiki (talk) 12:45, 12 October 2015 (UTC)

Turing completeness
Although Turing completeness tends to correlate with general-purposeness, there are two kinds of exceptions to this 'rule of thumb':


 * Languages that are Turing complete but not general purpose, like SQL, XSLT, Magic The Gathering
 * Languages that are general purpose but may be considered not to be Turing complete, like Agda, Coq and notably, Idris.

The first kind is already acknowledged in the article, but the second 'disproves' the connection between Turing completeness and the more vague 'power'. The article could do a better job distinguishing between 'power' and 'computability'.

For context: languages like Coq and Agda are not turing complete, but can model turing complete programs through monads, codata etc. Idris is Turing complete when the totality checker is not used. It's all rather subtle. — Preceding unsigned comment added by 145.131.174.6 (talk) 11:42, 7 February 2017 (UTC)