В три последние играл, очень рекомендую, они еще и эстетически обалденны. Кстати, разница между Human Resource Machine и 7 Billion Humans в том, что первый однопоточный (см. на картинке - один человечек), а второй на акторах с одной программой.
Но! С другой стороны, есть огромная разница, беспомощно барахтаться на граблях в одиночку, или обходить грабли под руководством наставника. Так что, Юрий, примите моё восхищение в очередной раз!
Дааа, мелкие пакостники должны страдать. Монструозные тулчейны, переходные процессы, дребезг, капризные программаторы, так себе языки (да, и SystemVerilog тоже, Chisel не убогий, но там надо Scala сначала учить). И это еще в предположении что у нас хороший devboard, с документацией и защитой от дурака. Мозголомная параллельная семантика на фоне всего этого просто уходит на третий план, с ней то заинтересованный ребёнок возможно справится получше взрослого.
В Steam-е есть симуляторы, но не богато, SHENZHEN I/O например, но тут увы, железяку руками не помнёшь. Вот если бы был полностью программный симулятор платы, с возможностью докупить и подсунуть плату реальную, да по вайфаю, что-то типа Flipper-а, но с доступной ПЛИС и видеосенсором...
Экосистемы типа Ардуино нет, я в своё время с интересом следил за Pappilio, но оно похоже сдохло.
Поточечная `a + b * c` - это комбинация (фьюжн) поточечных `+` и `*`, это не перемножение матриц и не редукция ( мы тут программисты и "произведение Адамара" умножением матриц не называем ).
dot product - редукция. это не поточечная операция.
Не все фьюжны операторов так же просты, как в случае с поэлементными операторами. Поэлементные операторы можно «сфьюзить», превратив их в редукцию (reduction) или в умножение матриц. ориг:(You can fuse pointwise operators onto reductions, or pointwise operators onto matrix multiplication. )
Это автор что имел в виду, интересно? Пример бы.
Даже само умножение матриц можно рассматривать в качестве фьюзинга умножения с автоматическим расширением размерности и размеров массивов (broadcasting multiply) и редукции.
Сам Катманду, где имеется хоть какая-то скорость - крайне специфическое место. Когда его застилает дымка и смешивается со специфическим запахом местного фастфуда, помойки и сжигаемых во время церемонии трупов, нуу...это очень на любителя)
О! Стало понятно, почему для Непала "pollution_index = 84"
Но вообще да, автору бы следовало доказать, что он исключил все другие возможные причины. Типа где-то вкралась техническая поэлементная операция, реализованная через таблицу предпросмотра, - и появляется кеш с ключами по данным, одинаковые данные - нет промахов.
Интересно, там Макс Тегмарк в соавторах. Вот этот https://github.com/KindXiaoming/pykan/tree/master официальный? Разобраться бы, как они back propagation сделали, по моему опыту, немонотонные функции активации стандартными методами обучаются плохо.
«Математическая логика и автоматическое доказательство теорем» (авторы Ч.Чень и Р.Ли)
Весьма примечательная книга, штудировал (пытался) в аспирантуре, в библиотеке, потом с распечатки позже купил экземпляр у букиниста. Сейчас могу рекомендовать разве что первые главы, где собственно объясняется, как строить логический вывод (*) на теореме Эрбрана. Большая часть книги, - разбор алгоритмов и специальных техник, сейчас совершенно бесполезна: подход с ручной оптимизацией логического вывода себя не оправдал.
*в пропозициональной логике, вывод в алгебре высказываний, каковому учат на курсе дискретки, гораздо проще.
Собственно, о том автор статьи и пишет, если уж графовая структура в некой задаче вылезла, загнать её в шаблонное решение не всегда возможно, особенно если надо оптимизировать. И очень часто задачу удаётся свести к более простым структурам, хотя бы к деревьям.
В три последние играл, очень рекомендую, они еще и эстетически обалденны. Кстати, разница между Human Resource Machine и 7 Billion Humans в том, что первый однопоточный (см. на картинке - один человечек), а второй на акторах с одной программой.
Тени. Проекторы с разных точек - очень нетривиально совместить, будет слепить пользователей.
Обратная связь. Видеосъёмка + ML? Медленно и очень сложно.
А раньше по Италии ходил Моццикони, окурки подбирал и докуривал. Вот он бы этому роботу навалял.
Кастомный маг с Incarnation и Water Walking, и стратегия превращается в квест, а потом в Idle Clicker.
Тут в 2007 @alizar рекламировал "Об Интеллекте" ( Джефф Хокинс предлагает программировать неокортекс для ИИ / Хабр (habr.com) ), я с воодушевлением прочитал, потом с интересом мониторил новости по HTM и Numenta, ждал демонстрашки... А дождался новой книги.
Но! С другой стороны, есть огромная разница, беспомощно барахтаться на граблях в одиночку, или обходить грабли под руководством наставника. Так что, Юрий, примите моё восхищение в очередной раз!
Дааа, мелкие пакостники должны страдать. Монструозные тулчейны, переходные процессы, дребезг, капризные программаторы, так себе языки (да, и SystemVerilog тоже, Chisel не убогий, но там надо Scala сначала учить). И это еще в предположении что у нас хороший devboard, с документацией и защитой от дурака. Мозголомная параллельная семантика на фоне всего этого просто уходит на третий план, с ней то заинтересованный ребёнок возможно справится получше взрослого.
В Steam-е есть симуляторы, но не богато, SHENZHEN I/O например, но тут увы, железяку руками не помнёшь. Вот если бы был полностью программный симулятор платы, с возможностью докупить и подсунуть плату реальную, да по вайфаю, что-то типа Flipper-а, но с доступной ПЛИС и видеосенсором...
Экосистемы типа Ардуино нет, я в своё время с интересом следил за Pappilio, но оно похоже сдохло.
Личку вы, похоже, не читаете, теперь пишу сюда, - он Гольдбах. Философ — Гольбах(d’Holbach), математик — Гольдбах(Goldbach).
Поточечная `a + b * c` - это комбинация (фьюжн) поточечных `+` и `*`, это не перемножение матриц и не редукция ( мы тут программисты и "произведение Адамара" умножением матриц не называем ).
dot product - редукция. это не поточечная операция.
Это автор что имел в виду, интересно? Пример бы.
Это понятно.
О! Стало понятно, почему для Непала "pollution_index = 84"
Значит, он не заглядывает внутрь тензоров.
Но вообще да, автору бы следовало доказать, что он исключил все другие возможные причины. Типа где-то вкралась техническая поэлементная операция, реализованная через таблицу предпросмотра, - и появляется кеш с ключами по данным, одинаковые данные - нет промахов.
Интересно, там Макс Тегмарк в соавторах. Вот этот https://github.com/KindXiaoming/pykan/tree/master официальный? Разобраться бы, как они back propagation сделали, по моему опыту, немонотонные функции активации стандартными методами обучаются плохо.
Еще "отмелькала".
А статью на эту тему? Вам реклама, клиентам ликбез, я бы почитал.
Разве такое нельзя исключать, хотя бы чтобы налог платить меньше?
Предлагаю послушать специалиста:
https://youtu.be/9BcX6O6DBOI?t=1020
Весьма примечательная книга, штудировал (пытался) в аспирантуре, в библиотеке, потом с распечатки позже купил экземпляр у букиниста. Сейчас могу рекомендовать разве что первые главы, где собственно объясняется, как строить логический вывод (*) на теореме Эрбрана. Большая часть книги, - разбор алгоритмов и специальных техник, сейчас совершенно бесполезна: подход с ручной оптимизацией логического вывода себя не оправдал.
*в пропозициональной логике, вывод в алгебре высказываний, каковому учат на курсе дискретки, гораздо проще.
Собственно, о том автор статьи и пишет, если уж графовая структура в некой задаче вылезла, загнать её в шаблонное решение не всегда возможно, особенно если надо оптимизировать. И очень часто задачу удаётся свести к более простым структурам, хотя бы к деревьям.