Circuit diagrams illustrate Hindley-Milner inference
22.5K views · 274 likes · 181 saves · 34 reposts · Posted Sep 24, 2026 · 4:37 · Explainers
OUR NOTEA nearly five-minute explainer on how Algorithm W infers types in Hindley-Milner systems, drawing substitutions as circuits that route a type variable into two slots at once.
got opus 5.5 to make a video illustrating how algorithm W infers types in hindley-milner type systemsTHE PROMPT
The creator didn't publish a prompt for this one. The post text is below.
MAKE ONE LIKE THIS
Three steps, using what the creators in this index used.- 1 · Copy the prompt
This creator didn't share a prompt. Start from our template instead.
PROMPT TEMPLATE → - 2 · Long piece? Give Claude a framework
- RavenMulti-agent research, coding and design orchestration★ 4.1k
- vox-directorPaper-collage style explainer and ad videos★ 2.1k
- video-talkcraftVoiceover-synced kinetic-text explainer videos★ 1.3k
- 3 · Render it to MP4
For a longer piece like this one, render with a framework so the timing is exact on every take.
CLAUDE CODE + HYPERFRAMES / REMOTION →
The creator didn't name their tools. Most videos like this are HTML, canvas or SVG animation written by Claude and screen-recorded or rendered to MP4 — how that works.
Indexed Sep 28, 2026, 8:28 AM · Views as of indexing. Video and post © their creator.