HackerTube 中文?

HACKENBUSH: a window to a new world of math

Owen MaitzenYouTube ↗

Further reading 1

What can a language express, and what can it guarantee? →Factorial can be written without naming the function. That trick raises a harder question: if every program must terminate, can unrestricted recursion be allowed? Take that distinction into slides, libraries and language extensions.This video helps answer · Two cut branches, one successor to evaluate

Caption notes

The Hackenbush explanation describes a position by the states each player can reach. Removing different branches can leave equivalent positions. A recursive definition lets the analysis reuse the value of those successors.

Archived captions (transcription method unspecified) ↗
Original passages · 2
these two one positions are essentially identical
HACKENBUSH: a window to a new world of math · ▶ 29:23–29:26
another huge perk of our recursive definitions
HACKENBUSH: a window to a new world of math · ▶ 33:10–33:14

Hacker News comments

View original on HN ↗