- Oct 30 2015
## Linear algebra in Crystal from LAPACK

2 min

Binding LAPACK from Crystal for implementing linear algebra routines

- Mar 3 2010
## Status Update

1 min

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
## The long and winding road... to a master thesis

7 min

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
## Randomness

9 min

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
## Different properties one can expect from any λ-calculus

3 min

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

## Contributors

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

Sergio Medina

Pablo Brusco

Luis Ziliani

María Inti David

Ary Borenszweig

Santiago Palladino

Valeria Tiffenberg

Martín Verzilli