Writing

2026

  1. Preferred fonts

    My selection of fonts – 2026 edition

    blog

2025

  1. ¿Cómo instalar Haskell?

    Cómo configurar GHC y VSCode

    blog

2023

  1. Reveal type in Crystal

    Reveal type in Crystal

    blog

2022

  1. bdw-gc coroutines support

    bdw-gc coroutines support

    blog

2020

  1. Debug Crystal in VSCode via CodeLLDB

    Debug Crystal in VSCode via CodeLLDB

    blog
  2. Towards Crystal 1.0

    Towards Crystal 1.0

    blog

2019

  1. Parallelism in Crystal

    Parallelism in Crystal

    blog
  2. Watch: Run, change, build, repeat

    Watch: Run, change, build, repeat

    blog

2018

  1. Using CircleCI 2.0 for your Crystal projects

    Using CircleCI 2.0 for your Crystal projects

    blog
  2. Crystal Automated Release

    Crystal Automated Release

    blog

2017

  1. Shipping Crystal apps in a small Docker image

    Shipping Crystal apps in a small Docker image

    blog
  2. From a DB to JSON with Crystal

    From a DB to JSON with Crystal

    blog

2016

  1. INSERT INTO shard VALUES ("crystal-db")

    INSERT INTO shard VALUES ("crystal-db")

    blog
  2. A story of compromises and types

    A story of compromises and types

    blog

2015

  1. Introducción a Prologblog
  2. Crystal tools

    Crystal tools

    blog

2008

  1. Towards Abstraction for DynAlloy Specifications

    Submitted publication to ICFEM 2008

    research