41554 blogs · [ { "id": "01a08771-82f7-73dc-97f6-372b403432bc", "title": "Isabelle/ML: antiquotations", "url": "http://edoput.it/2026/07/01/isabelle-ml-antiquotations.html", "published_at": "2026-06-30T22:00:00+00:00" }, { "id": "01a08771-82f7-73dc-97f6-372b40bb8397", "title": "Managing nginx", "url": "http://edoput.it/2026/01/01/manage-nginx.html", "published_at": "2025-12-31T23:00:00+00:00" }, { "id": "01a08771-82f7-73dc-97f6-372b41667321", "title": "Immutable Linux is just right (for me)", "url": "http://edoput.it/2025/11/11/immutable-linux.html", "published_at": "2025-11-10T23:00:00+00:00" }, { "id": "01a08771-82f7-73dc-97f6-372b4221e45a", "title": "Isabelle/ML starting tips", "url": "http://edoput.it/2025/11/02/isabelle-ml-starting-tips.html", "published_at": "2025-11-01T23:00:00+00:00" }, { "id": "01a08771-82f7-73dc-97f6-372b425170ac", "title": "Starred forms", "url": "http://edoput.it/2025/10/25/starred-forms.html", "published_at": "2025-10-24T22:00:00+00:00" }, { "id": "01a08771-82f7-73dc-97f6-372b42f65030", "title": "Better Koreader plugin debugging", "url": "http://edoput.it/2025/10/07/better-koreader-debugging.html", "published_at": "2025-10-06T22:00:00+00:00" }, { "id": "01a08771-82f7-73dc-97f6-372b431775ec", "title": "Minibuffer and input method", "url": "http://edoput.it/2025/08/31/minibuffer-input-method.html", "published_at": "2025-08-30T22:00:00+00:00" }, { "id": "01a08771-82f7-73dc-97f6-372b43201177", "title": "Emacs: a paradigm shift", "url": "http://edoput.it/2025/04/16/emacs-paradigm-shift.html", "published_at": "2025-04-15T22:00:00+00:00" }, { "id": "01a08771-82f7-73dc-97f6-372b43276680", "title": "RE: your application environment variables", "url": "http://edoput.it/2024/11/18/your-application-environment-variables.html", "published_at": "2024-11-17T23:00:00+00:00" }, { "id": "01a08771-82f7-73dc-97f6-372b43944039", "title": "Flatpak: how to keep your development tools at runtime", "url": "http://edoput.it/2024/10/01/flatpak-runtime-sdk.html", "published_at": "2024-09-30T22:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/edoput.it/posts