Отчет с завтрака с Чарльзом Уэзереллом, автором культовой книги «Этюды для программистов»

[dom3d]

Два гения собрались!
Как можно за 4 часа обсудить столько тем.

[Serge_V]

Оказывается, вот для чего Юра у меня книжку одолжил.
Классный автограф, спасибо!

[old_bear]

И всё же вы форменный маньяк.
P.S. Побольше бы таких.

[WizardryIB]

Спасибо. Ваше мнение по возможности продвижения обучения TLA+ в университетских\околопрограммных средах?

[YuriPanchul]

Я не работал с TLA+, но я работал и работаю с SVA (SystemVerilog assertions) там тоже темпоральный язык («если в некоем цикле то-то и то-то произойдет, то в течение 3-5 циклов нужно ждать такое-то событие») и софтвер для формального доказательства свойств кода на уровне регистровых передач. Это можно внедрить в курс hardware register transfer level verification как часть курса digital design. Нужда индустрии, в том числе российской, в этом есть.

[nckma]

По поводу игр на FPGA вот, такие темы могут быть:
1) Игра River Raid: habr.com/ru/post/313092
2) Игра Жизнь: habr.com/ru/post/282722
3) Игра теннис: marsohod.org/projects/plata1/7-videogametennis
4) Игра питон: marsohod.org/projects/plata1/151-snake
из чего-то совсем простого Волк-Коза-Капуста:
marsohod.org/projects/plata1/70-koza

[demsp]

Оффтоп

Игры Питон, Тетрис, Жизнь можно реализовать на LED-матрице

[third112]

«Этюды для программистов» — великая книга по содержанию и уникальная по форме (я воспользовался этой формой). Было бы очень интересно, если бы Чарльз Уэзерелл написал на Хабр статью и ответил на вопросы Хабровчан — благо теперь на Хабре можно писать и на английском. Из перечисленных тем, мне особо интересной показалась:

Неэффективность нейросетей и незаслуженно забытый язык Prolog.

Спасибо за интересный Отчет и респект Чарльзу!

[Lampadov]

Это будет проходить в самом МИЭТ? Или где-то в Зеленограде? Интересуется студент, если что!)

[YuriPanchul]

В смысле летняя школа в МИЭТ (Чарльз Уэзерелл на нее пока не планирует)? В посте есть ссылка bit.ly/miet-summer-school-2019

[Gottlieb_27]

Спасибо за интересный отчет!
Были бы рады видеть Чарльза Уэзерелла в МИЭМ НИУ ВШЭ.)

[gul_kiev]

Надо же. В моём сознании Уэзеррел стоит в одном ряду с Кнутом, Дейкстрой, Виртом, Керниганом… Потому что в далёких 80-х, когда мы ещё учились в школе, а компьютеры и программирование были совсем другими, его книжка уже была классикой.
А на фотке он не выглядит таким уж древним.

[YuriPanchul]

Ты знаешь, Гуля, я тоже был удивлен. У него очень живое, подвижное мышление, как у 30-летнего. И хранящая многие подробности память.

[vadimr]

.

[gul_kiev]

Вот сейчас почему-то вспомнил.
Интересно, он в курсе, что предлагавшееся им в книжке решение для расшифровки текста неправильное и не работает? Об этом была "партия переводчика" в русском переводе (который ты держишь на фотке), но я не удивлюсь, если автор об этом не знает.

[YuriPanchul]

Ну ты напиши ему на английском что к чему, вот его контактная информация https://www.linkedin.com/in/charles-wetherell-4b0a714/overlay/contact-info/