41554 blogs · [ { "id": "01a087eb-a3d6-73c8-b94d-3e39042e6742", "title": "A Dual View on Syntax", "url": "https://text.marvinborner.de/2026-08-11-17.html", "published_at": "2026-08-17T04:00:00+00:00" }, { "id": "01a087eb-a3d6-73c8-b94d-3e3904599809", "title": "Extraordinary Ordinals", "url": "https://text.marvinborner.de/2026-04-09-17.html", "published_at": "2026-05-12T02:00:00+00:00" }, { "id": "01a087eb-a3d6-73c8-b94d-3e39053a7a91", "title": "Effectful Recursion Schemes", "url": "https://effekt-lang.org/blog/recursion-schemes/", "published_at": "2026-04-20T16:00:00+00:00" }, { "id": "01a087eb-a3d6-73c8-b94d-3e39055b77e8", "title": "de Bruijn Numerals", "url": "https://text.marvinborner.de/2023-08-22-22.html", "published_at": "2025-10-28T18:00:00+00:00" }, { "id": "01a087eb-a3d6-73c8-b94d-3e3905c370c9", "title": "Many Factorials in Bruijn", "url": "https://text.marvinborner.de/2025-10-08-12.html", "published_at": "2025-10-10T00:00:00+00:00" }, { "id": "01a087eb-a3d6-73c8-b94d-3e3906a0b786", "title": "Talk: Interaction Combinators - The Hidden Patterns of Computation?", "url": "https://media.ccc.de/v/gpn23-124-interaction-combinators-the-hidden-patterns-of-computation-", "published_at": "2025-06-19T00:00:00+00:00" }, { "id": "01a087eb-a3d6-73c8-b94d-3e3906f1025b", "title": "Squeezing Pi From 122 Bits", "url": "https://text.marvinborner.de/2025-02-08-12.html", "published_at": "2025-02-09T21:57:03+00:00" }, { "id": "01a087eb-a3d6-73c8-b94d-3e39077ba3ca", "title": "Tiny, Untyped Monads", "url": "https://text.marvinborner.de/2024-11-18-00.html", "published_at": "2024-11-27T02:14:01+00:00" }, { "id": "01a087eb-a3d6-73c8-b94d-3e3907be730d", "title": "Crafting Formulas: Lambdas All the Way Down", "url": "https://text.marvinborner.de/2024-04-16-10.html", "published_at": "2024-08-06T01:57:06+00:00" }, { "id": "01a087eb-a3d6-73c8-b94d-3e3907eeb827", "title": "Lambda Screen: Fractals in Pure Lambda Calculus", "url": "https://text.marvinborner.de/2024-03-25-02.html", "published_at": "2024-04-08T01:23:14+00:00" }, { "id": "01a087eb-a3d6-73c8-b94d-3e39081cb2de", "title": "Metaprogramming and self-interpretation", "url": "https://text.marvinborner.de/2023-09-03-21.html", "published_at": "2023-11-11T19:35:42+00:00" }, { "id": "01a087eb-a3d6-73c8-b94d-3e3908a4c334", "title": "Unary combinatory logic", "url": "https://text.marvinborner.de/2023-10-05-15.html", "published_at": "2023-10-06T18:57:11+00:00" }, { "id": "01a087eb-a3d6-73c8-b94d-3e3908f161d6", "title": "(nω) vs. (ωn)", "url": "https://text.marvinborner.de/2023-07-27-23.html", "published_at": "2023-07-28T02:41:16+00:00" }, { "id": "01a087eb-a3d6-73c8-b94d-3e39099557e8", "title": "Variadic fixed-point combinators", "url": "https://text.marvinborner.de/2023-06-18-15.html", "published_at": "2023-07-08T18:44:42+00:00" }, { "id": "01a087eb-a3d6-73c8-b94d-3e390cda7c75", "title": "Hash-based approach to building shared λ-graphs", "url": "https://text.marvinborner.de/2023-05-30-16.html", "published_at": "2023-05-30T16:15:25+00:00" }, { "id": "01a087eb-a3d6-73c8-b94d-3e390c342934", "title": "Space-efficient binary lambda calculus encoding for binary data", "url": "https://text.marvinborner.de/2023-04-24-13.html", "published_at": "2023-04-24T13:46:15+00:00" }, { "id": "01a087eb-a3d6-73c8-b94d-3e390b412baa", "title": "Data structures in pure lambda calculus", "url": "https://text.marvinborner.de/2023-04-07-01.html", "published_at": "2023-04-07T01:17:32+00:00" }, { "id": "01a087eb-a3d6-73c8-b94d-3e390a87401c", "title": "The bruijn programming language", "url": "https://text.marvinborner.de/2023-04-06-01.html", "published_at": "2023-04-06T01:32:16+00:00" } ] posts Claim your blog

Back to text.marvinborner.de

Blog · corpus.blog/blogs/text.marvinborner.de/posts

text.marvinborner.de

text.marvinborner.de

2026

A Dual View on Syntax original ↗

17 Aug 2026

Extraordinary Ordinals original ↗

12 May 2026

Effectful Recursion Schemes original ↗

20 Apr 2026

2025

de Bruijn Numerals original ↗

28 Oct 2025

Many Factorials in Bruijn original ↗

10 Oct 2025

Talk: Interaction Combinators - The Hidden Patterns of Computation?original ↗

19 Jun 2025

Squeezing Pi From 122 Bits original ↗

9 Feb 2025

2024

Tiny, Untyped Monads original ↗

27 Nov 2024

Crafting Formulas: Lambdas All the Way Down original ↗

6 Aug 2024

Lambda Screen: Fractals in Pure Lambda Calculus original ↗

8 Apr 2024

2023

Metaprogramming and self-interpretation original ↗

11 Nov 2023

Unary combinatory logic original ↗

6 Oct 2023

(nω) vs. (ωn)original ↗

28 Jul 2023

Variadic fixed-point combinators original ↗

8 Jul 2023

Hash-based approach to building shared λ-graphs original ↗

30 May 2023

Space-efficient binary lambda calculus encoding for binary data original ↗

24 Apr 2023

Data structures in pure lambda calculus original ↗

7 Apr 2023

The bruijn programming language original ↗

6 Apr 2023