The Curious Engineer

All blogs / Functional / PL theory

Text

text.marvinborner.de

Articles and blog posts about some of my projects.

Functional / PL theoryMathOther languages

’23’24’25’26
Posts
40 from 6 Apr 2023 to 17 Aug 2026
Posting
now and then (5 in the last year)
Kind
personal blog
Feed
https://text.marvinborner.de/feed.rss

2026 5

  1. A Dual View on Syntax
  2. trinity
  3. Extraordinary Ordinals
  4. Tag graphs
  5. Effectful Recursion Schemes

2025 8

  1. de Bruijn Numerals
  2. numeral system
  3. Many Factorials in Bruijn
  4. Tag math
  5. Tag travel
  6. Talk: Interaction Combinators - The Hidden Patterns of Computation?
  7. Squeezing Pi From 122 Bits
  8. Tag pi

2024 8

  1. Tiny, Untyped Monads
  2. Tag monads
  3. javascript
  4. Crafting Formulas: Lambdas All the Way Down
  5. Tag maths
  6. Lambda Screen: Fractals in Pure Lambda Calculus
  7. lambda screen
  8. fractals

2023 17

  1. Metaprogramming and self-interpretation
  2. metaprogramming
  3. Unary combinatory logic
  4. combinatory logic
  5. Tag joke
  6. (nω) vs. (ωn)
  7. googology
  8. Variadic fixed-point combinators
  9. Hash-based approach to building shared λ-graphs
  10. Space-efficient binary lambda calculus encoding for binary data
  11. Tag post
  12. compression
  13. Data structures in pure lambda calculus
  14. The bruijn programming language
  15. lambda calculus
  16. article
  17. Tag bruijn

Undated 2

  1. Imprint
  2. AI Transparency