Size: a a a

Compiler Development

2020 May 26

МБ

Михаил Бахтерев... in Compiler Development
Alexander Zaitsev
мне Chandler Caruth как-то рассказывал, что веса, которые внутри есть, они с помощью ML на какой-то выборке проектов и подбирали :) а сейчас каждый сможет нормально так делать под своё приложение, надеюсь
Можно ли где-нибудь узнать о списке этих весов? Что конкретно так настраивают?
источник

BD

Berkus Decker in Compiler Development
Михаил Бахтерев
Можно ли где-нибудь узнать о списке этих весов? Что конкретно так настраивают?
в сорцах llvm
эмпирические коэффициенты для тюнинга оптимизатора
источник

M

MaxGraey in Compiler Development
Мне кажется что ML для таких вещей оверинженеринг. Проще найти минимум через градиентный спуск (хотя надо быть аккуратным с выбором начального шага). С таким подходом можно даже это делать и в самом компиляторе в каком нибудь режиме —converge и автотюнинговать таким образом под конкретную кодовую базу
источник

МБ

Михаил Бахтерев... in Compiler Development
MaxGraey
Мне кажется что ML для таких вещей оверинженеринг. Проще найти минимум через градиентный спуск (хотя надо быть аккуратным с выбором начального шага). С таким подходом можно даже это делать и в самом компиляторе в каком нибудь режиме —converge и автотюнинговать таким образом под конкретную кодовую базу
Так это и есть ML :)
источник

M

MaxGraey in Compiler Development
лишь небольшая его часть)
источник

AZ

Alexander Zaitsev in Compiler Development
ну... небольшая часть таки ML является. хз, чего тут спорить
источник

E

Eugene in Compiler Development
если так рассуждать, то и поиск корней методом Ньютона тоже ну очень маленькая часть ML?
источник

AZ

Alexander Zaitsev in Compiler Development
ну да
источник

E

Eugene in Compiler Development
а где же здесь обучение машины?
источник

E

Eugene in Compiler Development
так вы дойдёте до того, что тут тоже машинное обучение:
https://www.youtube.com/watch?v=EIEOGoBA4FA
источник

AB

Artöm Bakri Al-Sarmi... in Compiler Development
Alexander Zaitsev
мне Chandler Caruth как-то рассказывал, что веса, которые внутри есть, они с помощью ML на какой-то выборке проектов и подбирали :) а сейчас каждый сможет нормально так делать под своё приложение, надеюсь
На какой-то конференции с ним общался?
источник

AZ

Alexander Zaitsev in Compiler Development
Artöm Bakri Al-Sarmini
На какой-то конференции с ним общался?
да. на CppCon
источник

EM

Evgenii Moiseenko in Compiler Development
Аналоговый компьютер!
источник

E

Eugene in Compiler Development
Evgenii Moiseenko
Аналоговый компьютер!
источник

EM

Evgenii Moiseenko in Compiler Development
Это уже пруф ассистант
источник

А

Алексей ayaye :)... in Compiler Development
да ну, это даже не тестирование :)
источник
2020 May 27

AZ

Alexander Zaitsev in Compiler Development
источник

PS

Peter Sovietov in Compiler Development
Я правильно понимаю, что OcamlLex/Menhir — самый лучший генератор парсеров для Ocaml?
источник

AG

Alex Gryzlov in Compiler Development
а там еще какие то есть? :)
источник

PS

Peter Sovietov in Compiler Development
Alex Gryzlov
а там еще какие то есть? :)
Ok, так и запишем! :)
В Menhir есть очень хорошая штука под названием %inline. Сталкивались? Мне интересно, откуда авторы ее позаимствовали :)
источник