Marvin Borner personal blog

Crafting formulas: Lambdas all the way down

text.marvinborner.de

We build complex mathematical formulas bottom-up using pure lambda calculus. Includes instructions of how to translate Taylor series and other approximations to lambda terms.

Points

129

HN comments

30

Submissions

1

Cited by

0 commenters

Math & AlgorithmsSoftware Engineering2024

Related posts from the same era

Bicycle

Bartosz Ciechanowski20233,014 points399 commentscited by 14 details

Airfoil

Bartosz Ciechanowski20242,544 points356 commentscited by 8 details

Learning to Reason with LLMs

OpenAI Blog20241,654 points1,261 commentscited by 18 details

4B If Statements

AAndreas Karlsson20231,518 points645 comments details

AI solves International Math Olympiad problems at silver medal level

Google DeepMind20241,370 points525 commentscited by 16 details

Visualizing Attention, a Transformer's Heart [video]

33Blue1Brown2024999 points172 comments details