Anticrastination

Soy una bola de chirimbolos. La realidad lastima. El tiempo es esto. Una opresión. Hay cosas para las que no tengo paciencia. Que pase el que sigue. Tengo que ir al dentista. Tengo bruxismo. Pueden ser parásitos. Cara de ocho menos paren. No sé cómo implementar pattern matching en términos de combinadores. En realidad sé, pero no sé cómo hacerlo de manera eficiente. Cada uno piensa que es bueno. Todos pensamos que somos buenos. Pero a la mayor parte de la gente le tenemos más asco, o miedo, o desprecio que amor. Al menos yo sí. Quizá no a la gente más cercana, pero hay ocho mil millones de personas en el mundo y me parece que no quiero ni a la millonésima parte. No sé cómo demostrar que a toda reducción etiquetada débil a forma normal corresponde un superdevelopment. En realidad sé, pero la demostración requiere confluencia, que es lo que quiero demostrar. Mis compañeros de la primaria están grandes. El atroz corolario es yo también. Los inventos de la Web 2.0 me sirven para poco más que perder el tiempo. Por supuesto que no digo que sean inútiles en sí mismos. Pero si uno no tiene ganas de perder el tiempo conviene usar la computadora offline. Genera una sensación de absoluta tranquilidad. Hay momentos para leer el mail, pero que salte un cartelito diciendo "recibiste un mail" (o, peor aún, efecinquear periódica y manualmente el inbox) es tresante e improductivo. Mientras leés este post, corre valioso tiempo de tu vida.

No hay comentarios: