В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

771 membersпожаловаться на группу
2020 January 01

PS

Peter Sovietov in Compiler Development
Михаил Бахтерев
Да, но как на этом будут обычные приложения работать? Переучивать программистов под экзотичные языки, при чём, по языку на каждый процессор. Это разве норм?
Так программисты будут, в основном, писать для универсальных ядер, в духе того же RISC-V. На DSL/для DSA (криптография, разбор сетевых пакетов, обработка изображений,...),  будут писать системщики/эксперты в соотв. области.
источник
00:03пожаловаться#1

DP

Dmitry Ponyatov in Compiler Development
Михаил Бахтерев
Там нет никакой упоротой алгебры. Есть тьюринг-полное комбинаторное исчисление, из которого, кстати, стековые процессоры напрямую выводятся :)
Тьюринг-машина насколько помню ничего не упоминает про параллельность, или возможность нахождения одновременно в нескольких состояниях в рамках квантовлй запутанности, и кота Шредингера который зараза шампанское разлил
источник
00:03пожаловаться#2

МБ

Михаил Бахтерев in Compiler Development
Dmitry Ponyatov
Тьюринг-машина насколько помню ничего не упоминает про параллельность, или возможность нахождения одновременно в нескольких состояниях в рамках квантовлй запутанности, и кота Шредингера который зараза шампанское разлил
У МТ столько вариантов, что все не перечесть. Недерминированные МТ описывают квантовые компьютеры. Есть МТ с вероятностными переходами и т.д. и т.п. Математики в теме основательно поковырялись
источник
00:06пожаловаться#3

PS

Peter Sovietov in Compiler Development
Михаил Бахтерев
У МТ столько вариантов, что все не перечесть. Недерминированные МТ описывают квантовые компьютеры. Есть МТ с вероятностными переходами и т.д. и т.п. Математики в теме основательно поковырялись
Вы BQP с NP-полными задачами не спутали?
источник
00:08пожаловаться#4

МБ

Михаил Бахтерев in Compiler Development
Peter Sovietov
Так программисты будут, в основном, писать для универсальных ядер, в духе того же RISC-V. На DSL/для DSA (криптография, разбор сетевых пакетов, обработка изображений,...),  будут писать системщики/эксперты в соотв. области.
Это дорого всё. Нужно учитывать цену переобучения. Люди вообще ограничены в освоении языков. Думаю, больше 2-3 принципиально разных не освоить
источник
00:08пожаловаться#5

МБ

Михаил Бахтерев in Compiler Development
Peter Sovietov
Вы BQP с NP-полными задачами не спутали?
МммМм. Возможно. Но какие-то МТ описывают класс BQP.
источник
00:09пожаловаться#6

PS

Peter Sovietov in Compiler Development
Михаил Бахтерев
Это дорого всё. Нужно учитывать цену переобучения. Люди вообще ограничены в освоении языков. Думаю, больше 2-3 принципиально разных не освоить
Ценность еще и в том, что DSL-код, на практике, оказывается дольше живущим, чем GPL-код. Кроме того, я не говорю о каких-то фантастических вещах. Это все уже работает сегодня: P4/PISA, Halide/Pixel Engine и так далее.
источник
00:10пожаловаться#7

МБ

Михаил Бахтерев in Compiler Development
Peter Sovietov
Ценность еще и в том, что DSL-код, на практике, оказывается дольше живущим, чем GPL-код. Кроме того, я не говорю о каких-то фантастических вещах. Это все уже работает сегодня: P4/PISA, Halide/Pixel Engine и так далее.
Да. Но каждый разработчик CPU мечтает занять место Intel. Halide их не впечатляет
источник
00:11пожаловаться#8

FO

FORTRAN ONE LOVE in Compiler Development
Михаил Бахтерев
Это дорого всё. Нужно учитывать цену переобучения. Люди вообще ограничены в освоении языков. Думаю, больше 2-3 принципиально разных не освоить
2-3?! Я стабильно на 6-7 в течении дня пишу
источник
00:13пожаловаться#9

МБ

Михаил Бахтерев in Compiler Development
FORTRAN ONE LOVE
2-3?! Я стабильно на 6-7 в течении дня пишу
Среди них есть Haskell?
источник
00:14пожаловаться#10

FO

FORTRAN ONE LOVE in Compiler Development
Михаил Бахтерев
Среди них есть Haskell?
Нет
источник
00:14пожаловаться#11

VY

Vasiliy Yorkin in Compiler Development
Мне кажется, может одного хаскеля хватить
источник
00:15пожаловаться#12

VY

Vasiliy Yorkin in Compiler Development
btw oчень обнадёживает, что кроме меня есть люди, полностью игнорирующие происходящее вокруг. Остаётся надежда, что со мной всё в порядке %)
источник
00:15пожаловаться#13

МБ

Михаил Бахтерев in Compiler Development
FORTRAN ONE LOVE
Нет
Тогда вангую, что классов языков у Вас два: императивные и ООП, различающиеся, в основном, способами расстановки скобок
источник
00:15пожаловаться#14

PS

Peter Sovietov in Compiler Development
Михаил Бахтерев
Да. Но каждый разработчик CPU мечтает занять место Intel. Halide их не впечатляет
А эта плачевная ситуация уже подходит к концу. Раньше, да, разработчик CPU был очень важной персоной, владеющей сокровенным знанием, и который, в свою очередь, знать ничего не хотел о трудностях создания инструментального ПО, синтезе микроархитектуры и тому подобном. Сейчас таких разработчиков уже успешно заменяют синтезаторами-генераторами.
источник
00:16пожаловаться#15

FO

FORTRAN ONE LOVE in Compiler Development
Михаил Бахтерев
Тогда вангую, что классов языков у Вас два: императивные и ООП, различающиеся, в основном, способами расстановки скобок
Именно!
источник
00:16пожаловаться#16

МБ

Михаил Бахтерев in Compiler Development
FORTRAN ONE LOVE
Именно!
Попробуйте освоить Haskell. Высока вероятность, что упрётесь в барьер
источник
00:17пожаловаться#17

МБ

Михаил Бахтерев in Compiler Development
Peter Sovietov
А эта плачевная ситуация уже подходит к концу. Раньше, да, разработчик CPU был очень важной персоной, владеющей сокровенным знанием, и который, в свою очередь, знать ничего не хотел о трудностях создания инструментального ПО, синтезе микроархитектуры и тому подобном. Сейчас таких разработчиков уже успешно заменяют синтезаторами-генераторами.
Но CPU-то всё равно нужен
источник
00:17пожаловаться#18

FO

FORTRAN ONE LOVE in Compiler Development
Михаил Бахтерев
Попробуйте освоить Haskell. Высока вероятность, что упрётесь в барьер
Я лисп пытался :-) нужны задачи под него
источник
00:18пожаловаться#19

FO

FORTRAN ONE LOVE in Compiler Development
Мои кванты на фортране
источник
00:18пожаловаться#20