[11:56:56] <ada_ru> (Sergei)  отвечает (I_vlxy_I) на <ну, у мя ощущение, ч…>
Спасибо. В пределах 95 стандарта ады и 11 C++ знаю, но с каждым годом поезд уходит.
[11:58:01] <ada_ru> (I_vlxy_I)  отвечает (Sergei) на <Спасибо. В пределах …>
Адский или плюсатый?
[11:58:06] <ada_ru> (Sergei) Вам уже всем приходило предложение работать в мюнхен на новые self driving cars, или только мне?
[11:58:37] <ada_ru> (Sergei)  отвечает (I_vlxy_I) на <Адский или плюсатый?>
В основном Ады, в C++ там более экстенсивное развитие после 11 года
[11:58:49] <ada_ru> (Sergei) принципиальных новостей не много
[11:59:14] <ada_ru> (I_vlxy_I)  отвечает (Sergei) на <Вам уже всем приходи…>
Мне не приходило. А что там?
[12:00:35] <ada_ru> (Sergei) Autonomous Intelligent Driving GmbH

Да не знаю, пока не связывался, но время удачное для вхождения, вот что пишут:

Audi’s business unit dedicated to enabling autonomous driving across the VW group. Based in Munich, Germany, we are rapidly building out a world class company to solve one of the most complex challenges of our time.  ...  to identify exceptionally talented engineers as we continue to grow (we are growing rapidly and plan to double in size this year!!)
[12:01:03] <ada_ru> (Sergei) Я пока не совсем готов ехать в Munich, но местность знатная, предгорья.
[12:01:15] <ada_ru> (I_vlxy_I)  отвечает (Sergei) на <В основном Ады, в C+…>
Ну, хез. В плюсах каждый раз столько новшеств.. и уточнений старых конструкций. Иногда и обратная совместимость немного того.
[12:01:50] <ada_ru> (Sergei) Ну да, ну в пределы нескольких недель, если начать проект, можно освоить вдоль и поперёк.
[12:02:03] <ada_ru> (Sergei) В Аде новые концепции появились.
[12:02:42] <ada_ru> (I_vlxy_I) В плюсах например - концепты появились в 20
[12:03:17] <ada_ru> (Sergei) В плюсах концепты не появились официально ведь, только в GCC experimental. GCC это ещё не всё
[12:03:30] <ada_ru> (I_vlxy_I) И контракты.
[12:03:46] <ada_ru> (I_vlxy_I)  отвечает (Sergei) на <В плюсах концепты не…>
В 20 вроде как примут.
[12:04:47] <ada_ru> (Sergei) Да обещали давно.
Вот с аллокаторами там сделали небольшой прогресс.
Ну, в общем, для знающего плюсы там ничего сверхъестественного, конечно, нет, но попробуй втолковать студенту какому-то c++ (я пробовал).
[12:05:25] <ada_ru> (Sergei) Хотя не прав, студент студенту рознь. Был и способный
[12:09:29] <ada_ru> (I_vlxy_I) А в Аде что радикально нового?
[12:15:01] <ada_ru> (Sergei)  отвечает (I_vlxy_I) на <А в Аде что радикаль…>
Ну, понимаешь, дело в практическом использовании. Потому как практика программирования очень быстро меняется. Ну, в связи с многоядерностью той же - но это было актуально лет 5 назад. Даже если там нет новых фич, должны быть новые библиотеки или приёмы программирования.
[12:15:26] <ada_ru> (Sergei) Я вот бы не стал писать современную программу использую приёмы, которые я использовал на Аде 95 в 2004
[12:17:24] <ada_ru> (Sergei) @I_vlxy_I Кстати, мы говорили об аренде машин в Европе как-то. После получения прав я исследовал вопрос. Страховые организации покрывают аварии в таких авто, если у тебя права хотя бы 12 месяцев. Иначе сам, потому никто не берёт.
[12:17:41] <ada_ru> (I_vlxy_I) Многопоточка в аде же всегда была. В отличие от плюсов
[12:18:09] <ada_ru> (Sergei)  отвечает (I_vlxy_I) на <Многопоточка в аде ж…>
Ну, это большой разговор.
[12:18:48] <ada_ru> (Sergei) ... но по недосмотру частники здать могут.
[12:20:16] <ada_ru> (Sergei) есть сайты, где люди шарят машины, всегда можно найти что-то поблизости
[12:57:46] <ada_ru> (Sergei) ... хотя вру, последний большой проект на аде был где-то в 2009. Но всё же, за 10 лет много поменялось в программировании, сейчас уже так программировать не хочется.
[12:58:39] <ada_ru> (Sergei) прежде всего, не тянет к многословности
[13:02:42] <ada_ru> (Sergei) во-вторых, решения многопоточности, базирующиеся на мутексах сегодня, в интересующих меня проектах, нужно применять очень дозированно
[13:10:37] <ada_ru> (Sergei) в третьих, изменилось моё понимание, как писать программу, во многих вещах, например, где берётся надёжность, что мы можем получить из той или иной структуры типов, как модифицировать код и тысячи других вещей. Теперь всё надо это научится выражать на языке, просматривая последний стандарт.
[13:15:22] <ada_ru> (I_vlxy_I)  отвечает (Sergei) на <прежде всего, не тян…>
А как в Аде без многословности?
[13:16:09] <ada_ru> (I_vlxy_I)  отвечает (Sergei) на <@I_vlxy_I Кстати, мы…>
У меня этим летом стаж уже 3 года будет. В общем, похоже можно уже будет спокойно где угодно прокат брать и путешествовать :-)
[14:07:21] <ada_ru> (Sergei) @I_vlxy_I Да, требуют год, некоторые два. Ну, насчёт спокойно, не знаю, но если уже много где ездил - почему бы и не пробовать.
[14:08:24] <ada_ru> (Sergei) Движение по хайвею имеет специфику, надо освоить, если не ездил по нему.
[14:09:07] <ada_ru> (I_vlxy_I)  отвечает (Sergei) на <Движение по хайвею и…>
только по русскому и беларусскому хайвею 😊
[14:09:23] <ada_ru> (Sergei) такие есть? не в курсе
[14:09:33] <ada_ru> (I_vlxy_I) ну, смотря что хайвеем считать, так то.
[14:09:50] <ada_ru> (Sergei) Дорога без перекрёстков
[14:09:57] <ada_ru> (I_vlxy_I) да, такое есть. тот же МКАД например
[14:10:04] <ada_ru> (I_vlxy_I) только exit'ы
[14:10:15] <ada_ru> (Борис) Любая магистраль — дорога без перекрёстков.
[14:10:59] <ada_ru> (Sergei) В украине я таких не видел. Значит у нас нет.
[14:12:18] <ada_ru> (Sergei) ну, либо по ним по-другому ездят как-то
[14:12:42] <ada_ru> (I_vlxy_I) (МКАД - дорога для автомобилей, формально (ограничение 100). а бывают еще автомагистрали (110). Как-то так)
[14:12:58] <ada_ru> (Sergei) ну, это autoweg, но это не хайвей
[14:13:09] <ada_ru> (Sergei) хайвей где многоуровневые развязки и 130
[14:13:33] <ada_ru> (I_vlxy_I) от страны же зависит и от правил
[14:13:36] <ada_ru> (Sergei) snelweg и autoweg - на них разные правила
[14:13:49] <ada_ru> (I_vlxy_I) автомагистраль - это именно отсутствие перекрестков и многоуровневые развязки, если они нужны
[14:13:59] <ada_ru> (Борис) У нас 130 запрещено в Правилах. У нас магистрали.
[14:14:02] <ada_ru> (I_vlxy_I) то есть перекрестков нет совсем никогда
[14:14:23] <ada_ru> (I_vlxy_I) посмотри на МКАД - там нет перекрестков.
[14:14:47] <ada_ru> (Sergei) Для автомобилистов отличие в том, что вход и выход на хайвей всегда со скоростью не меньше 90-100 км/ч и тормоз - последняя педаль, которая там используется
[14:15:03] <ada_ru> (I_vlxy_I) ограничение скорости снизу также имеется
[14:15:09] <ada_ru> (Sergei) да, разумеется
[14:15:17] <ada_ru> (Sergei) оно совпадает с верхним
[14:15:28] <ada_ru> (I_vlxy_I) "Запрещено движение задним ходом и учебная езда."
[14:15:31] <ada_ru> (I_vlxy_I) например еще
[14:16:21] <ada_ru> (I_vlxy_I) " с 6 августа 2013 года на некоторых автомагистралях, расположенных вне населенных пунктах, максимальная скорость движения может быть увеличена до 130 км/ч. Для этого на дороге должны быть установлены знаки 3.24 ограничение максимальной скорости со значением 130"
[14:16:48] <ada_ru> (I_vlxy_I) 130 км/ч, таким образом, возможная законная скорость на некоторых наших автомагистралях
[14:17:00] <ada_ru> (Борис) Возможная, но так и не подняли.
[14:17:38] <ada_ru> (Борис) Один хрен все 130 едут, так как это верхняя планка от 110 без штрафа))
[14:17:53] <ada_ru> (I_vlxy_I) ну, я стараюсь не нарушать таки 😊
[14:18:27] <ada_ru> (I_vlxy_I) в беларуси максималка на автомагистралях 120.
[14:18:31] <ada_ru> (I_vlxy_I) все так и едут.
[14:19:28] <ada_ru> (I_vlxy_I) иногда медленней
[14:19:34] <ada_ru> (Борис) Да, в Беларуссию съездить бы надо....
[14:20:23] <ada_ru> (I_vlxy_I) да, там норм. бедненько, но чистенько.
[14:23:09] <ada_ru> (I_vlxy_I) вообще, я не понимаю нашего закона о +20 км/ч не штрафуем. фигня какая-то. то есть установив ограничение скорости в 5 км/ч, все будут ездить 25? фигня же.
[14:23:31] <ada_ru> (I_vlxy_I) а если учесть, что тормозной путь и энергия удара растет как бы как квадрат скорости...
[14:25:13] <ada_ru> (nitrocerber)  отвечает (I_vlxy_I) на <вообще, я не понимаю…>
Не не штрафуется, а не фиксируется камерами
[14:25:29] <ada_ru> (nitrocerber) Живой дядя дпсник тебя присадит на жезл за такое
[14:25:51] <ada_ru> (I_vlxy_I)  отвечает (nitrocerber) на <Не не штрафуется, а …>
и не штрафуется тоже. глянь таки ПДД. нет у нас штрафов за нарушение до 20 км/ч. остановить и провести беседу - могут.
[14:25:56] <ada_ru> (I_vlxy_I) но штраф выписать - нет
[14:26:09] <ada_ru> (nitrocerber) Ну я и говорю - на жезл посадит
[14:26:31] <ada_ru> (nitrocerber) Там же ещё что-то про проценты от максимально разрешённой скорости
[14:27:42] <ada_ru> (nitrocerber) В потатоленде на 10 ограничение. Но все едут даже ниже, и безумных москалей с вомбатом на капоте пропускали издалека))
[14:34:06] <ada_ru> (I_vlxy_I)  отвечает (nitrocerber) на <Там же ещё что-то пр…>
это какое-то новьё? вроде я такого в ПДД не упомню.
[14:34:17] <ada_ru> (I_vlxy_I) а учил сдавал ПДД я менее трех лет назад
[14:35:11] <ada_ru> (nitrocerber) Я не уверен, к чему именно это относится, по-мойму к размеру штрафа. Превышаешь на 20 - штраф один, на 50 - другой.
[14:36:47] <ada_ru> (nitrocerber) не, не процентаж, абсолютные значения. шкала прогрессивная, действительно, но процентов нет
[14:37:15] <ada_ru> (I_vlxy_I) картинка https://www.ada-ru.org/files/bot/2019-01-30-x4.jpg
[14:37:30] <ada_ru> (I_vlxy_I) до 20 нет штрафа совсем.
[14:37:34] <ada_ru> (I_vlxy_I) но нарушени при этом - есть
[14:37:48] <ada_ru> (I_vlxy_I) https://shtrafy-gibdd.ru/blog/shtrafy-gibdd-tablica-shtrafov-za-narushenie-pdd
[14:38:32] <ada_ru> (nitrocerber) ну если ты на скорости 61кмч в кого-то влепишься - виновным признают и тебя тоже, даже если ты спокойно ехал на зелёный и выхватил в бочину.
[14:39:54] <ada_ru> (I_vlxy_I)  отвечает (nitrocerber) на <ну если ты на скорос…>
а вот не факт. проезд под запрещающий сигнал светофора может быть более страшным нарушением.
[14:39:58] <ada_ru> (I_vlxy_I) то есть он таковым и является.
[14:40:11] <ada_ru> (I_vlxy_I) это вообще лишение, сколь я помню.
[14:40:14] <ada_ru> (nitrocerber) поэтому я и написал "и тебя тоже"
[14:40:26] <ada_ru> (nitrocerber) чем больше виноватых - тем лучше)
[14:40:36] <ada_ru> (nitrocerber) больше виноватых - меньше пострадавших.
[14:41:03] <ada_ru> (I_vlxy_I) (традиционны коммент про мерзопакостность властей, гибдд и собянина лично в особенности)
[14:43:48] <ada_ru> (nitrocerber) и про страховые)
[14:47:57] <ada_ru> (I_vlxy_I)  отвечает (Sergei) на <Вам уже всем приходи…>
некоторым из коллег тоже прилетело.
[14:48:06] <ada_ru> (I_vlxy_I) а это через что? через linkedin?
[15:06:48] <ada_ru> (Sergei) Через LinkedIn. Да, про скорость, здесь на 130 официально обгон максимум 137.
[15:07:26] <ada_ru> (Sergei) Но за "unnecessary slow", если едешь на 100 где можно 130 и всем мешаешь, тоже штраф будет.
[15:11:07] <ada_ru> (I_vlxy_I)  отвечает (Sergei) на <Через LinkedIn. Да, …>
а в правилах различается обгон и опережение?
[15:12:01] <ada_ru> (Sergei) Нет. Если едешь быстрее, чем в соседней полосе - всегда обгон.
[15:12:35] <ada_ru> (I_vlxy_I) хы. то есть знаков "обгон запрещен" там нету?
[15:12:48] <ada_ru> (Sergei) Почему, есть.
[15:13:04] <ada_ru> (Sergei) Но тогда ты не можешь ехать быстрее, чем в правом ряду.
[15:13:21] <ada_ru> (I_vlxy_I) а быстрее чем в левом?
[15:13:27] <ada_ru> (Sergei) тоже
[15:13:37] <ada_ru> (Sergei) только при пробке
[15:13:42] <ada_ru> (I_vlxy_I) странные правила, ну да ладно 😊
[15:14:02] <ada_ru> (I_vlxy_I) ну хоть понятие "главна дорога" то есть?
[15:14:26] <ada_ru> (Sergei) да, конечно.
Отличия в правилах не в том, что там чего-то нет, а в интерпретации
[15:15:03] <ada_ru> (I_vlxy_I) ну, и в том и в другом как бы.
[15:15:36] <ada_ru> (Sergei) вообще, я не нашёл формальных изложений правил. Все правила построены как вольное описание с примерами.
[15:15:47] <ada_ru> (Sergei) потому трудно сравнивать
[15:15:50] <ada_ru> (I_vlxy_I) O_O
[15:19:21] <ada_ru> (Sergei) Точно так же экзамен могут не принять с оговоркой "всё по правилам, машиной управляете, но надо лучше понимать и чувствовать трафик, чтобы двигаться максимально быстро, как возможно".
[15:20:16] <ada_ru> (Sergei) с 5 го раза здал
[15:20:46] <ada_ru> (I_vlxy_I) жуть!
[15:21:08] <ada_ru> (Sergei) почему жуть, у меня между 1 и 5 здачей действительно сильная разница :)
[15:22:06] <ada_ru> (Sergei) хотя, если бы я не здал на 5 раз, я бы тоже сказал "жуть"
[19:51:15] <ada_ru> (I_vlxy_I) плюсатые коньтракты:
int f(int x)
 [[expects audit: x>0]]
 [[ensures axiom res: res>1]];

void f(int x, int y)
 [[expects: x>0]]
 [[expects: y!=0]]
 [[ensures result: result > x+y]];
[22:53:20] <ada_ru> (nordwnd) Кот в чати... Нифига себе
[23:00:20] <ada_ru> (I_vlxy_I) Ну, пока это псевдокот
[23:22:14] <nordwind> Смузи этому господину