Text
mastodon
Support
·
Imprint
·
AI Transparency
·
RSS
Space-Efficient Binary
Lambda Calculus Encoding
2023-04-24 · 477 words · Marvin Borner
bruijn
lambda calculus
compression
post
(
n
ω
)
(n\omega)
(
nω
)
vs.
(
ω
n
)
(\omega n)
(
ωn
)
2023-07-28 · 376 words · Marvin Borner
lambda calculus
googology
post
Unary Combinatory Logic
2023-10-06 · 728 words · Marvin Borner
bruijn
combinatory logic
lambda calculus
joke
post
