HackerTube
HomeLongsLikedHistoryWatch laterCategoriesPlaylistsSettings

"Programming Should Eat Itself" by Nada Amin

Strange Loop Conference3 HN recommenders · recommended in 3 months, 2015-2024
YouTube
43K views · 12 years ago · talk · evergreen

Nada Amin's Strange Loop talk on programming languages that build on themselves, centered on towers of interpreters and nestable interpretation in Scheme. She shows how interpreters can be stacked and collapsed.

HN recommends it as a quick, wonderful look at infinite towers of interpreters and what they make possible.

Compilers, interpreters & program analysisFunctional programmingProgramming language design#nadaamin#scheme#interpreters#metacircular#programminglanguages

5 comments from Hacker News

@freethejazz2024 · in “Explorative Programming”

Another take on non-linear explorational programming is Black, which is an extension of scheme. Different motivations, but you might find something interesting there. How I was exposed to it: ▶ this video

CitesView on HN
@Zambyte2023 · in “I have written a JVM in Rust”

This talk isn't about VMs, but it is about an infinite tower of interpreters. You may find it interesting: ▶ this video

RecommendsView on HN
@tosh2018 · in “Rich Hickey on the Power of Lisp REPLs (2015)”

> […] it is important to think broadly about the power of multiple sessions, even from the same user. At first we are talking about 2 sessions, for human and IDE. But it is quite common in rich Common Lisp IDEs like Lispworks for people to have multiple listener (REPL) sessions open at the same time (against the same runtime). You can launch long running processes that produce streaming output, switch to another listener and continue interaction and development, have separate listeners for separate contexts/state/command-history etc. There's a lot to Lisp development that's not RPC. And of course a socket REPL server could support multiple simultaneous users, where 'users' might be programs. > Have you ever worked with an environment like Lispworks or Allegro? If not, I would definitely recommend trying it. […] > link > link > Note multiple listeners, data inspectors and more. Maybe not the latest GUIs, but the capabilities should be a source of inspiration for any Clojure IDE. […] > Here's a wonderful demonstration of the power of nestability: > "Programming Should Eat Itself" by Nada Amin ▶ this video

RecommendsView on HN
@minsight2017 · in “Collapsing towers of interpreters [pdf]”

This is a very intereresting video featuring one of the authors (Nada Amin). Strangely enough, I watched it a few hours ago. It's a quick overview of the "tower of interpreters" idea and some possibilities that it brings. ▶ this video

RecommendsView on HN
@juliangamble2015 · in “An Incremental Approach to Compiler Construction (2006) [pdf]”

Nada Amin, who gave the keynote at Strange Loop in 2014 "Programming Should Eat Itself" ▶ this video has worked through the implementation link and provided the corresponding workshop documentation in her github account. link She's also been involved in contributing to the next generation Scala compiler (Dotty).

CitesView on HN
Lecture 1B | MIT 6.001 Structure and Interpretation, 198658:22

Lecture 1B | MIT 6.001 Structure and Interpretation, 1986

MIT OpenCourseWare
116K views • 17 years ago
"Unison: a new distributed programming language" by Paul Chiusano41:06

"Unison: a new distributed programming language" by Paul Chiusano

Strange Loop Conference
45K views • 7 years ago
Lecture 7A: Metacircular Evaluator, Part 11:24:38

Lecture 7A: Metacircular Evaluator, Part 1

MIT OpenCourseWare
32K views • 7 years ago
"Type-Driven Program Synthesis" by Nadia Polikarpova39:40

"Type-Driven Program Synthesis" by Nadia Polikarpova

Strange Loop Conference
15K views • 8 years ago
"Stop Writing Dead Programs" by Jack Rusher (Strange Loop 2022)43:04

"Stop Writing Dead Programs" by Jack Rusher (Strange Loop 2022)

Strange Loop Conference
468K views • 4 years ago
Lecture 7A | MIT 6.001 Structure and Interpretation, 19861:24:38

Lecture 7A | MIT 6.001 Structure and Interpretation, 1986

MIT OpenCourseWare
35K views • 17 years ago
"Pixie - A Lightweight Lisp with 'Magical' Powers" by Timothy Baldridge33:13

"Pixie - A Lightweight Lisp with 'Magical' Powers" by Timothy Baldridge

Strange Loop Conference
30K views • 11 years ago
"Propositions as Types" by Philip Wadler42:43

"Propositions as Types" by Philip Wadler

Strange Loop Conference
143K views • 11 years ago
William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]1:31:06

William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]

PapersWeLove
367K views • 9 years ago
Self and Self: Whys and Wherefores1:10:11

Self and Self: Whys and Wherefores

Stanford
30K views • 16 years ago
"Shen: A Sufficiently Advanced Lisp" by Aditya Siram40:20

"Shen: A Sufficiently Advanced Lisp" by Aditya Siram

Strange Loop Conference
26K views • 12 years ago
"Simple Made Easy" - Rich Hickey (2011)1:01:39

"Simple Made Easy" - Rich Hickey (2011)

Strange Loop Conference
219K views • 5 years ago
Lecture 1A | MIT 6.001 Structure and Interpretation, 19861:12:56

Lecture 1A | MIT 6.001 Structure and Interpretation, 1986

MIT OpenCourseWare
995K views • 17 years ago
Lecture 1A: Overview and Introduction to Lisp1:12:56

Lecture 1A: Overview and Introduction to Lisp

MIT OpenCourseWare
420K views • 7 years ago
Brian Beckman: Don't fear the Monad1:07:10

Brian Beckman: Don't fear the Monad

jasonofthel33t
415K views • 13 years ago
"How to Think about Parallel Programming: Not!" - Guy L. Steele Jr. (Strange Loop 2010)1:09:38

"How to Think about Parallel Programming: Not!" - Guy L. Steele Jr. (Strange Loop 2010)

Strange Loop Conference
9K views • 5 years ago
"Production Prolog" by Michael Hendricks39:58

"Production Prolog" by Michael Hendricks

Strange Loop Conference
58K views • 12 years ago
"Simple Made Easy" - Rich Hickey (2011)1:01:39

"Simple Made Easy" - Rich Hickey (2011)

ClojureTV
434K views • 5 years ago
"A Little Taste of Dependent Types" by David Christiansen38:36

"A Little Taste of Dependent Types" by David Christiansen

Strange Loop Conference
48K views • 8 years ago
"Outperforming Imperative with Pure Functional Languages" by Richard Feldman34:55

"Outperforming Imperative with Pure Functional Languages" by Richard Feldman

Strange Loop Conference
98K views • 5 years ago