Тёмный

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

PapersWeLove
Подписаться 21 тыс.
Просмотров 324 тыс.
50% 1

Meetup: bit.ly/2okyAH3
Audio: bit.ly/2qkAczZ
Sponsored and hosted by Two Sigma (@twosigma) and Chartbeat (@Chartbeat)
Description
------------------
William E. Byrd "explores what he considers to be the most beautiful program ever written---a Lisp interpreter written in Lisp---and a few of the many amazing ideas related to this metacircular interpreter."
References
- The Little Schemer by Daniel P. Friedman and Matthias Felleisen
- Essentials of Programming Languages by Daniel P. Friedman and Mitchell Wand
- John McCarthy's Recursive functions of symbolic expressions and their computation by machine, Part I
- LISP 1.5 Programmer's Manual by John McCarthy, Paul W. Abrahams, Daniel J. Edwards, Timothy P. Hart and Michael I. Levin (see especially page 13!)
- John McCarthy's A micro-manual for LISP - not the whole truth
- "Maxwell's equations of software" examined by Ken Shirriff
- Lisp as the Maxwell’s equations of software by Michael Nielsen
- miniKanren, live and untagged: quine generation via relational interpreters (programming pearl) by William E. Byrd, Eric Holk, and Daniel P. Friedman
- The Reflective Language Black by Asai, Kenichi
- Programming Should Eat Itself by Nada Amin, Strange Loop, 2014
Bio
-----
William E. Byrd (@webyrd) is a Research Assistant Professor in the School of Computing at the University of Utah. He is co-author of 'The Reasoned Schemer', and is co-designer of the miniKanren relational programming language. He loves StarCraft (BW & SC2). Ask him about the scanning tunneling microscope (STM) he is building.

Наука

Опубликовано:

 

23 май 2017

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии    
Далее
"Performance Matters" by Emery Berger
42:15
Просмотров 480 тыс.
"Propositions as Types" by Philip Wadler
42:43
Просмотров 126 тыс.
Alisha Lehmann joins Juventus Women 🤍🖤
00:16
Просмотров 1,2 млн
小天使和小丑离家出走#short #angel #clown
00:36
Hammock Driven Development - Rich Hickey
39:49
Просмотров 288 тыс.
What is the Curse of Lisp?
25:09
Просмотров 26 тыс.
Functional Design Patterns - Scott Wlaschin
1:05:50
Просмотров 292 тыс.