HackerTube.dev

Invited Talk - Guy Steele

ClojureTV · 39K views · 2017-10-13 · 1:07:22

Open on YouTube ↗

If playback is restricted in your region, try opening the original video. Use Mark watched to add it to your marked videos.

Overview

Guy Steele's invited talk at Clojure/conj on the informal metanotation computer scientists use in papers to describe languages. He traces how this notation developed and why it is often unspecified and arcane.

On Hacker News

HN commenters recommend it whenever someone asks how to read type-system or CS notation in papers.

Recommended by 7 HN people across 8 months · HN mentions 2017–2023

Topics

Search by tags

What people said

amar-laksh · 2022-06 · Strong recommendation

Excellent talk by Guy Steele explaining the history of maths/comp notations that can probably lead you to the right path through original sources: [VIDEO] Then have a look at this extremely underrated talk by Alexander Stepanov for basically falling in love with maths (he gives a long view of maths in general adorned with beautiful commentary): [LINK]

Read the original HN comment ↗
earleybird · 2021-12 · Strong recommendation

For a deeper exposition on language and notation, Guy Steele[0] is the definitive authority :-) - with some discussion here[1]. [0] [VIDEO] [1] [LINK]

Read the original HN comment ↗
Jach · 2020-05 · Strong recommendation

The context here isn't the average American, but a high school student taking an AP test involving writing math -- where scoring well counts for the same credit as having passed the equivalent entry level course(s) in college. Besides, math is already pseudo language on top of pseudo language. Learning notation is part of math, I'll concede learning to type an expression on a computer is a different notation than writing it with pen, but if you can't learn that, why learn math? Each domain does its own thing too and isn't even necessarily consistent. Guy Steele gave a great talk a few years ago on "Computer Science Metanotation", and that's just one area of math: [VIDEO] (Edit: And to conclude here, learning to read and write with some notation tends to be easy, it's learning what the math actually means that is the hard part.)

Read the original HN comment ↗

Sources

Video by ClojureTV, played through YouTube.

Data and selection notes

HN summaries and labels may contain AI errors. HN dates refer to discussions, not video publication.

HN Library: HackerTube export (2026-10-31) and open-index/hacker-news. Upstream summaries and classifications may contain AI errors.

Views, duration and playback status refresh separately from the published catalog. When an update fails, existing data remains visible.

Selection checks
  • SaaS & AI candidates: Topic keywords do not match
  • Editor-approved picks: Editorial review is required

Rule matches identify candidates. They do not guarantee video quality or financial results.

About the library and its sources