
May 2 2008
6 min
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...

Apr 14 2008
4 min
The new feature encapsulated by MatcherAttibute in Moq allows developers to create quite easy argument matchers. In a scenario with a Customer class and a IFooService: public class Customer { public string Name { get; set; } public int

Apr 1 2008
4 min
Just to gather new tools to help me in my M. Sc. thesis, I'm taking a course on Discrete Event Simulation. This course in fact is not as general as its name may suggest. It focuses mainly on modelling with a formalism called DEVS (which stands for...

Mar 28 2008
4 min
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
4 min
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)...
Contributors
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 Fullstack Engineer
Leandro Matayoshi Fullstack Engineer
Martin Pettinati Marketing & Communications Lead
Sergio Medina
Pablo Brusco
Luis Ziliani
María Inti David
Ary Borenszweig
Santiago Palladino
Valeria Tiffenberg