Text

Support · Imprint · AI Transparency · RSS

Extraordinary Ordinals
2026-05-12 · 188 words

lambda calculus graphs math post
Many Factorials in Bruijn
2025-10-08 · 946 words

bruijn math travel post
Squeezing $\pi$ from 122 Bits
2025-02-09 · 1475 words

lambda calculus lambda screen fractals pi post
Tiny, Untyped Monads
2024-11-27 · 3281 words

monads javascript article
Crafting Formulas
2024-08-06 · 4041 words

bruijn lambda calculus maths article
Lambda Screen
2024-04-08 · 1439 words

lambda calculus lambda screen fractals article
Unary Combinatory Logic
2023-10-06 · 728 words

bruijn combinatory logic lambda calculus joke post
Metaprogramming
and Self-Interpretation
2023-11-11 · 4190 words

bruijn lambda calculus metaprogramming article
de Bruijn Numerals
2025-10-28 · 1114 words

numeral system lambda calculus post
$(n\omega)$ vs. $(\omega n)$
2023-07-28 · 376 words

lambda calculus googology post
Variadic Fixed-Point Combinators
2023-07-08 · 1366 words

bruijn lambda calculus article
Hash-Based Approach to Building Shared $\lambda$ -Graphs
2023-05-30 · 981 words

lambda calculus article
Space-Efficient Binary
Lambda Calculus Encoding
2023-04-24 · 477 words

bruijn lambda calculus compression post
Data Structures
in Pure Lambda Calculus
2023-04-07 · 2481 words

bruijn lambda calculus article
The bruijn Programming Language
2023-04-06 · 2897 words

bruijn lambda calculus article