41554 blogs · [ { "id": "01a08c5a-15d7-7285-a4a8-7a0f8645242b", "title": "Three LLM Trends Today", "url": "https://ubikium.gitlab.io/portfolio/three-llm-trends-today.html", "published_at": "2026-06-08T00:00:00+00:00" }, { "id": "01a08c5a-15d8-7341-807a-62c107908a1c", "title": "Process Theater", "url": "https://ubikium.gitlab.io/portfolio/process-theater.html", "published_at": "2026-03-05T00:00:00+00:00" }, { "id": "01a08c5a-15d8-7341-807a-62c1088b0b9e", "title": "Having a theory of your program", "url": "https://ubikium.gitlab.io/portfolio/theory.html", "published_at": "2025-12-18T00:00:00+00:00" }, { "id": "01a08c5a-15d8-7341-807a-62c10987457d", "title": "Converting math-heavy LaTeX to HTML with Pandoc", "url": "https://ubikium.gitlab.io/portfolio/converting-math-heavy-latex-to-html-with-pandoc.html", "published_at": "2024-12-20T00:00:00+00:00" }, { "id": "01a08c5a-15d8-7341-807a-62c10a193729", "title": "The Limitation of Open Source in its Libertarian Root", "url": "https://ubikium.gitlab.io/portfolio/the-limitation-of-open-source-in-its-libertarian-root.html", "published_at": "2024-05-05T00:00:00+00:00" }, { "id": "01a08c5a-15d8-7341-807a-62c10ab8376a", "title": "How to read Lean 4 source code with LSP support", "url": "https://ubikium.gitlab.io/portfolio/how-to-read-lean-src-code-with-lsp.html", "published_at": "2023-12-10T00:00:00+00:00" }, { "id": "01a08c5a-15d8-7341-807a-62c10b1fb2de", "title": "Rainsea Radio: An AD Blocking Monitor", "url": "https://ubikium.gitlab.io/portfolio/an-ad-blocking-monitor.html", "published_at": "2023-09-10T00:00:00+00:00" }, { "id": "01a08c5a-15d8-7341-807a-62c10b64622c", "title": "let ← is not a definition", "url": "https://ubikium.gitlab.io/portfolio/let-left-is-not-a-definition.html", "published_at": "2023-08-30T00:00:00+00:00" }, { "id": "01a08c5a-15d8-7341-807a-62c10bf8041e", "title": "Use highlightjs version 11 for Hakyll", "url": "https://ubikium.gitlab.io/portfolio/use-hljs-v11-for-hakyll.html", "published_at": "2023-08-29T00:00:00+00:00" }, { "id": "01a08c5a-15da-7141-a05a-190f897d9d3c", "title": "Tips and Reviews of The Little Prover", "url": "https://ubikium.gitlab.io/portfolio/tips-and-reviews-of-the-little-prover.html", "published_at": "2023-08-24T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/ubikium.gitlab.io/posts