41554 blogs · [ { "id": "01a08790-6b8e-730e-84bf-13b06e6003c7", "title": "Why Rocq is better than Lean for program verification", "url": "http://joomy.korkutblech.com/posts/2026-07-28-why-rocq-is-better.html", "published_at": "2026-07-28T00:00:00+00:00" }, { "id": "01a08790-6b8e-730e-84bf-13b06f09c255", "title": "Why I refuse to learn type-level programming in Haskell", "url": "http://joomy.korkutblech.com/posts/2025-11-23-why-i-refuse.html", "published_at": "2025-11-23T00:00:00+00:00" }, { "id": "01a08790-6b8e-730e-84bf-13b06f5dea5e", "title": "Intrinsic vs. extrinsic verification", "url": "http://joomy.korkutblech.com/posts/2024-10-30-intrinsic-vs-extrinsic-verification.html", "published_at": "2024-10-30T00:00:00+00:00" }, { "id": "01a08790-6b8e-730e-84bf-13b06fbbab39", "title": "After ICFP 2018", "url": "http://joomy.korkutblech.com/posts/2018-09-30-icfp-2018.html", "published_at": "2018-09-30T00:00:00+00:00" }, { "id": "01a08790-6b8e-730e-84bf-13b070372e5e", "title": "The diacritic omission phenomenon", "url": "http://joomy.korkutblech.com/posts/2017-11-18-diacritic-omission.html", "published_at": "2017-11-18T00:00:00+00:00" }, { "id": "01a08790-6b8e-730e-84bf-13b070fd11f7", "title": "Scoped implicit conversions for Idris", "url": "http://joomy.korkutblech.com/posts/2017-11-14-scoped-implicit-conversions.html", "published_at": "2017-11-14T00:00:00+00:00" }, { "id": "01a08790-6b8e-730e-84bf-13b071f4e0a8", "title": "Writing a Template Haskell library for GHC.Proof", "url": "http://joomy.korkutblech.com/posts/2017-09-16-ghc-proofs-th.html", "published_at": "2017-09-16T00:00:00+00:00" }, { "id": "01a08790-6b8e-730e-84bf-13b0725b4587", "title": "Starting a Haskell student forum at Wesleyan", "url": "http://joomy.korkutblech.com/posts/2015-06-01-haskell-wesleyan.html", "published_at": "2015-06-01T00:00:00+00:00" }, { "id": "01a08790-6b8e-730e-84bf-13b07292ef91", "title": "Language immersion for linguistic freaks", "url": "http://joomy.korkutblech.com/posts/2015-05-04-language-immersion.html", "published_at": "2015-05-04T00:00:00+00:00" }, { "id": "01a08790-6b8e-730e-84bf-13b073719a03", "title": "An impractical pseudo-Prolog", "url": "http://joomy.korkutblech.com/posts/2014-12-05-herbrand.html", "published_at": "2014-12-05T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/joomy.korkutblech.com/posts