41554 blogs · [ { "id": "01a07df1-d038-7201-9642-2f62a67fb8c0", "title": "\"Five-Point Haskell\": Unconditional Election (via Parametricity)", "url": "https://blog.jle.im/entry/five-point-haskell-part-2-unconditional-election.html", "published_at": "2026-08-04T18:15:09+00:00" }, { "id": "01a07df1-d038-7201-9642-2f62a6a3be42", "title": "LLMs Will Cheese Your Types: Fighting Back in Haskell", "url": "https://blog.jle.im/entry/llms-and-haskell-1-constraint-evading-behavior.html", "published_at": "2026-07-22T16:10:56+00:00" }, { "id": "01a07df1-d038-7201-9642-2f62a7903dd6", "title": "Extreme Haskell: Typed Expression EDSLs (Part 1)", "url": "https://blog.jle.im/entry/extreme-haskell-typed-expression-edsls-1.html", "published_at": "2026-07-07T17:11:34+00:00" }, { "id": "01a07df1-d038-7201-9642-2f62a866ba60", "title": "\"Five-Point Haskell\": Total Depravity (and Defensive Typing)", "url": "https://blog.jle.im/entry/five-point-haskell-part-1-total-depravity.html", "published_at": "2026-02-02T15:06:46+00:00" }, { "id": "01a07df1-d038-7201-9642-2f62a93f51ff", "title": "Advent of Code 2025: Haskell Solution Reflections for all 12 Days", "url": "https://blog.jle.im/entry/advent-of-code-2025.html", "published_at": "2025-12-24T20:44:05+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/blog.jle.im/posts

Justin Le

blog.jle.im

2026

"Five-Point Haskell": Unconditional Election (via Parametricity)original ↗

4 Aug 2026

LLMs Will Cheese Your Types: Fighting Back in Haskell original ↗

22 Jul 2026

Extreme Haskell: Typed Expression EDSLs (Part 1)original ↗

7 Jul 2026

"Five-Point Haskell": Total Depravity (and Defensive Typing)original ↗

2 Feb 2026

2025

Advent of Code 2025: Haskell Solution Reflections for all 12 Days original ↗

24 Dec 2025