These are chat archives for DevZenRu/live

8th
Aug 2020
ivanovivan-k
@ivanovivan-k
Aug 08 19:35 UTC
Привет. Слушают.
Nick Linker
@nlinker
Aug 08 19:36 UTC
Привет, с юбилеем вас!
Давно не слушал, уже 300й выпуск, подумать только!
Nick Linker
@nlinker
Aug 08 19:46 UTC
Автомобили -- лучшие "друзья" велосипедиста.
Ура, ICFPC!!!
Anatoly Milkov
@anatolym
Aug 08 19:50 UTC
Привет из онлайна. Можно ещё два слова сказать, что такое ICFPC (успелось забыть).
Ivan Glushkov
@gliush
Aug 08 19:51 UTC
задавайте вопросы, если что
Alexey Kirpichnikov
@beevee
Aug 08 20:00 UTC

Привет из онлайна. Можно ещё два слова сказать, что такое ICFPC (успелось забыть).

Это ежегодный 72-часовой контест для программистов, приуроченный к конференции по функциональному программированию

Anatoly Milkov
@anatolym
Aug 08 20:01 UTC
Пасиб!
DevZen Bot
@devzenbot
Aug 08 20:03 UTC
ICFPC - организаторы 2020 в прямом эфире
https://twitter.com/xoposhiy
http://t.me/xoposhiy
https://github.com/beevee
http://t.me/beevee_ru
Nick Linker
@nlinker
Aug 08 20:14 UTC
А индексы ДеБрейна (DeBrujin) не помогают разрешить проблему переименования аргументов?
Ivan Glushkov
@gliush
Aug 08 20:15 UTC
нет, нет, не буду задавать подобные вопросы, хочу больше про конференцию, чем про сложности лямбда исчесления :)
Alexey Kirpichnikov
@beevee
Aug 08 20:15 UTC

А индексы ДеБрейна (DeBrujin) не помогают разрешить проблему переименования аргументов?

мы можем бесконечно на эту тему разговаривать, хаха

↑ вот эта книга
Ivan Glushkov
@gliush
Aug 08 20:18 UTC
отлично, добавлю в шоуноты
Alexey Kirpichnikov
@beevee
Aug 08 20:18 UTC
1987 год, между прочим :)
Alexey Kirpichnikov
@beevee
Aug 08 20:30 UTC

https://message-from-space.readthedocs.io/en/latest/radio-transmission-recording.html

↑ WAV-файл с первой картинкой и его расшифровка

Alexey Kirpichnikov
@beevee
Aug 08 20:46 UTC

https://message-from-space.readthedocs.io/en/latest/message18.html

↑ S-комбинатор, например

https://message-from-space.readthedocs.io/en/latest/message32.html

↑ команда, которая рисует точку на экране

https://message-from-space.readthedocs.io/en/latest/message38.html

↑ протокол взаимодействия с компьютером (это вынос мозга, я гарантирую — некоторые участники до сих пор не понимают, как это работает)

Alexey Kirpichnikov
@beevee
Aug 08 20:52 UTC

https://message-from-space.readthedocs.io/en/latest/message25.html

↑ это списки, как их инопланетяне себе представляют

https://en.wikipedia.org/wiki/Church_encoding#Church_pairs

↑ а это как Черч его себе представляет

Alexey Kirpichnikov
@beevee
Aug 08 21:17 UTC

https://youtu.be/Jfd20wOImnI

↑ первая часть видеокурса о тонкостях реализации виртуальных машин. Оцените качество видеопродакшена :) Мы вложили много сил!

Alexey Kirpichnikov
@beevee
Aug 08 21:22 UTC

https://adventofcode.com/2019/day/6

↑ шестой день Advent of Code, про странную гравитацию

https://twitter.com/i/status/1285153748877225984

↑ видео, как выглядят наши планетарные войны

DevZen Bot
@devzenbot
Aug 08 22:07 UTC
Геймзен: HZD вышел на PC, но порт так себе
https://youtu.be/7w-pZm7Zay4
Alexey Kirpichnikov
@beevee
Aug 08 22:23 UTC
Спасибо, что пришли послушать!