https://alexis.praga.dev/ https://alexis.praga.dev/about.html https://alexis.praga.dev/blog/2026-03-17-colorscheme.html 2026-03-17 https://alexis.praga.dev/blog/2025-11-28-fosdem2026.html 2025-11-28 https://alexis.praga.dev/blog/2025-11-13-gamify-blog-writing.html 2025-11-13 https://alexis.praga.dev/blog/2025-07-01-command-line.html 2025-07-01 https://alexis.praga.dev/blog/2025-04-01-emacs.html 2025-04-01 https://alexis.praga.dev/blog/2025-03-28-minimal-emacs.html 2025-03-28 https://alexis.praga.dev/blog/2025-02-12-public-inbox.html 2025-02-12 https://alexis.praga.dev/blog/2024-10-01-mail.html 2024-10-01 https://alexis.praga.dev/blog/2023-11-26-org-research.html 2023-11-26