THE VIDEO SHELF · programming language notation
2017 ACM PPoPP Keynote: It's Time for a New Old Language
Guy Steele's PPoPP 2017 keynote surveying the history of computer science metanotation, including BNF, inference rules, and overline notation. He argues the field's notations are inconsistent and fragmented.
Why HN readers recommended it
HN recommends it as an excellent talk on notation problems, useful when reading papers or designing a new metalanguage.
This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.
Video & recommendation details
- Creator / channel
- Guy Steele
- Topic
- programming language notation
- Format
- talk
- Level
- intermediate
- HN recommenders in dataset
- 3
- HN mentions in dataset
- 4
- Recommendation years in dataset
- 2018–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.
This is great! I wish I had seen something like this years ago. Related: "It's Time for a New Old Language" by Guy Steele. [VIDEO] He gives a history of metalanguage notations (for both language semantics and syntax, including regexes and CFGs). And then he …
chubot on Hacker News · 2018-01
In A practitioner’s guide to reading programming languages papers(Nice to see your work shared here :) ) I went through the corresponding videos last year: [LINK] [LINK] It was a great refresher as someone who once liked math but hasn't done much of it in ~20 years :) I had seen the blog …
chubot on Hacker News · 2020-08
In Formulog: ML + Datalog + SMTOr ideas in general, should we ever gate keep the dissemination of ideas and knowledge? Innovation is more likely to occur when people cross disciplines and they can only do that if it is approachable, it is gradual and discoverable. Simple is hard, simplistic is …
seg_lol on Hacker News · 2020-10
In Programming language notation is a barrier to entry
Summaries, classifications and recommendation records are from the HackerTube source dataset. Read about this library and its limitations.