Size: a a a

Compiler Development

2020 April 19

AZ

Alexander Zaitsev in Compiler Development
Ioann_V
То есть, вот например, условынй @zamazan4ik меня сразу обосрал, когда узнал что мне что-то там предложили.
ох уж этот плохой @zamazan4ik
источник

I

Ioann_V in Compiler Development
Alexander Zaitsev
ох уж этот плохой @zamazan4ik
Ну, круто, что - повесь себе медальку. Как бы, респектово.
источник

AZ

Alexander Zaitsev in Compiler Development
Ioann_V
Ну, круто, что - повесь себе медальку. Как бы, респектово.
прошу личные вопросы решать не в этом чате. а здесь по существу общаться
источник

A

Anton in Compiler Development
Ioann_V
Да мне вообще тут самое главное, чтобы людям интересно было. Потому что я вот ни в одной книге, не читал, как грамотно параллелить алгоритмы, и какие то конкретные, сложные моменты. Как грамотно использовать Кеши процессора и руками выполнить автовекторизацию кода, AVX2, AVX 512
Потому что это сложно, многоступенчато и в одной книжке не опишешь. Вы в институте учились? На специалиированных направлениях подготовки этим темам начинают уделять внимание курса с 3го, с организации ЭВМ и подходя к параллельным вычислениям. Есть "ключевые" авторы (сходу назову только наших), которые толково излагают предмет: Корнеев, Воеводин, Володин, Якобовский.
Вот можно взглянуть например на литературу к тому курсу, который Якобовский читает в МГУ:
http://lira.imamod.ru/stu2015/20150215_lit.html

Так вот. Я очень сомневаюсь, что получится недилетантский труд у вас. Шибко сложно
источник

AG

Alex Gryzlov in Compiler Development
Dmitry Ponyatov
или наоборот Coq, Idris, или как там называется система, в которой можно трассировать в типа отладчике логический вывод, и крутить всякие формальные системы, и разгребать пачки значков убивающих мозг на второй странице?
а почему "наоборот"?
источник

A

Anton in Compiler Development
Anton
Потому что это сложно, многоступенчато и в одной книжке не опишешь. Вы в институте учились? На специалиированных направлениях подготовки этим темам начинают уделять внимание курса с 3го, с организации ЭВМ и подходя к параллельным вычислениям. Есть "ключевые" авторы (сходу назову только наших), которые толково излагают предмет: Корнеев, Воеводин, Володин, Якобовский.
Вот можно взглянуть например на литературу к тому курсу, который Якобовский читает в МГУ:
http://lira.imamod.ru/stu2015/20150215_lit.html

Так вот. Я очень сомневаюсь, что получится недилетантский труд у вас. Шибко сложно
Если посчитаете, что напишите не хуже них - велком!
источник

ИЧ

Илья Чистяков in Compiler Development
я бы голосовалку создал, есть ли вообще здесь кто-то, кому приходится сортировку делать на условном GPU, и есть ли с этим трудности
источник

МБ

Михаил Бахтерев in Compiler Development
Илья Чистяков
я бы голосовалку создал, есть ли вообще здесь кто-то, кому приходится сортировку делать на условном GPU, и есть ли с этим трудности
Есть, есть.
источник

I

Ioann_V in Compiler Development
Anton
Потому что это сложно, многоступенчато и в одной книжке не опишешь. Вы в институте учились? На специалиированных направлениях подготовки этим темам начинают уделять внимание курса с 3го, с организации ЭВМ и подходя к параллельным вычислениям. Есть "ключевые" авторы (сходу назову только наших), которые толково излагают предмет: Корнеев, Воеводин, Володин, Якобовский.
Вот можно взглянуть например на литературу к тому курсу, который Якобовский читает в МГУ:
http://lira.imamod.ru/stu2015/20150215_lit.html

Так вот. Я очень сомневаюсь, что получится недилетантский труд у вас. Шибко сложно
Я согласен что сложно, совершенно согласен. Поэтому и переживаю, как бы коту под хвост не пошел. То что там издатель мутит - для меня, просто возможность чай попить, тут главное, не пропадет ли труд даром. Ладно, спасибо большое, голосовалку устрою, в своем бложике уж. Тут она пропадет, а запинить не дадут.
источник

DP

Dmitry Ponyatov in Compiler Development
Alex Gryzlov
а почему "наоборот"?
упорото-практическая низкоуровневая компиляция vs абстрактные символьные вычисления
источник

ИЧ

Илья Чистяков in Compiler Development
можно подробности? если не секрет

в играх например с этим особо не заморачиваются, просто делят разные потоки обработки по ядрам и всё
источник

A

Alex Ф-ф-фэils!🌠︙ in Compiler Development
Dmitry Ponyatov
упорото-практическая низкоуровневая компиляция vs абстрактные символьные вычисления
как вообще связаны идрис и сортировка на GPU?
источник

AG

Alex Gryzlov in Compiler Development
Dmitry Ponyatov
упорото-практическая низкоуровневая компиляция vs абстрактные символьные вычисления
но ведь упоротость в расте достигается специализированной версией тех же самых символьных вычислений
источник

ИЧ

Илья Чистяков in Compiler Development
Alex Ф-ф-фэils!🌠︙
как вообще связаны идрис и сортировка на GPU?
вообще GPU это же чистые функции, и круто подходит ФЯ, можно транслятор заюзать)
источник

I

Ioann_V in Compiler Development
Илья Чистяков
можно подробности? если не секрет

в играх например с этим особо не заморачиваются, просто делят разные потоки обработки по ядрам и всё
Ну на разных архитектурах себя по разному ведет. Например, на A7 процессоре от Apple, выполня в одном потоке вычисления, в другом рендер - можно получить просадку вычислений раза так в два.
источник

DP

Dmitry Ponyatov in Compiler Development
Alex Gryzlov
но ведь упоротость в расте достигается специализированной версией тех же самых символьных вычислений
специализированный в форму готового черного ящика, для использования которого не приходится обмазываться CSP, pi- и лябда-исчислением, теорией категорий, предикатной алгеброй, и т.п.
источник

I

Ioann_V in Compiler Development
Это связано с особенностью архитектуры этого конкретного, пусть и старого(Айфон 5S) процессора
источник

ЗП

Зигохистоморфный Препроморфизм in Compiler Development
Dmitry Ponyatov
специализированный в форму готового черного ящика, для использования которого не приходится обмазываться CSP, pi- и лябда-исчислением, теорией категорий, предикатной алгеброй, и т.п.
Не обманывайтесь, а просто используйте)
источник

SS

Sergey Sverdlov in Compiler Development
Ioann_V
Ребят, а скжите пожалуйста, вот чего. Мне тут на днях, написали из издательства книжного - мол, попробовать свои силы. Вам тема оптимизации современных алгоритмов(именно оптимизации + многопоточности и фишек процессоров) интересна вообще? Я в мире книг - noname, да и в жизни наверное тоже. Вы бы стали покупать книгу ценой, скажем 1 200рублей за 300+ страниц за авторством Васи Пупкина(но я то нет...)? Вот такой странный вопрос. Спрашиваю, интереса ради. Почитать кто я - можно у меня в bio.
Книга - это очень, очень трудоемкое дело. Ни о какой монетизации в этом жанре речи быть не может. Издательство
вас просто ограбит. Если книга окажется в самом деле хорошей, то, я полагаю, купят - сарафанное радио сработает, даже если noname.
источник

TC

Tom Cauf in Compiler Development
Sergey Sverdlov
Книга - это очень, очень трудоемкое дело. Ни о какой монетизации в этом жанре речи быть не может. Издательство
вас просто ограбит. Если книга окажется в самом деле хорошей, то, я полагаю, купят - сарафанное радио сработает, даже если noname.
Вот и пиши после этого нонфикшен
источник