- Oct 30 2015
Binding LAPACK from Crystal for implementing linear algebra routines
- Mar 3 2010
It’s been a while since the last time I wrote something here. I realize I’ve promised several posts which never got written, such as some experiments with bizarre random number generators, the architecture of the silverlight DynamicDeepZoom app we...
- Nov 13 2009
From the very start of my thesis, the key idea was to find a lambda calculus with explicit substitutions, indexes, and all the good properties (I refer the reader to all previous posts). In particular, having in mind a recent work from Delia Kesner
- Mar 2 2009
How a simple algorithm for generating a random output can be biased may be a very difficult analysis, and unless every step is carefully analyzed, randomness can be easily lost. In this post I'll go through some basics of probabilities, using an ideal...
- Nov 13 2008
In this post I will show two different sets of properties that any variation of λ-calculus with explicit substitutions may or must have. The must: 1) Any substitution must end, i. e. the process of change a variable by a term must always end, no matter...
Nicolás di Tada Founder
Juan Wajnerman CTO
Brian J. Cardiff Principal Engineer, Product Manager & Researcher
Matías García Isaía Full-stack Engineer & Site Reliability Engineer
Leandro Matayoshi Full-stack Engineer
Martin Pettinati Marketing & Communications Lead
María Inti David