Lambda the Ultimate

People usually regard algorithms as more abstract than the programs that implement them. The natural way to formalize this idea is that algorithms are equivalence classes of programs with respect to a suitable equivalence relation. We argue that no such equivalence relation exists.

A bit more philosophical than usual, but the issue is quite relevant to discussions in the field.

It is possible to stipulate any equivalence relation that is considered useful (e.g., equivalence up to local transformations) but the notion of a universally applicable relation is indeed problematic.

Linked from the Syllable web site:

Rhope is a new multi-paradigm programming language that uses dataflow and a transaction model to make concurrent programming easy. The first implementation of the language is still in an alpha state, but it's quickly becoming usable for real tasks. This site is generated and served by software written in Rhope.

The current language looks very basic (and simple), but it is still interesting to follow. Of course being dataflow-based it would be a very good candidate for visual programming.