Fico feliz que tenha achado o post interessante e concordo que com uma revisão pode ser melhorado.
Sobre sua observação "informais" X "formais", fiquei curioso para entender melhor quais trechos você considerou em cada categoria. Se puder apontar exemplos específicos, seria ótimo.
Quanto às traduções dos princípios, a intenção nunca foi fazer uma versão literal dos termos em inglês. Procurei adaptar o significado para o nosso contexto, quase como aquele dilema entre o "anjo e o diabo" no ombro: enquanto o diabo sugere implementar uma nova feature imediatamente, o anjo lembra, "você não vai precisar disso no futuro!". No caso do KISS realmente tem um tom provocativo no original, mas preferi suavizar para quem não está acostumado com esse tipo de humor técnico.
Sobre o YAGNI, concordo totalmente: o foco não é prever o futuro, mas evitar implementar funcionalidades antes da hora. A explicação logo abaixo foi justamente para garantir que o conceito fosse entendido, mesmo com uma tradução menos literal.
Obrigado pelo feedback.
A questao de formal e informal que adotei basicamente eh:
Formal: possui um estrutura mais definida, regras ou alguma fundamentacao teorica.
Informal: Sao principios ou enunciados expressados de maneira muito coloquial ou subjetiva
KISS, p.ex., informal, uma vez que tem uma origem anedotica/humoristica e uma ideia central, mas sem uma fundamentacao teorica ou estruturada que possa servir para guiar para sua aplicacao e analise de situacoes, tornando seu uso puramente subjetivo.
Object Calisthenics, por sua vez, tem uma estrutura e regras conforme definido por Jeff Bay (The ThoughtWorks Anthology)
Claro que taxar de formal/informal pode ser tornar uma linha tenue e geralmente cinza - mas o que desejei colocar foi a diferenca entre algo que tem uma estrutura (como Object Calisthenics) vs algo muito subjetivo (como KISS).
DRY ("Don't Repeat Yourself"), apesar de poder ser considerado formal (The Pragmatic Programmer), tem diversos nuances em sua aplicacao (que dependem do contexo).
YAGNI ("You Ain't Gonna Need It") - ja tem um forte componente informal, uma vez que depende de uma analise predominantemente subjetiva (irmao do KISS ?)
POLS ("Principle Of Least Surprise"), tambem tem um forte componente informal (no sentido subjetivo: o que eh uma surpresa ?, como mensurar uma surpresa ?), apesar de influenciar de forma mais tecnica o codigo gerado (como os padroes de REST API)
Reforco - post muito legal.