I’m emotionally bound to diagonal arguments (weird, huh?) because that’s how I stumbled upon someone who gestured and made me gaze upon mathematics for the first time. I’d like to tell you about some of these ideas, all revolutionary in their own right, and how they are shadows of a single encompassing truth.

I once tried proving convincing myself of the equivalence of different implementations of a monad using Haskell and pseudocode. It was unconvincing and extremely tedious, so I gave up pretty soon. Now that I have some AGDA under my belt I can have some sweet revenge.

Ana Ulin published a fascinating blog post listing things nobody told her about being a software engineer. One of these left me wondering.

Keeping everything in spec_helper.rb and rails_helper.rb will quickly get messy. A cleaner, modular pattern is needed.

Two fingers moving on a screen can perform gestures naturally associated with dragging, rotating and zooming. Any gesture univoquely determines a direct similitude of the euclidean plane. Let’s see how.