Invited Talk - Guy Steele
ClojureTV · 7 HN recommendations
Video Q&A
Ask AI to explain this scene or summarize the whole video. When an answer includes timestamps, select one to jump to that moment.
Try asking: What is the speaker explaining here?
Google sign-in is required. Review the maximum credit cost before confirming.
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.
Why HN recommends it: HN commenters recommend it whenever someone asks how to read type-system or CS notation in papers.
“Excellent talk by Guy Steele explaining the history of maths/comp notations” Read on HN ↗