Тёмный

"Strange Dreams of Stranger Loops" by Will Byrd 

Strange Loop Conference
Подписаться 83 тыс.
Просмотров 9 тыс.
50% 1
ВидеоПоделитьсяСкачатьДобавить в

Наука

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

 

29 окт 2024

Поделиться:

Ссылка:

Скачать:

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

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 19   
@nbme-answers
@nbme-answers 3 года назад
Thanks for sharing, Strange Loopers !
@WilliamEByrd
@WilliamEByrd 2 года назад
Thanks, Peter!
@joshuamunn9969
@joshuamunn9969 2 года назад
I did not come here expecting anything about Hofstadter, I am not disappointed!
@SimGunther
@SimGunther 3 года назад
2:20 It's supposed to be "When the going gets weird, the weird turn pro."
@WilliamEByrd
@WilliamEByrd 2 года назад
Good catch! Thank you!
@dalekman8945
@dalekman8945 2 года назад
Does anyone have a link to that "Monochrome in the night" song he was referencing?
@ryutenchi
@ryutenchi 2 года назад
ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-YJaJBlKGAUU.html found it after he mentioned it....it's a banger, props for the good reference!
@WilliamEByrd
@WilliamEByrd 2 года назад
The QuiPS and Mant Prizes: webyrd.net/mant.html webyrd.net/quips.html
@AustinHaas
@AustinHaas 3 года назад
Fantastic presentation.
@WilliamEByrd
@WilliamEByrd 2 года назад
Thanks, Austin! :)
@Perryman1138
@Perryman1138 3 года назад
Cool! Is anyone else struggling to find where the scheme for evalo is?
@HaydenDoingThings
@HaydenDoingThings 2 года назад
it's in faster-minikanren
@superscatboy
@superscatboy 3 года назад
fascinatingo
@WilliamEByrd
@WilliamEByrd 2 года назад
lolo
@garthgoldwater5256
@garthgoldwater5256 3 года назад
does anyone have a link to the danny at the grand canyon talk?
@WilliamEByrd
@WilliamEByrd 2 года назад
Here it is: ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-Kr3QDMkMGmQ.html The whole talk is worth watching! :)
@nbme-answers
@nbme-answers 3 года назад
19:06 what's the book, i wonder?
@silaspoulson9935
@silaspoulson9935 2 года назад
Probably *The Reasoned Schemer*
@WilliamEByrd
@WilliamEByrd 2 года назад
'The Reasoned Schemer', which introduces miniKanren.
Далее
"Incremental, zero-config Code Nav using stack graphs" by Douglas Creager
45:30
"Incremental, zero-config Code Nav using stack graphs" by Douglas Creager
Просмотров 8 тыс.
"Morel, a functional query language" by Julian Hyde
40:40
"Morel, a functional query language" by Julian Hyde
Просмотров 13 тыс.
SOUTH KOREA AND NORTH KOREA HOLD THEIR BREATH 🇰🇷 🇰🇵 #countryhumans
00:14
SOUTH KOREA AND NORTH KOREA HOLD THEIR BREATH 🇰🇷 🇰🇵 #countryhumans
Просмотров 2 млн
#JasonDeruloTV // Dress 👗 #GotPermissionToPost From @lirika.vesa #MakeMeHappy
00:39
#JasonDeruloTV // Dress 👗 #GotPermissionToPost From @lirika.vesa #MakeMeHappy
Просмотров 6 млн
Евгению Кузнецову нравится игра Павла Порядина, НО… #КХЛ #Спартак #СКА
00:21
Евгению Кузнецову нравится игра Павла Порядина, НО… #КХЛ #Спартак #СКА
Просмотров 100 тыс.
无意间发现了老公的小金库 #一键入戏
00:20
无意间发现了老公的小金库 #一键入戏
Просмотров 8 млн
"Systems that run forever self-heal and scale" by Joe Armstrong (2013)
1:10:23
"Systems that run forever self-heal and scale" by Joe Armstrong (2013)
Просмотров 75 тыс.
"Propositions as Types" by Philip Wadler
42:43
"Propositions as Types" by Philip Wadler
Просмотров 129 тыс.
Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
36:14
Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
Просмотров 7 тыс.
"From Geometry to Algebra and Back Again: 4000 Years of Papers" by Jack Rusher
31:35
"From Geometry to Algebra and Back Again: 4000 Years of Papers" by Jack Rusher
Просмотров 21 тыс.
"Outperforming Imperative with Pure Functional Languages" by Richard Feldman
34:55
"Outperforming Imperative with Pure Functional Languages" by Richard Feldman
Просмотров 89 тыс.
"Nim Nuggets: Systems Programming & Metaprogramming Magic" by Aditya Siram
41:55
"Nim Nuggets: Systems Programming & Metaprogramming Magic" by Aditya Siram
Просмотров 19 тыс.
"Functional distributed systems beyond request/response" by Melinda Lu
34:56
"Functional distributed systems beyond request/response" by Melinda Lu
Просмотров 21 тыс.
William E Byrd - Relational Interpreters, Program Synthesis, and Barliman - Code Mesh 2017
41:15
William E Byrd - Relational Interpreters, Program Synthesis, and Barliman - Code Mesh 2017
Просмотров 4,1 тыс.
"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)
Просмотров 8 тыс.
"Blueprints for a Universal Reasoning Machine" by Zenna Tavares (Strange Loop 2022)
45:32
"Blueprints for a Universal Reasoning Machine" by Zenna Tavares (Strange Loop 2022)
Просмотров 9 тыс.
Many people do not know the secret of the safety pin.
16:00
Many people do not know the secret of the safety pin.
Просмотров 427 тыс.
26 НОВЫХ ТОВАРОВ с Алиэкспресс, Новые Вещи От Которых Точно ОФИГЕЕШЬ + КОНКУРС
11:29
26 НОВЫХ ТОВАРОВ с Алиэкспресс, Новые Вещи От Которых Точно ОФИГЕЕШЬ + КОНКУРС
Просмотров 48 тыс.
Месяц c iPhone 16 Pro Max. Большой обзор и сравнение с 15 Pro Max
15:14
Месяц c iPhone 16 Pro Max. Большой обзор и сравнение с 15 Pro Max
Просмотров 50 тыс.
КУПИЛ И ПРОДАЛ WINDOWS-НОУТБУК после 11 лет на MACBOOK
32:59
КУПИЛ И ПРОДАЛ WINDOWS-НОУТБУК после 11 лет на MACBOOK
Просмотров 33 тыс.
with the power of denden it can turn into an iPhone #shorts
0:10
with the power of denden it can turn into an iPhone #shorts
Просмотров 3,4 млн
Гаджет из даркнета 📦
0:45
Гаджет из даркнета 📦
Просмотров 429 тыс.
Vivo X200 Pro Mini: ПЕРВЫЙ В РОССИИ! ПОДРОБНЫЙ РАЗБОР!
12:35
Vivo X200 Pro Mini: ПЕРВЫЙ В РОССИИ! ПОДРОБНЫЙ РАЗБОР!
Просмотров 22 тыс.