56,966 blogs · [ { "id": "01a08778-6305-71ad-90bb-1ae9fd65ab4b", "title": "Conditional Compilation in Lean", "url": "https://flagrantsystemerror.com/conditional-compilation-in-lean/", "published_at": "2026-08-13T00:00:00+00:00" }, { "id": "01a08778-6305-71ad-90bb-1ae9fe300914", "title": "Lean Roguelike (Part 2)", "url": "https://flagrantsystemerror.com/lean-roguelike-part-2/", "published_at": "2026-08-05T00:00:00+00:00" }, { "id": "01a08778-6305-71ad-90bb-1ae9fee62723", "title": "Smarter Faster Better", "url": "https://flagrantsystemerror.com/smarter-faster-better/", "published_at": "2026-07-21T00:00:00+00:00" }, { "id": "01a08778-6305-71ad-90bb-1ae9ff633a3c", "title": "Lean Roguelike (Part 1)", "url": "https://flagrantsystemerror.com/lean-roguelike-part-1/", "published_at": "2026-06-06T00:00:00+00:00" }, { "id": "01a08778-6305-71ad-90bb-1ae9ff807148", "title": "Gitea Transfer to New Instance", "url": "https://flagrantsystemerror.com/gitea-transfer-to-new-instance/", "published_at": "2024-12-21T00:00:00+00:00" }, { "id": "01a08778-6305-71ad-90bb-1ae9ff9dc5b9", "title": "Category Theory: What Is A Category?", "url": "https://flagrantsystemerror.com/category-theory/", "published_at": "2024-11-29T00:00:00+00:00" }, { "id": "01a08778-6305-71ad-90bb-1ae9ffb5775e", "title": "Category Theory: Programming Language Semantics", "url": "https://flagrantsystemerror.com/language-semantics/", "published_at": "2024-11-29T00:00:00+00:00" }, { "id": "01a08778-6305-71ad-90bb-1aea001fee25", "title": "The Pyramid Principle for Writing", "url": "https://flagrantsystemerror.com/pyramid-principle/", "published_at": "2024-11-29T00:00:00+00:00" }, { "id": "01a08778-6305-71ad-90bb-1aea010af028", "title": "Staff Engineer Book Review, Part 1", "url": "https://flagrantsystemerror.com/staff-engineer-book-review-part-1/", "published_at": "2024-11-29T00:00:00+00:00" }, { "id": "01a08778-6305-71ad-90bb-1aea01e7547d", "title": "Review of Naming Things by Tom Benner", "url": "https://flagrantsystemerror.com/naming-things/", "published_at": "2024-11-27T00:00:00+00:00" }, { "id": "01a08778-6305-71ad-90bb-1aea02a27bc3", "title": "Experimenting with Kubernetes", "url": "https://flagrantsystemerror.com/kubernetes-homelab/", "published_at": "2024-11-24T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/flagrantsystemerror.com/posts