Blog

Binding Lights

This week a nice coincidence made possible that I met personally Taha Kass-Hout in DC. We’ve been working for InSTEDD creating a collaborative disease detection and surveillance platform with some machine learning tools. Luckily the restaurant’s tablecloth...

Silverlight 2 Beta 2 has introduced a number of fixes, additions and changes to the previous Beta 1 version. As I said in a previous post, I believe the improved error handling and detailed exceptions are among the best improvements, and also the less...

Beta-Lighting the web

As you probably already know, recursive function are those that call them self. For instance, you can define the factorial function as: fact(0) = 1 fact(n) = n*fact(n-1) This doesn’t look like something you can say with the small syntaxis of the ...

InSTEDD Internships

My first conference at microsoft argentina

I know I promised a mini DEVS model for this post. But I bumped into this interesting thing and I wanted to share it. We are currently working on a JSF web application which has a GWT component in it. To debug the app, we have to compile the GWT...

Generating 3D trees

One simple way to make arithmetic expressions in lambda calculus, is just to extend the calculus with the arithmetic rules: (λx.(λy. x+y)) 2 3 → (λy. 2+y) 3 → 2+3 = 5 But that’s pretty easy for us, and (as you problably have already noticed) we like...