Ideologically speaking, shredding off years of lackluster engineering practices in favor of mathematically sound programming feels rather comforting.

No mention of immutability, algebraic data types or functions as first-class citizens of a language during my five years of university; but a lot of «best practices», «programming patterns» and other quasi-universal techniques, derived from languages that set you on the path of riskiness.

Entering the «real world of programming» turns messy rather quickly. Lots of colleagues burned out due to unstable, unpredictable systems — while having no chance of fixing any of those deficiencies (although that conversation feels more political than technical)

Every mathematician or scientist eventually develops a set of personal tricks employed to reduce uncertainty and quickly point you towards success.

For me, that repertoire consists of leaning into the type system — making illegal states unrepresentable and favouring pure computations.

I feel so at ease knowing that, with a sufficiently sound design (and by design, I mean type signatures) and a decent static type checker —not even a compilation step! I mostly work on Python these days— the chances of me deploying a crude implementation is rather low.

And yeah — crassness aside, the world is complicated: deadlines have to be met, there are no silver bullets in computer science, and so on.

Even so, I wonder how those concepts from a decade ago would have settled with me if, instead of worrying about null pointers or contextless modus-operandi, learnt about monads, category theory and functional programming in general — a more formal, mathematical approach to software engineering.

[Grothendieck said that he couldn’t think without writing](Grothendieck said that he couldn’t think without writing)

Antes de comenzar — y, por paradigmático que suponga un prefacio de una charla encubierta de teoría de grafos, categorías y arquitectura de información:

La esencia de Obsidian es escribir — escribir para pensar.

Las actividades tangenciales a nuestro sistema de notas deben enfocarse a elevar nuestro proceso de escritura, nunca suplantarlo. Es peligrosamente fácil caer en las garras de la procastinación activa mediante hiperoptimización de la estructura — la intoxicantemente técnica promovida por tu techtuber de confianza[^7] en el que te enseña el purpurina purpurina nuevo método para organizar tu segundo cerebro brilli brilli —zettelkasten, Johnny.decimal organization system, P.A.R.A., o lo que toque esta semana— esperanzándote a que, esta vez sí, serás capaz de tomar notas bien ordenadas; pero ay, necios de nosotros mismos, una semana después, apatía por haber fracasado una vez más. Imponer metodologías antes de siquiera comenzar a trabajar es una receta para el desastre. El caos, bajo control, está bien. Lo importante es poner el culo en la silla —o, si tienes un escritorio elevable, ¿la espalda recta?— y escribir.

La escritura es, quizás, la herramienta cognitiva definitiva que ha inventado la humanidad. No pierdas el foco del objetivo: razonar, aprender, expandir nuestra frontera epistemológica.

Asumiré que en mayor o menor medida estamos familiarizados con cómo funciona Obsidian — que los archivos son ficheros de markdown, que se pueden poner negritas, bloques de código y similares, que tiene sistemas de plugins, etc.

La gloria y la vergüenza del programa es que ofrece una libertad enorme. A diferencia de la ética del equipo de desarrollo, Obsidian tiene pocas opiniones sobre cómo hacer las cosas. Resulta sencillo sentirnos abrumados sin riendas a las que atarnos.

Soy muy fan de la idea de que Las restricciones nos liberan, y de que El estilo son restricciones consistentes. Pienso que de ese conjunto de reglas autoimpuestas —siendo esa elección propia fundamental para evitar quemarnos— emerge un terreno de juego en el que experimentar, con curiosidad. Así que, yo me he marcado mis propias restricciones.

Las notas, carpetas y etiquetas son conceptos análogos: los tres sirven para proporcionar estructura mediante conexiones con otros elementos. Las carpetas, por tecnicalidades de los sistemas operativos, imponen jerarquías. Las etiquetas a efectos prácticos actúan como notas vacías, sin metadatos ni contendido. Como la nota es el átomo del sistema, y funcionalmente, lo que mayor expresividad tiene en Obsidian, me prohíbo utilizar carpetas[^1] y etiquetas. Las imágenes y los vídeos también siguen el formato de wikilinks, en lugar del original de markdown.

La estructura emerge de las relaciones entre las propias notas. Marco el tipo de relación laxamente: algunas son de pertenencia (lo que yo llamo categoría); otras, de localización, autoría o incluso simples marcas de relación (ey le dices a tu tú del futuro, en forma de texto en un documento, si estás aquí es probable que quieras mirar esta otra nota). Como el número de relaciones que puede tener una nota no está acotado superiormente[^2] —Obsidian es un grafo cíclico dirigido— una nota puede pertenecer a varias categorías.

No permito jerarquías clásicas, como las que emergen de las carpetas. Una nota opta por comportarse libremente como varias cosas. En un sistema de ficheros —el primer sistema de organización que se nos pasa a todos por la cabeza cuando nos metemos en estas movidas— una nota pertenece a una única carpeta. ¿Qué ocurre cuando puede ir en varias? ¿Esa matrícula de la asignatura de primero de carrera que te toca pagar de nuevo (y lo que pica en el bolsillo (y por encima de eso, en el ego)) la guardamos en la carpeta documentación/universidad, o en universidad/segundo año/documentación? Al permitir que las notas se relacionen con varias de ellas se habilita un sistema de organización nuevo, isomorfo a un grafo cíclico dirigido.

[Ideas, however, resist taxonomies](Ideas, however, resist taxonomies)

Algunas notas de mi jardín:

• La Teja Roja es un restaurante de Jaén.
• Terence Tao on math smell and narrative as a conductor for good mathematics es una cita de uno de sus papers de matemáticas. Me recordó a su blogpost de comportamientos locales y globales, así que lo enlazo.
• python es una categoría y un lenguaje de programación (siendo esta última, a su vez, una categoría).

Internamente así luce una nota: un bloque de código yaml (al que se le suele llamar frontmatter, y en Obsidian se conoce como las propiedades) y el contenido en sí mismo.

---
categories:
  - "citas"
  - "writing"
source: "Journal with Witch"
---
Write with the intent to kill. Strike, forge and polish like your life is on the line. And stake your life on the kill. That's what it means to write. 

El nombre de las propiedades no es tan importante como su tipo. Principalmente tenemos fechas, números, binario y texto. Los wikilinks cuentan como texto. Mis gastos vienen acompañados de una fecha de adquisición, el coste y un par de categorías. Este tipo de notas es completamente utilitario, el cuerpo está vacío.

<!-- 2026-03-23 Desayuno.md -->
---
categories:
  - "expenses"
  - "restaurante"
adquired: 2026-03-23
graphignore: true
cost: 3
---

Las propiedades resultan particularmente útiles al computar bases. Más adelantes las vemos.

Hemos mencionado categoría varias veces. ¿Qué es una categoría entonces?

Una categoría es una unidad epistemológica que se comporta como una categoría[^3].

Antes de llevarme un navajazo — lo que quiero decir es: elige el orden que te plazca; ¡crea tu propia ontología! ¿Qué es importante para ti? ¿Qué tiene sentido? ¿Son los cereales una sopa? A mí me encanta la matemática, así que distinguir entre las diferentes áreas de investigación me resulta muy útil cuando quiero buscar algo. Sobre music no sé tanto, por lo que no me meto en fregados, me vale con ese tema superficial.

formulas:
  № notas: file.backlinks.length
properties:
  formula.:
    displayName: √
views:
  - type: table
    name: Table
    filters:
      and:
        - file.hasLink("Categorías/mathematics")
        - file.hasLink("Categorías/categories")
    order:
      - file.name
      - formula.№ notas
    sort:
      - property: file.name
        direction: DESC
      - property: formula.№ notas
        direction: DESC

Imagina cómo ordenarías una nueva nota en tu vault. Te entra una tarea de tu proyecto. ¿Sobre qué va? ¿En qué lenguaje? ¿Con qué está relacionada? ¿Cómo de importante es? ¿Tiene fecha límite?

La tabla anterior es una base. A efectos prácticos es una especie de vista de SQL, o una consulta al historial de cambios de Jujutsu con su revset language[^4]. Es un idioma específico con el que realizar computaciones sobre el grafo de relaciones de tu vault. Y merece la pena enfatizar ese punto: computaciones sobre el grafo de relaciones. Eso es (dos puntos) ✨intoxicantemente alucinante✨. De repente nuestro sistema de información deja de estar aislado, y comenzamos a pensar en las consecuencias de componer notas entre sí, y en cómo diferentes operaciones colapsan la información en global; emergiendo de manera funcional nueva información automáticamente, sin necesidad de actualizar el agregador[^5].

Estos son los juegos que me estoy jugando ahora mismo:

[El archivo de videojuegos.base#Jugando…](El archivo de videojuegos.base)

Estos son mis gastos de la semana pasada:

views:
  - type: table
    name: Table
    filters:
      and:
        - file.hasLink("Categorías/expenses")
        - adquired > "2026-04-06"
        - adquired < "2026-04-12"
    order:
      - file.name
      - cost
      - adquired
      - file.ctime
    sort:
      - property: adquired
        direction: ASC
      - property: file.name
        direction: DESC
      - property: cost
        direction: DESC
    summaries:
      cost: Sum

Nuestro orden impuesto recompensado con conocimiento. ¿No resulta elegantemente gratificante?

Interaction makes or breaks an experience. Mi proceso de diseño se fundamenta en la idea de que la interacción —y todo lo que lo rodea: feedback, instantaneidad, visualización— determina la diversión y felicidad que experimentamos. If it’s not fun, why bother?

Crear notas debe ser rápido y cómodo. Categorizar debe ser inmediato. Capturar una idea —ah, qué efímeras pueden llegar a ser— a la velocidad del pensamiento. La pereza, por disciplinados que podamos llegar a ser, gana con facilidad.

El método más eficiente de interacción con los ordenadores es el teclado, y me voy a centrar en él a partir de ahora[^6]. cmd-n crea una nota. En cuanto tengas una idea, deberías anotarla. cmd-p abre notas, y cmd-shift-p ejecuta comandos. El atajo para las notas diarias es cmd-d. Mi teclado tiene los brackets en la homerow (donde habitualmente se colocan el caps. lock y enter) para escribir `` rapidísimamente.

Uso [[vim, en Obsidian también. Lo tiene integrado por defecto. En mi .obsidian.vimrc tengo comandos para añadir propiedades rápidamente. Space c me lleva a categories, Space r a related, Space l a link. Desde cualquier parte del texto me muevo rápidamente al lugar que quiero para anotar.

Guardo páginas web desde el navegador con Obsidian Web Clipper. opt-shift-o y esa nota está directamente en el vault. Algunas páginas como Wikipedia tienen tratamiento especial — extraigo ciertos metadatos clave y los ordeno en propiedades.

carga mental Cómo de fácil es crear una nota en tu sistema? (mental y físicamente). (todo)

ia (todo)

La estructura emerge eventualmente, siempre que estemos dispuestos a escuchar lo que nos pide el sistema. En el fondo Obsidian no deja de ser un conjunto de ficheros de markdown; siempre podemos transformar su organización con El arte de la manipulación de texto plano.

Georges Perec Brief Notes on the Art and Manner of Arranging One’s Books

tecnicalidades Syncthing

How I use Obsidian (citar inspiración)

Permitir el cambio es más importante que categorizarlo de primeras.

[^1]: A excepción de ciertas carpetas clave, como la de templates, .scripts o similares; además de limpieza general de la raíz del vault.

[^2]: al menos, conceptualmente — probablemente nadie quiera ni desee infinitos backlinks en una nota.

[^3]: a tensor is a thing that transforms like a tensor; alternativamente, A monad is just a monoid in the category of endofunctors, what’s the problem

[^4]: chapita de informático friki si sabes lo que es Jujutsu ❤️

[^5]: Esta idea de notas computacionales, de parámetros las propias notas del sistema me recuerda al concepto de Homoiconicity de lisp. ¿Es este un ejemplo de Greenspun’s tenth rule?

[^6]: Mis atajos de teclado están bastante tunneados; quizás diverjan de los que vienen por defecto sustancialmente.

[^7]: Doomscrolling de la feed a modo de evitación, sí soy