hackertube.io

What is PLUS times PLUS?

2swap · explainer · Watch on YouTube

Computability & complexity theoryRecreational & visual mathFunctional programming

What it is

2swap explores lambda calculus using John Tromp's lambda diagrams, with animated beta-reductions, asking what PLUS times PLUS gives. It touches on Church encodings and the equivalence of Turing machines and lambda calculus.

Why Hacker News recommends it

Mentioned in lambda calculus and combinator threads as a visual entry point to the topic.

  • 1 people recommended it
  • 1 different months
  • 0 strong recommendations
  • first 2025, last 2026

What HN commenters said

  1. “I also liked the one on lambda calculus.”

    Liked the video on lambda calculus and Plus times Plus.

    contraposit, 2026-04 · Recommendation · in “Optimal Strategy for Connect 4”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: lambda diagrams, beta reduction, combinators, church encoding, visualization

Also recommended by the same people