Types in programming languages

An Introduction To Programming Type Systems makes me think that so called high level languages can be thought as introducing a new kind o universal machine. A new model. Compare this with assembly languages: von Neuman machine, everything is a number. Or a set of bits. Or a representation in a code. It doesn't matter from the viewpoint of storage. What we do with a value is determined by the instruction. The process. Compare again with strictly functional languages. Everything is a lambda expression. Even numbers. Different models.

Feeling: richer models complicate the very very simple and effective model of universal machines like Turing, Von Neuman or Lambda.

Spreadsheet programming problems

Mishaps of using conventional spreadsheets for serious data analysis.

However, look at this post showing that Excel (or whatever spreadsheet) can be used successfully for an enormous variety of applications and be transformed in a powerful universal tool: Microsoft Excel is Everywhere

Computer Science

Excellent post on Computer Science: Why Computer Science Matters. Defined as “The analysis of algorithms and processes”. So, it is not only about computers.

It is very very young. It is the future. "The future breakthroughs in science and technology will not be the new “social network”, or “web app”, it will be the insight that we get through the study of the theories discussed in Computer Science."

Light ERP, in the cloud, configurable?

Is it really configurable? Let's have a look at NetSuite, small size ERP, competes with the big ones, Lary Ellison invested in it.

The Vietnam war of IT

It is the object x relational models. Hard to solve. Perhaps both models were too restrictive?

See also The Filesystem Test. What about having a simples model and build upon it?

To think about a different model: a universal machine. Turing? Von Neumann? Lambda calculus?