41554 blogs · [ { "id": "01a0878d-53cb-701d-8a43-ddc44d820332", "title": "Grids without indices", "url": "https://jerrington.me/posts/2025-12-23-grids-without-indices.html", "published_at": "2025-12-23T00:00:00+00:00" }, { "id": "01a0878d-53cb-701d-8a43-ddc44db619d0", "title": "Refunctionalizing an integer?", "url": "https://jerrington.me/posts/2025-10-19-refunctionalizing-an-integer.html", "published_at": "2025-10-19T00:00:00+00:00" }, { "id": "01a0878d-53cb-701d-8a43-ddc44db7c71a", "title": "Implementing dependent types: how hard could it be? (Part 2)", "url": "https://jerrington.me/posts/2025-07-31-depty-impl-part-2.html", "published_at": "2025-07-31T00:00:00+00:00" }, { "id": "01a0878d-53cb-701d-8a43-ddc44e7e8d3c", "title": "Implementing dependent types: how hard could it be? (Part 1)", "url": "https://jerrington.me/posts/2025-05-23-depty-impl.html", "published_at": "2025-05-23T00:00:00+00:00" }, { "id": "01a0878d-53cb-701d-8a43-ddc44ef4896d", "title": "An inductive model of food", "url": "https://jerrington.me/posts/2025-02-20-induction-on-food.html", "published_at": "2025-02-20T00:00:00+00:00" }, { "id": "01a0878d-53cb-701d-8a43-ddc44f34ad2d", "title": "Three detailed solutions to Leetcode #10: regular expression matching", "url": "https://jerrington.me/posts/2024-09-27-leetcode-10.html", "published_at": "2024-09-27T00:00:00+00:00" }, { "id": "01a0878d-53cb-701d-8a43-ddc44f5ce132", "title": "Implementing generators with continuation-passing style, streams, and defunctionalization", "url": "https://jerrington.me/posts/2023-04-02-generators-cps-streams-d17n.html", "published_at": "2023-04-02T00:00:00+00:00" }, { "id": "01a0878d-53cb-701d-8a43-ddc4504e8d54", "title": "Loop once... (f)or else! (Or, Python pro-tip number 2)", "url": "https://jerrington.me/posts/2023-03-25-loop-once-for-else.html", "published_at": "2023-03-25T00:00:00+00:00" }, { "id": "01a0878d-53cb-701d-8a43-ddc4510c24db", "title": "Functional programmers hate this one trick", "url": "https://jerrington.me/posts/2023-02-12-defunctionalizing-continuations.html", "published_at": "2023-02-12T00:00:00+00:00" }, { "id": "01a0878d-53cb-701d-8a43-ddc451c95d16", "title": "Refactoring Asynchronous Recursion with Continuation-Passing Style", "url": "https://jerrington.me/posts/2023-01-22-refactoring-asynchronous-recursion-continuations.html", "published_at": "2023-01-22T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/jerrington.me/posts