Text
mastodon
Support
·
Imprint
·
AI Transparency
·
RSS
The bruijn Programming Language
2023-04-06 · 2884 words · Marvin Borner
bruijn
lambda calculus
article
Data Structures
in Pure Lambda Calculus
2023-04-07 · 2481 words · Marvin Borner
bruijn
lambda calculus
article
Space-Efficient Binary
Lambda Calculus Encoding
2023-04-24 · 477 words · Marvin Borner
bruijn
lambda calculus
compression
post
Variadic Fixed-Point Combinators
2023-07-08 · 1365 words · Marvin Borner
bruijn
lambda calculus
article
Metaprogramming
and Self-Interpretation
2023-11-11 · 4182 words · Marvin Borner
bruijn
lambda calculus
metaprogramming
article
Unary Combinatory Logic
2023-10-06 · 728 words · Marvin Borner
bruijn
combinatory logic
lambda calculus
joke
post
Crafting Formulas
2024-08-06 · 4041 words · Marvin Borner
bruijn
lambda calculus
maths
article