Blog

Controls Contract

Embedding YouTube videos in Silverlight

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...

Positioning a Google Map according to a set of coordinates

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

We have finished our first internship between InSTEDD and Trinity College. Juan Pablo and Qianqian did an amazing job putting together an SVM classifier using libSVM for suggesting tags inside Riff items. They tested the implementation with Reuters...

With this cite of Monthy Python, I will move into another family of calculi. What’s wrong with our good ol’ λ-calculus? Nearly nothing, except if you want to implement it in a real PC. In one of the firsts posts I’ve mentioned the α-congruence. The...

It is well known in the project management world that adding manpower to a late software project makes it later. This is known as Brooks’ law. An analogy is that you can’t use 9 women to make a baby in one month. A couple of days ago, at Manas we...