Invited Talk - Guy Steele

Why HN readers recommended it

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

This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.

Video & recommendation details

Creator / channel

ClojureTV

Topic

computer science notation

Format

talk

Level

intermediate

HN recommenders in dataset

7

HN mentions in dataset

12

Recommendation years in dataset

2017–2023

These counts and years describe the included Hacker News records; they are not YouTube views or the video’s publication date.

From the original HN conversations

Excerpts from the recorded comments. Follow each source for the full comment and surrounding discussion.

• 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 …

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

• 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 …