Size: a a a

Compiler Development

2020 May 07

AT

Alexander Tchitchigi... in Compiler Development
Peter Sovietov
Flix — забавный результат скрещивания Scala и Datalog. С одной стороны, вроде бы есть доп. удобства для компиляторщиков. А с другой — несложно ведь и сторонний решатель выбрать по вкусу.

С языками — как с худ. литературой. Редкий случай, когда хороший роман получается на основе механистично-комбинаторного подхода. Да и кулинарией примерно так же — берешь по отдельности хорошие вкусные вещи, сливаешь все в кастрюлю, а результат почему-то получается гадкий.
Знаете, если бы Вы были успешным или хотя бы признанным романистом или шеф-поваром, я бы, возможно, Вам и поверил... 😉
источник

AT

Alexander Tchitchigi... in Compiler Development
При всём уважении, мне кажется, Вы слишком быстро высказали суждение по слишком многим вопросам в одном сообщении.
источник

МБ

Михаил Бахтерев... in Compiler Development
MaxGraey
Пора бы уже что то практичное в области π-исчислений сделать. А то все фунциональшина с линейными типами, функциональщина с завтипами. Уже никого этой функциональщиной не удивишь)
+1
источник

МБ

Михаил Бахтерев... in Compiler Development
Кстати, мы упускаем тему компиляции для квантовых компьютеров
источник

МБ

Михаил Бахтерев... in Compiler Development
Переслано от Nick Ivanych
;-)
DisCoPy: Monoidal Categories in Python
Giovanni de Felice, Alexis Toumi, Bob Coecke
https://arxiv.org/abs/2005.02975
We introduce DisCoPy, an open source toolbox for computing with monoidal categories.
The library provides an intuitive syntax for defining string diagrams and monoidal functors.
Its modularity allows the efficient implementation of computational experiments in the various applications of category theory where diagrams have become a lingua franca.
As an example, we used DisCoPy to perform natural language processing on quantum hardware for the first time.
#paper
источник

PS

Peter Sovietov in Compiler Development
Alexander Tchitchigin
При всём уважении, мне кажется, Вы слишком быстро высказали суждение по слишком многим вопросам в одном сообщении.
Что же теперь вообще не писать в чат? Лучше я напишу, а старшие товарищи меня поправят, укажут, где я неправ :)
источник

PS

Peter Sovietov in Compiler Development
Михаил Бахтерев
Кстати, мы упускаем тему компиляции для квантовых компьютеров
Я с беспокойством слежу за выходом статей. А их все больше. "Еще и в это придется погружаться!"
источник

AT

Alexander Tchitchigi... in Compiler Development
Peter Sovietov
Что же теперь вообще не писать в чат? Лучше я напишу, а старшие товарищи меня поправят, укажут, где я неправ :)
Но старшие что-то молчат, а Вы нам младшим не лучший пример подали в этот раз... Пожалуйста, исправьтесь — очень Вас просим. 😊
источник

AT

Alexander Tchitchigi... in Compiler Development
Михаил Бахтерев
Кстати, мы упускаем тему компиляции для квантовых компьютеров
Я лично рассчитываю на вас, категорщиков, что вы предоставите подходящие модели квантовых вычислений, а мы потом просто compile to categories. 😉
источник

PS

Peter Sovietov in Compiler Development
Михаил Бахтерев
Кстати, мы упускаем тему компиляции для квантовых компьютеров
Verified Optimization in a Quantum Intermediate Representation
A Verified Optimizer for Quantum Circuits
Domain-Specific Compilers for Dynamic Simulations of Quantum Materials on Quantum Computers
Formal constraint-based compilation for noisy intermediate-scale quantum systems
...
Может подождать, и оно само рассосется, как блокчейны? %)
источник

МБ

Михаил Бахтерев... in Compiler Development
Так они уже представлены. Ссылка как раз на это
источник

МБ

Михаил Бахтерев... in Compiler Development
Peter Sovietov
Verified Optimization in a Quantum Intermediate Representation
A Verified Optimizer for Quantum Circuits
Domain-Specific Compilers for Dynamic Simulations of Quantum Materials on Quantum Computers
Formal constraint-based compilation for noisy intermediate-scale quantum systems
...
Может подождать, и оно само рассосется, как блокчейны? %)
Вряд ли. Но, похоже, всё реализуется в виде сэмплирования для задач машинного обучения
источник

МБ

Михаил Бахтерев... in Compiler Development
Но, всё равно, интересно же
источник

А

Алексей in Compiler Development
Alexander Tchitchigin
Знаете, если бы Вы были успешным или хотя бы признанным романистом или шеф-поваром, я бы, возможно, Вам и поверил... 😉
"сперва добейся"
источник

AT

Alexander Tchitchigi... in Compiler Development
Алексей
"сперва добейся"
Если уж не хочешь развёрнуто аргументрировать свою позицию, то да, хотя бы добейся сперва чего-то. 🤷‍♀️
источник

KR

K R in Compiler Development
Peter Sovietov
ИИ хорош тем, что о нем можно часами рассуждать безо всякой практической пользы :)

А мне вот интереснее, почему уже немодно проектировать выскоуровневые ЯП. Новые многочисленные улучшенные варианты C/C++, Go и проч. это и близко не уровень стареньких APL, SETL, SNOBOL, Prolog... А ведь это тоже скромный, но путь к автоматизации программирования.
Я думаю, что:

1. По классикам зарплата программистов, как и другого пролетариата, падает => их можно нанимать больше и больше. Собственно, вы можете это видеть по пропихиванию Питона в финтех со сложной бизнес-логикой.

2. Как писал Саттер в 2005 Free lunch is over - однопоточное быстродействие очень давно не растёт, и некоторые даже стали об этом догадываться.
источник

KR

K R in Compiler Development
Михаил Бахтерев
Вряд ли. Но, похоже, всё реализуется в виде сэмплирования для задач машинного обучения
Но это аналоговый квантовый компьютер. Где там место для компиляции?
источник

M

MaxGraey in Compiler Development
2. Как бы да. тепловыделение + предел техпроцесса там вроде 2-3 нанометра, конечно можно делать многослойно, но там наводки будут возникать + очень затратно все это становиться и проще оптимизировать конвеер, добавлять расширенные команды ну и увеличивать колличество ядер
источник

KR

K R in Compiler Development
У меня просто результат многолетнего эксперимента - я иногда работаю на Thinkpad t61 то ли 2008, то ли 2007 года. Да, он медленнее, но не критично медленнее современного Mac Book PRO.
источник

А

Алексей ayaye :)... in Compiler Development
K R
У меня просто результат многолетнего эксперимента - я иногда работаю на Thinkpad t61 то ли 2008, то ли 2007 года. Да, он медленнее, но не критично медленнее современного Mac Book PRO.
если ssd поставить, вообще огонь. только сайты на js его убивают
источник