- Mar 28 2008
From the Wikipedia: "calculus can refer to any method or system of calculation", and that's not an exception for the Lambda Calculus. First of all, lets define the terms of this calculus: A Lambda Term is something with the form x where x is in...
- Mar 26 2008
In my quest for making every piece of code testable, I run across the requestor pattern. You won't find it doing a Google search. I first saw it in many places in JDT's source code. The idea is separating an extraction of information (a processor)...
- Mar 25 2008
- Mar 15 2008
A Term Rewriting System (TRS) is a very powerful yet simple math tool used, for instance, for the creation of computational models. Given a set of function symbols S, and an (uncountable) set of variables V, I will define rewriting rule by example...
- Mar 12 2008
Since some time ago, there seems to be a fight between two "philosophies" as regards web applications. Each philosophy has its own representatives amongst the various frameworks or platforms we can select to help us develop our app. On one hand there...
Nicolás di Tada Founder
Juan Wajnerman CTO
Brian J. Cardiff Principal Engineer, Product Manager & Researcher
Martín Verzilli Product Manager & Team Lead
Matías García Isaía Full-stack Engineer
Leandro Matayoshi Full-stack Engineer
Martin Pettinati Marketing & Communications Lead
María Inti David