[13:36:25] <ada_ru> (I_vlxy_I) К концу года закончатся испытания беспилотного трамвая.

Испытания в городе активно проводятся уже полгода. Отработаны такие функции, как: ограничение скорости на маршруте согласно собранным данным, позволяющая в каждой точке уже знакомого для техники маршрута устанавливать и держать максимальную безопасную скорость с учетом погодных условий; автоматическое снижение скорости или торможение перед препятствиями.
[13:36:38] <ada_ru> (I_vlxy_I) @nitrocerber тикай с городу! :-)
[13:37:01] <ada_ru> (nitrocerber) завтра как раз в тироль улетаю
[13:37:11] <ada_ru> (nitrocerber) там ток узкоколейка
[13:38:32] <ada_ru> (I_vlxy_I)  отвечает (nitrocerber) на <завтра как раз в тир…>
Это Австрия?
[13:38:45] <ada_ru> (nitrocerber) ога
[13:43:24] <ada_ru> (I_vlxy_I)  отвечает (nitrocerber) на <ога>
Отдыхать аль работать?
[13:44:22] <ada_ru> (nitrocerber) Лыжи. В Австрии пока офиса нет)) А к клиентам консультариев обычно не пускают, один единственный раз мотался
[13:46:52] <ada_ru> (I_vlxy_I)  отвечает (nitrocerber) на <Лыжи. В Австрии пока…>
Даёшь офис в Москве!
[13:47:16] <ada_ru> (nitrocerber) из двух человек-то?)) где один на грани пенсии?) ню-ню)
[13:50:05] <ada_ru> (I_vlxy_I)  отвечает (nitrocerber) на <из двух человек-то?)…>
Ну, надо расширять штат :-)
[13:50:55] <ada_ru> (nitrocerber) присоединяйся
[13:51:00] <ada_ru> (nitrocerber) я тебя пореккомендую)
[13:51:21] <ada_ru> (nitrocerber) будешь на крестах ересь всякую в доски струячить
[13:51:39] <ada_ru> (I_vlxy_I) rustRustRUST!
[13:52:10] <ada_ru> (Лекс) растораст!
[13:59:20] <ada_ru> (nitrocerber) Не просто растораст, а расторастище, ткскзть)
[14:01:31] <ada_ru> (I_vlxy_I) Реально не удивлюсь если адакор ещё и растом займётся
[14:28:27] <ada_ru> (nitrocerber) Ну то мне не ведомо. Где мы, а где глобал дирекшонз))
[14:33:39] <ada_ru> (I_vlxy_I)  отвечает (nitrocerber) на <Ну то мне не ведомо.…>
World expansion!
[15:39:14] <ada_ru> (Oleg) Современная экономика....
[15:39:42] <ada_ru> (Oleg) За участие в коммунити награждают так
[15:40:10] <ada_ru> (I_vlxy_I) Как?
[15:40:11] <ada_ru> (Oleg) https://pbs.twimg.com/media/ER26tUPWkAIGt1V?format=jpg&name=small
[15:40:28] <ada_ru> (Oleg) Ж-) ну и звездочки всякие виртуальные
[15:40:35] <ada_ru> (I_vlxy_I) Неплохо :-)
[15:40:51] <ada_ru> (Oleg) Ну как сказать.....
[15:41:05] <ada_ru> (Oleg) 😊
[15:54:30] <ada_ru> (vasil_sd)  отвечает (Oleg) на <https://pbs.twimg.co…>
Ну это сейчас тренд в корпорациях, вместо денег за заслуги давать всякие грамоты, футболки и пр.

В Интеле одного коллегу так обидели, парень полгода вкалывал как ненормальный стахановец, а по итогам ему всего лишь дали грамоту и что-то символическое.

В результате парень расстроился и стал ставить рекорды по времени в течении которого он успешно футболит тикеты и не пишет ни единой строчки кода.

Рекорд был, по-моему, около 2-х месяцев :)
[15:55:21] <ada_ru> (Oleg) Ж-) На майкрософт вобще чтото твориться невобразимое
[15:56:04] <ada_ru> (Oleg) 10 лет назад писал USB стек CDC только, для AVR
[15:56:05] <ada_ru> (Oleg) https://github.com/OlegPowerC/AT90USBCDCSmallLibrary
[15:56:13] <ada_ru> (Oleg) Вот надо на аде переписать
[15:56:19] <ada_ru> (Oleg) Ато страх и ужос
[15:56:35] <ada_ru> (Oleg) Си хардкор
[15:56:57] <ada_ru> (Oleg) Там три строчки вобщем то
[15:57:07] <ada_ru> (Oleg) Думаю за неделю по вечерам можно сделать
[16:43:13] <ada_ru> (I_vlxy_I)  цитирует (Andreyburan)
Оракл говорят по домам распускают на карантин. Глобально
[16:48:43] <ada_ru> (vasil_sd)  отвечает (I_vlxy_I) на <Оракл говорят по дом…>
Думаю, что сейчас такая практика станет массовой. Эра удаленной работы :)
[18:33:06] <ada_ru> ()  Целые числа. Решение тематических задач
[20:32:09] <ada_ru> (vasil_sd)  отвечает (geniepro) на <Социализм при капита…>
Ну, такое при капитализме всегда было. Всегда думали, как бы сэкономить на рабсиле. Только сейчас гуманизма чуть больше
[20:32:11] <ada_ru> (Максим)  отвечает (mister_alexander) на <Целые числа не нужны>
Тебе тоже кажется, что я дурнёй занимаюсь? 😕
[20:32:16] <ada_ru> (mister_alexander)  отвечает (Максим) на <Тебе тоже кажется, ч…>
не думаю.
Просто не понятно к чему это сообщение про числа.
Там наверное должна быть ссылочка на статью?
[20:33:05] <ada_ru> (mister_alexander) Уоу, боту поплохело
[20:33:09] <ada_ru> (vasil_sd)  отвечает (vasil_sd) на <Ну, такое при капита…>
Поэтому чуть похоже на социализм :)
[20:34:42] <ada_ru> ()  Условный оператор.
[20:34:43] <ada_ru> () https://www.ada-ru.org/adacode/uslovnyj-operator-zadachi
[20:47:19] <ada_ru> ()  Цикл while в языке Ада. Введение
[20:47:20] <ada_ru> () https://www.ada-ru.org/adacode/tsikl-while
[20:47:35] <landgraf> горшокек, не вари!
[20:49:14] <ada_ru> (I_vlxy_I)  отвечает на <(landgraf) горшокек,…>
Да! Давайте лучше про rustRustRUST!
[20:51:51] <ada_ru> (I_vlxy_I) <прислал наклейку> 😒
[21:10:28] <ada_ru> ()  Цикл while в языке Ада.
[21:10:29] <ada_ru> () https://www.ada-ru.org/adacode/tsikl-while-zadachi
[21:13:00] <ada_ru> (Максим) Ну ладно, не буду спамить
[21:14:07] <ada_ru> (Максим) Че-то там многовато статей, уже устал
[21:21:23] <ada_ru> (I_vlxy_I)  отвечает (Максим) на <Че-то там многовато …>
А это про какую Аду? Какой стандарт?
[21:22:20] <ada_ru> (Максим) Да там самое начало ады, это всё было ещё в Аде 83
[21:51:31] <ada_ru> (I_vlxy_I) ну, начала то небось как-нибудь модифицировались
[21:51:46] <ada_ru> (I_vlxy_I) вон, даже правила того, что можно, а чего нельзя функции поменялись ведь
[22:52:19] <ada_ru> (shiz01)  отвечает (Максим) на <Тебе тоже кажется, ч…>
Нужно, очень нужно.
Мне, в силу фрагментированной памяти, довольно времязатратно читать подобное на английском. А так и полезно и приятно почитать статьи по столь понравившемуся языку, в котором, я к сожаленью разбираюсь посредственно.
[22:53:28] <ada_ru> (shiz01) И если не трудно, что почитать по верификации на спарке?
Для новичков, в идеале на русском.
[23:00:57] <ada_ru> (Максим)  отвечает (shiz01) на <И если не трудно, чт…>
Для этого надо уговорить @vasil_sd что-нибудь написать 😟
[23:01:28] <ada_ru> (I_vlxy_I)  отвечает (Максим) на <Для этого надо угово…>
а переводных адакорных статей разве нету?
[23:01:37] <ada_ru> (Максим) Сертификация с помощью SPARK · Ada Ru
http://ada-ru.org/sssw/chapter_11
[23:01:50] <ada_ru> (Максим) Вот тут есть кое-что
[23:03:59] <ada_ru> (vasil_sd)  отвечает (Максим) на <Для этого надо угово…>
Я уже тут как-то писал, что советую начать с логики Хоара. Без её понимания Spark тоже будет непонятен.

Рекомендую для начала Гриса: http://publ.lib.ru/ARCHIVES/G/GRIS_Devid/_Gris_D..html

Книга хоть и старая, но очень хорошо написана и там классно расписаны основы
[23:05:03] <ada_ru> (Максим) Давай состряпаем страничку на ada-ru
[23:05:29] <ada_ru> (Максим) В чате сложно искать
[23:05:52] <ada_ru> (vasil_sd)  отвечает (Максим) на <Давай состряпаем стр…>
Хорошая идея. На выходных попробую сделать набросок литературы в правильном порядке, чтобы хорошо воспринималось
[23:06:40] <ada_ru> (vasil_sd) Гриса "Наука программирования" можешь уже сразу куда-нибудь вывесить на ada-ru :)
[23:11:30] <ada_ru> (shiz01)  отвечает (vasil_sd) на <Я уже тут как-то пис…>
Благодарю.
[23:49:36] <ada_ru> (mister_alexander)  отвечает (vasil_sd) на <Я уже тут как-то пис…>
Офигеть сколько эта книжка стоит на амазоне. 😞 https://www.ada-ru.org/files/bot/2020-02-28-x1.jpg
[23:58:01] <ada_ru> (vasil_sd)  отвечает (mister_alexander) на <>
А её ещё и вналичии скорее всего не будет.

В бумажном виде уже очень раритетная стала...
[23:58:24] <ada_ru> (vasil_sd) Советую не париться, а качать pdf.
[23:59:15] <ada_ru> (vasil_sd)  отвечает (vasil_sd) на <А её ещё и вналичии …>
Хотя англоязычный вариант может и легче найти будет...