Estou gostando de ver, tem informação útil para o iniciantes e avançados nessas postagens.

Obrigado pro me citar. Vou citar o @kht que fala coisas semelhantes aqui (não falarei sobre os que não postam aqui). Não lembro agora dos outros que contribuiram muito sobre isto, mas tiveram vários, um dia farei uma compilação.

È interessantísssimo aprender verificação formal, mesmo que nunca use de fato, já que a maioria dos problemas não compensa. Mas molda seu pensamento. O ideal seria fazer em tudo, mas não é viável, assim como não é testar 100% do código, a nã oser que ele seja simples demais. "Teste" que tanto falam é uma forma simplificada do que está aqui. Por não saber isto fazem testes ruins e por isso eu fala "não faça testes", claro que de forma jocosa porque não adianta fazer testes se não entende o que está fazendo. Msm oassim muita gente não entende e esse título de palestra nunca foi aceito em evento grande algum :D

S2

Farei algo que muitos pedem para aprender a programar corretamente, gratuitamente (não vendo nada, é retribuição na minha aposentadoria) (links aqui no perfil também).