Interaction Combinators The Hidden Patterns

https://media.ccc.de/v/gpn23-124-

HVM2: Iteraction

https://github.com/HigherOrderCO/HVM.

Encoding recursion in the Lambda calculus, one of Professor Graham Hutton's favourite functions. Lambda Calculus: ...

Source: https://github.com/moonad/Formality/blob/50561c4faa1e6fde83eb03a3e62654805b8aeb39/cuda/main.cu.

https://wiki.xxiivv.com/site/interaction_nets.html ...

NotebookLM summary of HVM2: A Parallel Evaluator for

In lambda calculus, you need recursion to do looping, and this is done using the Y

Check out MEGAWOW from @PBSKIDS ▻▻ https://youtu.be/meU4f31gqYI We're on PATREON! Join the community ...

100 years after

Graph reducing interpreters combined with compilation to

There is a lot more to the pretty equation 10² + 11² + 12² = 13² + 14² than meets the eye. Let me show you. 00:00 Intro 00:07 ...

2 3 Lecture 2 Logical Combinators 2755

Pick any positive irrational number bigger than 1. Call it α. Compute β = α/(α−1) — equivalently, the number satisfying 1/α + 1/β ...

This is Alexander Farrugia's and Giorgio Grigolo's submission to the second 3blue1brown Summer of Math Exposition. #some2 ...

The Lambda Calculus is a tiny symbol manipulation system which suffices to compute anything Turing-computable. Thanks to this ...

How many ways can you write 4 as an ordered sum? The answer is 8 — but WHY? In this video, we uncover the beautiful ...