https://sagredo.dev/ Recent content in Index on Sagredo Hugo es-es jasataco@gmail.com (Javier Sagredo) jasataco@gmail.com (Javier Sagredo) © 2026 Javier Sagredo Tue, 19 May 2026 13:01:49 +0200 https://sagredo.dev/posts/cabal-plan-mejor-output/ Tue, 19 May 2026 13:01:49 +0200jasataco@gmail.com (Javier Sagredo) https://sagredo.dev/posts/cabal-plan-mejor-output/ Cuando corremos cabal plan diff hay mucho ruido en la salida. Este script de python muestra la salida mucho más accesible: #!/usr/bin/env python3 """Summarize the `Package versions` section of `cabal-plan diff` output. Pipe `cabal-plan diff` (or similar) output to this script. It extracts the section between the `Package versions` and `Dependency graph` headers, then prints: pkg-name oldver -> newver # for packages that changed new pkg-name ver # for packages only on the + side deleted pkg-name ver # for packages only on the - side """ import re import sys LINE_RE = re. https://sagredo.dev/posts/servidor-web/ Mon, 18 May 2026 23:58:15 +0200jasataco@gmail.com (Javier Sagredo) https://sagredo.dev/posts/servidor-web/ En este post describo como despliego mi página web, de una forma más ordenada que en el anterior post. Lo describiré de abajo hacia arriba, comenzando por los contenedores y servicios y terminando por Cloudflare. Esquema del despliegue Docker Utilizaremos Docker para aislar lo más posible cada servicio expuesto de manera que el resto del sistema esté protegido en caso de que se vea comprometido. Para instalar docker, seguimos los pasos en su página web: https://sagredo.dev/posts/arquitectura-red/ Wed, 13 May 2026 00:25:12 +0200jasataco@gmail.com (Javier Sagredo) https://sagredo.dev/posts/arquitectura-red/ A la hora de desplegar este servidor tanto en HTTP como en Gemini, he tenido que pegarme un poco con las configuraciones y con Cloudflare y Tailscale. A continuación describo la aventura medio como archivo para mí y medio como tutorial que se puede seguir para replicar mi red y servicios. Tailscale y SSH Para poder conectarme a mis máquinas utilizo Tailscale. Tengo registrados allí tanto mis ordenadores de sobremesa como mis Raspberries. https://sagredo.dev/pages/manifiesto/ Tue, 12 May 2026 00:48:01 +0200jasataco@gmail.com (Javier Sagredo) https://sagredo.dev/pages/manifiesto/ Contra la dictadura del algoritmo y por la recuperación del horizonte “Nos prometieron una biblioteca universal y nos dieron una máquina de tragaperras que llevamos en el bolsillo.” Internet no nació para ser un centro comercial vigilado ni una máquina de dopamina infinita. Nació para conectar mentes, no para atrapar ojos. Hoy, la red ha sido secuestrada por algoritmos que confunden nuestra atención con nuestro consentimiento. Es hora de volver a navegar. https://sagredo.dev/pages/descargas/ Tue, 12 May 2026 00:35:59 +0200jasataco@gmail.com (Javier Sagredo) https://sagredo.dev/pages/descargas/ GHC 9.14.1 IPE Linux x64 https://sagredo.dev/pages/herramientas/ Tue, 12 May 2026 00:21:08 +0200jasataco@gmail.com (Javier Sagredo) https://sagredo.dev/pages/herramientas/ Formateo Herramienta Version GHC stylish-haskell 0.15.1.0 9.12.2 fourmolu 0.18.0.0 9.12.2 cabal-gild 1.8.4.1 9.14.1 cabal-fmt 0.1.12 9.6.7 Inspección de código Herramienta Version GHC Allow newer graphmod 1.4.5.1 9.6.7 cabal-plan 0.7.6.1 9.14.1 base classgraph-view 0.2.0.0 9.14.1 Limpieza de pelusas Herramienta Version GHC hlint 3.10 9.12.2 Perfiles Herramienta Version GHC Allow newer profiterole 0.1 9.6.7 profiteur 0.4.7.1 9.6.7 eventlog2html 0.12.0 9.14.1 ghc-events, containers ghc-debug-brick 0.8.0.0 9.14.1 --allow-newer ghc-prof-flamegraph 0.2.0.1 9.14.1 https://sagredo.dev/pages/clave-pgp/ Tue, 12 May 2026 00:17:41 +0200jasataco@gmail.com (Javier Sagredo) https://sagredo.dev/pages/clave-pgp/ Actualmente la única clave privada que tengo en mi poder es 610eda4e6034d6d68a48066ee933a3bdb04a77f4. Las otras claves que puedan aparecer online han sido perdidas y no tengo acceso a ellas. https://sagredo.dev/posts/mejor-cbor2pretty/ Tue, 12 May 2026 00:07:29 +0200jasataco@gmail.com (Javier Sagredo) https://sagredo.dev/posts/mejor-cbor2pretty/ Este pequeño script sirve para que cbor2pretty tambien muestre el contenido de una cadena de bytes envuelta en un tag 24: #!/bin/bash cbor2pretty.rb $1 | \ awk -v q="'" -v dq="\"" ' BEGIN { a = 0 } /tag\(24\)/ {a = 1} /"/ { if (a == 1) { print $0; spaces = match($0,/[^ ]|$/)-1; cmd = "perl -E " q "say " dq " " dq " x " spaces q; cmd | getline spacess; close(cmd); system("perl -e " q "print pack " dq "H*" dq ", " dq $1 dq q " \ | cbor2pretty.