Size: a a a

Compiler Development

2020 January 26

AT

Alexander Tchitchigin in Compiler Development
Алексей
звучит как магия
То, что оно реально работает, математически 100% обосновано и уже сейчас очень здорово автоматизировано (в виде R-библиотек) - вообще крышу сносит! 😃
источник

AT

Alexander Tchitchigin in Compiler Development
Михаил Бахтерев
Ну, я, собственно, о том же.
🤝
источник

МБ

Михаил Бахтерев in Compiler Development
Кстати. Это не offtopic, потому что применяется в Church и WebPPL
источник

AT

Alexander Tchitchigin in Compiler Development
Михаил Бахтерев
Кстати. Это не offtopic, потому что применяется в Church и WebPPL
Это нужно было уточнять когда мы начали дискуссию, а не после того, как закончили. 😉
источник

IK

Ivan Kochurkin in Compiler Development
Alexander Tchitchigin
Подозреваю, что принципиальных нет - только технические (мощностей маловато, ещё недостаточно времени ушло на сбор примеров и тренировку) и юридические.
Как ни прискорбно, но эту задачу решат тупо на свёрточных неронках.
Скорее новые железки подвезут: https://habr.com/en/post/455353/ Нужно больше неточных, но более быстрых вычислений.
источник

IK

Ivan Kochurkin in Compiler Development
Alexander Tchitchigin
То, что оно реально работает, математически 100% обосновано и уже сейчас очень здорово автоматизировано (в виде R-библиотек) - вообще крышу сносит! 😃
Где можно посмотреть на крышесноящие вещи? 😊
источник

AT

Alexander Tchitchigin in Compiler Development
Да, я это и имел в виду. Ещё одно-два поколения железа + сбор данных и обучение в течение этого времени - и вопрос self-driving cars по сути закроют. Принципиально новых архитектур ML не потребуется.
источник

AT

Alexander Tchitchigin in Compiler Development
Ivan Kochurkin
Где можно посмотреть на крышесноящие вещи? 😊
Как уже писал - книги, статьи и доклады Judea Pearl. 🤷‍♀️
источник

МБ

Михаил Бахтерев in Compiler Development
Alexander Tchitchigin
Да, я это и имел в виду. Ещё одно-два поколения железа + сбор данных и обучение в течение этого времени - и вопрос self-driving cars по сути закроют. Принципиально новых архитектур ML не потребуется.
Не взлетит, imho. Нейронки слишком чувствительны к шумам. В ясную погоду смогут ездить, а в дождь, снег, грязь - сомнительно. Другие методы нужны
источник

AT

Alexander Tchitchigin in Compiler Development
Михаил Бахтерев
Не взлетит, imho. Нейронки слишком чувствительны к шумам. В ясную погоду смогут ездить, а в дождь, снег, грязь - сомнительно. Другие методы нужны
Они же не на одно только оптическое распознавание ориентируются. Там лидары - большой бизнес в этой отрасли.
источник

AT

Alexander Tchitchigin in Compiler Development
Совершенно не удивлюсь, если законодательство пойдёт навстречу и в части встраивания спец. меток (электронных wireless) в знаки дорожного движения именно для self-driving cars.
источник

AT

Alexander Tchitchigin in Compiler Development
Будет супер смешно, если знаки вообще заменят на QR-коды. 😂
источник

AV

Alexander Vershilov in Compiler Development
Михаил Бахтерев
India же... При всём уважении, но переписывать indie-код - это особый вид bdsm. Вот куда Haskell надо завезти
Не надо
источник

МБ

Михаил Бахтерев in Compiler Development
Alexander Tchitchigin
Они же не на одно только оптическое распознавание ориентируются. Там лидары - большой бизнес в этой отрасли.
Да. Но у лидаров тоже ошибки бывают. Они конечно усредняют всё по нескольким кадрам, ждут уверенного распознавания, но ошибки бывают. И главный вопрос: кто за ошибку ответит, если за рулём нет водителя?
источник

AT

Alexander Tchitchigin in Compiler Development
Михаил Бахтерев
Да. Но у лидаров тоже ошибки бывают. Они конечно усредняют всё по нескольким кадрам, ждут уверенного распознавания, но ошибки бывают. И главный вопрос: кто за ошибку ответит, если за рулём нет водителя?
Это всего лишь вопрос юриспруденции и политики. И его решат как и великое множество предыдущих вопросов. 🤷‍♀️
источник

IK

Ivan Kochurkin in Compiler Development
Хотел продолжить беседу на тем машинного обучения, но подумал, что уже совсем оффтоп)
источник
2020 January 27

VK

Vladimir Kazanov in Compiler Development
Антон ⚙️
Семантика C определена в терминах абстрактной машины, которая с современными компьютерами имеет мало общего
Семантика современных процессоров практически специально под си делается.:-)  кстати, где-то нашлось строгое описание абстрактной машины  Си? :-)
источник

M

MaxGraey in Compiler Development
Vladimir Kazanov
Семантика современных процессоров практически специально под си делается.:-)  кстати, где-то нашлось строгое описание абстрактной машины  Си? :-)
а не наоборот?) может это си просто максимально был приближен к ISA? long jump-ы, goto и в первых версиях Си даже небыло структур и процедур =)
источник

VK

Vladimir Kazanov in Compiler Development
MaxGraey
а не наоборот?) может это си просто максимально был приближен к ISA? long jump-ы, goto и в первых версиях Си даже небыло структур и процедур =)
Это история взаимного влияния:-)
источник

BD

Berkus Decker in Compiler Development
Vladimir Kazanov
Семантика современных процессоров практически специально под си делается.:-)  кстати, где-то нашлось строгое описание абстрактной машины  Си? :-)
вот взять, например, jazelle
источник