56,966 blogs · [ { "id": "01a0875a-fbdf-727a-b00d-c3d42d61c07b", "title": "Proving the Fundamental Theorem of Arithmetic in Agda", "url": "http://byorgey.github.io/blog/posts/2026/06/26/FTA.lagda.html", "published_at": null }, { "id": "01a0875a-fbdf-727a-b00d-c3d42d6e7f70", "title": "Disco Live!", "url": "http://byorgey.github.io/blog/posts/2026/01/09/disco-live.html", "published_at": null }, { "id": "01a0875a-fbdf-727a-b00d-c3d42e3058c3", "title": "Call for collaboration: Disco web UI", "url": "http://byorgey.github.io/blog/posts/2025/11/10/disco-web-ui.html", "published_at": null }, { "id": "01a0875a-fbdf-727a-b00d-c3d42efd89e2", "title": "Decidable equality for indexed data types, take 2", "url": "http://byorgey.github.io/blog/posts/2025/08/22/OneLevelTypesIndexed2.lagda.html", "published_at": null }, { "id": "01a0875a-fbdf-727a-b00d-c3d42ff5b01d", "title": "Competitive programming in Haskell: sparse tables", "url": "http://byorgey.github.io/blog/posts/2025/07/18/sparse-table.html", "published_at": null }, { "id": "01a0875a-fbdf-727a-b00d-c3d430d8b095", "title": "Competitive programming in Haskell: prefix sums", "url": "http://byorgey.github.io/blog/posts/2025/06/27/prefix-sums.html", "published_at": null }, { "id": "01a0875a-fbdf-727a-b00d-c3d4310d44bc", "title": "Competitive programming in Haskell: range queries, classified", "url": "http://byorgey.github.io/blog/posts/2025/06/23/range-queries-classified.html", "published_at": null }, { "id": "01a0875a-fbdf-727a-b00d-c3d43151b007", "title": "Monads are not like burritos", "url": "http://byorgey.github.io/blog/posts/2025/06/16/monads-are-not-burritos.html", "published_at": null }, { "id": "01a0875a-fbdf-727a-b00d-c3d431732b94", "title": "Introduction to competitive programming in Haskell", "url": "http://byorgey.github.io/blog/posts/2025/06/10/comprog-hs-intro.html", "published_at": null }, { "id": "01a0875a-fbdf-727a-b00d-c3d43199a01e", "title": "Hendrix College Programming Contest 2025", "url": "http://byorgey.github.io/blog/posts/2025/03/13/HCPC25.html", "published_at": null } ] posts Claim your blog

Blog · corpus.blog/blogs/byorgey.github.io/posts

byorgey.github.io

Undated