End of software? No

What happened to software? Why is there so few creative software (2010)? Are we at the end of software? What are the forces which led to this situation, looking like a bit step backward to the epoch of non-programmable accounting machines? Is there a way out of this situation? Yes, and a very simple one: make good software. With invention. Developing models and abstractions. It is difficult but absolutely possible. It this re-start of software I wish to explore here in this blog. Welcome

domingo, 5 de dezembro de 2010

Lógica linear

A explorar: Lógica Linear chega à maturidade, abre perspectivas novas em linguagens de programação, redes de demonstração e aplicações em segurança. Ver Linear Logic, Alex Wright, CACM oct 2010, vol.53, n.10

Ver também:

The Linear Logic Pages

Wikipedia

Stanford Encyclopaedia of Philosophy

E o artigo inicial de Jean-Yves Girard: Linear Logic, Theoretical Computer Science, London Mathematical 50:1, pp. 1-102, 1987