Blog

I had to fix a problem in a Silverlight application we are building. The problem was that it's CPU usage was constant, between %20 and %40, and never stopped. I won't go into the details of how I discovered the problem, but I'll tell you what the problem...

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

In all previous posts I've tried to teach the different aspects inside my thesis. But after going deeper and deeper, the concepts tend to complicate too much, and much more dedication from the reader is needed. After trying to add another technical...

Updated November 20th, you can download slide and demos here. On Tuesday 18th, Juan and I will be presenting ASP.NET 4.0 Roadmap. Check which other talks are available and register here. This is the event information: Horario: martes, 18 de noviembre...

Last night I was a victim of the AVG8 bug that marked User32.dll as a trojan (just a false positive). What annoys me the most is not the bug per se, but the fact that AVG Heal option simply deleted the file without any warning or simply backuping it...