Comments 17
Два гения собрались!
Как можно за 4 часа обсудить столько тем.
Как можно за 4 часа обсудить столько тем.
UFO just landed and posted this here
Оказывается, вот для чего Юра у меня книжку одолжил.
Классный автограф, спасибо!
Классный автограф, спасибо!
И всё же вы форменный маньяк.
P.S. Побольше бы таких.
P.S. Побольше бы таких.
Спасибо. Ваше мнение по возможности продвижения обучения TLA+ в университетских\околопрограммных средах?
Я не работал с TLA+, но я работал и работаю с SVA (SystemVerilog assertions) там тоже темпоральный язык («если в некоем цикле то-то и то-то произойдет, то в течение 3-5 циклов нужно ждать такое-то событие») и софтвер для формального доказательства свойств кода на уровне регистровых передач. Это можно внедрить в курс hardware register transfer level verification как часть курса digital design. Нужда индустрии, в том числе российской, в этом есть.
По поводу игр на 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
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
«Этюды для программистов» — великая книга по содержанию и уникальная по форме (я воспользовался этой формой). Было бы очень интересно, если бы Чарльз Уэзерелл написал на Хабр статью и ответил на вопросы Хабровчан — благо теперь на Хабре можно писать и на английском. Из перечисленных тем, мне особо интересной показалась:
Спасибо за интересный Отчет и респект Чарльзу!
Неэффективность нейросетей и незаслуженно забытый язык Prolog.
Спасибо за интересный Отчет и респект Чарльзу!
Это будет проходить в самом МИЭТ? Или где-то в Зеленограде? Интересуется студент, если что!)
В смысле летняя школа в МИЭТ (Чарльз Уэзерелл на нее пока не планирует)? В посте есть ссылка bit.ly/miet-summer-school-2019
Спасибо за интересный отчет!
Были бы рады видеть Чарльза Уэзерелла в МИЭМ НИУ ВШЭ.)
Были бы рады видеть Чарльза Уэзерелла в МИЭМ НИУ ВШЭ.)
Надо же. В моём сознании Уэзеррел стоит в одном ряду с Кнутом, Дейкстрой, Виртом, Керниганом… Потому что в далёких 80-х, когда мы ещё учились в школе, а компьютеры и программирование были совсем другими, его книжка уже была классикой.
А на фотке он не выглядит таким уж древним.
А на фотке он не выглядит таким уж древним.
.
Вот сейчас почему-то вспомнил.
Интересно, он в курсе, что предлагавшееся им в книжке решение для расшифровки текста неправильное и не работает? Об этом была "партия переводчика" в русском переводе (который ты держишь на фотке), но я не удивлюсь, если автор об этом не знает.
Ну ты напиши ему на английском что к чему, вот его контактная информация https://www.linkedin.com/in/charles-wetherell-4b0a714/overlay/contact-info/
Sign up to leave a comment.
Отчет с завтрака с Чарльзом Уэзереллом, автором культовой книги «Этюды для программистов»