Size: a a a

Конференция C++ Russia

2021 November 24

NY

Nikita Yegorov in Конференция C++ Russia
В районе твоего ДР вроде как…помню, караулил, когда у тебя био обновится 🙃
источник

FO

FORTRAN ONE LOVE in Конференция C++ Russia
Ага :)))
источник

FO

FORTRAN ONE LOVE in Конференция C++ Russia
Было дело
источник

AV

Alexey Veselovsky in Конференция C++ Russia
оу! там теперь все на ангуляре и с забиванием на реалтайм. чот спокойней с этого я спать не буду теперь...
источник

AV

Alexey Veselovsky in Конференция C++ Russia
а на чем сама система то написана?
источник

GM

Grisha Mirgorodsky in Конференция C++ Russia
БЩУ никто не отменял (ручное управление)
источник

GM

Grisha Mirgorodsky in Конференция C++ Russia
Какая именно? Старая, Портал, супер старая, новая? Их несколько. Что вы хотите узнать? Вот, почитайте, кратко https://vspu2019.ipu.ru/proceedings/2596.pdf
источник

AV

Alexey Veselovsky in Конференция C++ Russia
новая конечно
источник

AV

Alexey Veselovsky in Конференция C++ Russia
что мне старая?
источник

AV

Alexey Veselovsky in Конференция C++ Russia
важно понять куда все двигается
источник

GM

Grisha Mirgorodsky in Конференция C++ Russia
Некоторые и на Обероне пишут, потом в с (иногда в cpp) компилят https://cyberleninka.ru/article/n/o-razrabotke-oberon-sistemy-s-zadannymi-svoystvami-ergodichnosti/viewer
источник

AV

Alexey Veselovsky in Конференция C++ Russia
этого товарища я лично знаю 🙂
источник

AV

Alexey Veselovsky in Конференция C++ Russia
c учетом того, ЧТО там используется для компиляции, мне несколько стрёмно
источник

GM

Grisha Mirgorodsky in Конференция C++ Russia
Дагаев очень классный чел. А вы тоже на Обероне писали? А Вадима, одного из разрабов знаменитой Зари, тоже знаете? Тут он про безопасность, чтобы вы не пугались https://www.youtube.com/watch?v=IOOJTHVyYcQ&t=12s
источник

AV

Alexey Veselovsky in Конференция C++ Russia
я участвовал в разработке комплятора оберона 🙂 (oberon->js)

Дагаев конечно классный, но юзать не верифицированную неподдерживаемую тулзу для языка без нормальной спецификации, для мишн критикал применений -- всё же стремно.
источник

AV

Alexey Veselovsky in Конференция C++ Russia
с Вадимом вроде не пересекался.
источник

GM

Grisha Mirgorodsky in Конференция C++ Russia
... куда ни плюнь, везде свои люди, Мск БОЛЬШАЯ деревня, я в РосАтом был начальником у Дагаева Димы. Старался не мешать хорошему человеку работать (С), да, проблемы кровавого энтерпрайза (С) Эрик Олдман, иные, нежели проблемы разраба-одиночки :-), в больший проектах cpp особенно заметно. Сколько там на kernel.org строк уже? 22 миллиона?
источник

AV

Alexey Veselovsky in Конференция C++ Russia
ну, kernel.org всё же не cpp. Ну и для всякого мишн критикала же та же genode есть, про которую был доклад @sermp на этой конфе и на тектрейне ранее 🙂 в том числе с формально верифицированными ядрами.
источник

GM

Grisha Mirgorodsky in Конференция C++ Russia
... а какой самый большой проект на cpp лично вы знаете? Именно cpp, а не на голом с в стиле Паскаля, скомпилённые на cpp компиляторе?
источник

AV

Alexey Veselovsky in Конференция C++ Russia
знаю, или участвовал?
источник