Blog

As I told you before, performance is something desirable when programming a λ interpreter. The sustitutions we saw are made in one step. I will note the beta step as →β and a substitution step as →. For instance, (λx.x) z  →β  x[x/z]  →  z. The computations...

A couple of days ago we started working on a new visualization for Riff's acitivity. The requirement was to find a way of representing the relationship between items tag with two or more tags, the users who were tagging and the evolution of the tags...

For those of you not familiar with a treemap, it is simply a bunch of boxes somehow arranged inside a bigger box; each of them also contains its own set of smaller boxes, and so on. Each box has an associated weight that determines its size. It is...

The Google Maps API provides a number of methods to make it easier to accomplish this task. One only has to take the time to explore them and think how to combine them to get the solution. It's not a hard thing to do, but in case you're a lazy guy...

A common scenario in the development of GUI applications is the presence of different events fired by the engine as the visual tree is constructed and rendered. And Silverlight, of course, is no exception. While WPF provides Initialized and Loaded