HackerTubewatch
Surprise me
Frame from Invited Talk - Guy Steele Plays via YouTube's privacy-enhanced embed

Invited Talk - Guy Steele

38 videos recommended on HN
YouTube
7 HN users recommended this talk8 months2017–2023 score 9.5
Years with an HN recommendation, 2007–2026

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

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.

“Excellent talk by Guy Steele explaining the history of maths/comp notations” (HN, 2022)

3 strong recommendations · 5 recommendations · 4 citations · Talks · intermediate

12 Hacker News comments

From the HN archive; up to 20 kept per video, favoring different commenters. Recommendations first.

@Jach May 2020 Strongly recommends
on HN thread Students are failing AP tests because the College Board can’t handle HEIC images
Read more
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: [this 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.)
Great talk on computer science metanotation.
@earleybird Dec 2021 Strongly recommends
on HN thread Mathematical Notation, Past and Future (2000)
For a deeper exposition on language and notation, Guy Steele[0] is the definitive authority :-) - with some discussion here[1]. [0] [this video] [1] [link]
Deeper exposition on language and notation from Guy Steele.
@amar-laksh Jun 2022 Strongly recommends
on HN thread Ask HN: How to get better knowledge about math notations in computer science
Excellent talk by Guy Steele explaining the history of maths/comp notations that can probably lead you to the right path through original sources: [this 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]
History of math and computer science notation, pointing to sources.
@hellofunk Oct 2017 Recommends
on HN thread Effective Programs: 10 Years of Clojure
> I didn't really understand his talk I think he was too abstract Then you better stay away from another talk at the same conference, by Guy Steele [0] ! [0] [this video]
Guy Steele talk on computer science metanotation.
@hyperion2010 Nov 2017 Recommends
on HN thread Problems of Traditional Math Notation (2004)
Not directly math but Guy Steel's talk at Clojure Conj [0] on computer science type notation touches on related issues and is a great watch. 0. [this video]
Guy Steele on computer science notation and its issues.
@Jach Oct 2018 Recommends
on HN thread Clojure at Netflix (2013) [slides]
You would probably enjoy this talk by Guy Steele where he discusses the language of mathematics that computer science people use in their papers (Computer Science Metanotation) to talk about other languages. Funnily it's untyped and lacking a rigorous specification... [this video]
Explains the untyped metanotation CS papers use to describe languages.
@MathMonkeyMan Jul 2023 Recommends
on HN thread Coroutines for Go
Guy Steele Jr. worked on a language called "Fortress." There are a few good talks that he gives: - (toy problem) [link] - (parallelism) [link] - (languages) [this video]
One of several good Guy Steele talks, on languages.
@dan-robertson Aug 2023 Recommends
on HN thread How should I read type system notation?
There was a Guy Steele talk a while ago on this topic. He also gives searchable names for some of the things (eg the ‘2d inference rule diagrams’). He calls it ‘computer science metanotation’, though I think it’s more of a PLT thing. [this video]
Names and explains type-system notation like inference rule diagrams.

Citations, criticism and jokes

@carapace May 2020 Cites it
on HN thread In Further Praise of Dependent Types
It's part of an arcane knowledge that is seldom reified. "It's Time for a New Old Language" – Guy Steele [video] (youtube.com) [this video] [link] He calls it "Computer Science Metanotation".
Guy Steele names and explains computer science metanotation.
@carapace Aug 2023 Cites it
on HN thread How should I read type system notation?
Read more
You beat me to it. > The most popular programming language in computer science has no compiler, interpreter, or complete specification. It is remarkably concise. It grew over decades; today, dozens of variations are in use. Its complexity has reached the point where it needs to be re-explained every time it is used—but too often it is not; instead, each variant is more or less taken for granted. This has led to ambiguities and inconsistencies. Much effort has been spent in hand-translating, in both directions, between this language and other languages that do have compilers, primarily for the purpose of implementing yet other languages. => [link] Guy Steele => [link] "A Cobbler's Child" talk at Code Mesh 2017 => [link] "A Cobbler's Child" (video on youtube) => [this video] "It's Time for a New Old Language" (video on youtube) => [link] Discussion on HN => [link] Slides To me this seems like a pretty sorry state of affairs. The folks trying the hardest to speak precisely about the most precise human art use ambiguous and inconsistent notation. wat?
Talk on the ambiguous, unspecified notation used across computer science.
@ceving Oct 2023 Cites it
on HN thread Strong typing, a hill I'm willing to die on
Guy L. Steele: "Don't you think it is ironic that type theorists who want to talk about strongly typed languages talk to themselves with an untyped language" [this video]
Steele notes type theorists use an untyped notation themselves.

Video list and Hacker News comment labels from HackerTube (prompted by @karpathy), released under ODC-By 1.0, built on the open-index/hacker-news archive. Hacker News data is provided by Y Combinator; comments remain the work of their authors. Video titles, channel names and thumbnails belong to their creators and are shown via YouTube. HackerTube Watch is an unofficial edition. Data export of 2026-10-31.

Keyboard shortcuts

/
Search
j k
Next / previous video
r
Surprise me
l
Like (video page)
w
Watch later (video page)
?
This help
Esc
Close