[00:54:48] <ada_ru> (nitrocerber)  отвечает (coopht) на <Вот это покруче буде…>
их же уже обратно дисквалифицировали вроде?
[14:05:26] <ada_ru> (I_vlxy_I) О! А CMake оказывается поддерживает и Green Hills MULTI!
[14:05:36] <ada_ru> (I_vlxy_I) Может оно и gpr могёт? 😊
[14:08:28] <ada_ru> (I_vlxy_I) https://www.ghs.com/products/MULTI_IDE.html#cost
[14:10:04] <ada_ru> (I_vlxy_I) есть небольшой шанс, что нам что-нибудь от гринхиллсов даже понадобится.
[14:10:14] <ada_ru> (I_vlxy_I) интегрити или еще что
[14:28:54] <ada_ru> (I_vlxy_I) Видимо зря они на с++ перешли: https://lenta.ru/news/2019/01/10/f35/
[14:36:02] <ada_ru> (Oleg) Надо было на раст ? :-)
[14:42:50] <ada_ru> (I_vlxy_I) Ну, возможно, не стоило язык менять вовсе 😊
[14:45:50] <ada_ru> (kremovtort)  отвечает (Oleg) на <Надо было на раст ? …>
На ATS естественно
[14:47:10] <ada_ru> (I_vlxy_I) ATS же вроде как сборщик мусора хочет, не?
[14:52:00] <ada_ru> (kremovtort)  отвечает (I_vlxy_I) на <ATS же вроде как сбо…>
можно юзать линейные типы вместо
[14:52:03] <ada_ru> (kremovtort) прям как в расте
[15:03:35] <ada_ru> (I_vlxy_I) нинужин!
[15:04:03] <ada_ru> (I_vlxy_I) раст ваще аццтой. он даже массив флоатов посортировать не может! фу!
[15:04:40] <ada_ru> (the_arctic_cat)  отвечает (kremovtort) на <можно юзать линейные…>
Это чат не про Agda, ретируемся
[16:43:43] <ada_ru> (I_vlxy_I)  отвечает (the_arctic_cat) на <Это чат не про Agda,…>
Да. Одна буква лишняя.
[17:14:32] <ada_ru> (I_vlxy_I) <прислал документ>
[17:20:02] <ada_ru> (I_vlxy_I) Готовьтесь, ибо грядёт!
[17:20:40] <ada_ru> (Oleg) За МКАДом ждем лет через 300
[17:20:41] <ada_ru> (I_vlxy_I) по крайней мере в отдельно взятой Москве.
[17:20:53] <ada_ru> (I_vlxy_I) ну, формально, это за МКАДом и есть.
[17:21:10] <ada_ru> (Oleg) Ну формально то да
[17:21:27] <ada_ru> (Oleg) В Омске когда? Ж-)
[17:21:44] <ada_ru> (I_vlxy_I) нинужин!
[17:22:16] <ada_ru> (Oleg) Так и есть
[17:22:42] <ada_ru> (Oleg) А у них так сверху лидары и торчат?
[17:28:33] <ada_ru> (I_vlxy_I) да
[17:28:45] <ada_ru> (I_vlxy_I) https://www.youtube.com/watch?v=uRyTEW2OuWw
[17:28:55] <ada_ru> (I_vlxy_I) А вот оригинал: https://www.instagram.com/p/BscTakWAs-y/?utm_source=ig_embed&utm_campaign=embed_video_watch_again
[17:29:06] <ada_ru> (Oleg) Понятно. Велодайн по виду лидары
[17:29:12] <ada_ru> (I_vlxy_I) да, это они
[17:29:17] <ada_ru> (I_vlxy_I) но не самые жирные
[17:29:31] <ada_ru> (Oleg) Да мы дело имели с этой хренью
[17:29:38] <ada_ru> (Oleg) Я ушел из проджекта
[17:29:41] <ada_ru> (I_vlxy_I) и мы 😊
[17:29:47] <ada_ru> (I_vlxy_I) а почему ушел?
[17:29:50] <ada_ru> (I_vlxy_I) вроде лидар и лидар
[17:29:58] <ada_ru> (Oleg) За....о руководство 😊
[17:30:28] <ada_ru> (I_vlxy_I) а. ну ок. я думал велодайн задолбал 😊
[17:30:34] <ada_ru> (Oleg) Хотим завтра чтоб все ездило и желетельно очень дешево
[17:30:36] <ada_ru> (Oleg) 😊
[17:30:41] <ada_ru> (Oleg) Не
[17:30:45] <ada_ru> (Oleg) Велодайн то гуд
[17:30:49] <ada_ru> (Oleg) Проблем не было
[17:31:06] <ada_ru> (I_vlxy_I) о! а ты тоже self driving кар-карами занимался? а что за контора?
[17:31:29] <ada_ru> (Oleg) Не - я немного занимался селф драйвинг рохлями 😊)))
[17:31:36] <ada_ru> (Oleg) Точнее погрузчиками
[17:31:51] <ada_ru> (I_vlxy_I) ааа.. ну, там лидары тоже тема, да.
[17:31:59] <ada_ru> (Oleg) Но я по навигации и электронике и прочей инфраструктуре помогал
[17:32:04] <ada_ru> (I_vlxy_I) и, кажется, там задача как раз вполне решается целиком.
[17:32:21] <ada_ru> (Oleg) На самом деле все давно хотят избавится от лидаров
[17:32:33] <ada_ru> (Oleg) И остаться только с камерами - пусть и ToF
[17:32:42] <ada_ru> (I_vlxy_I) да. в этом как раз наш хлеб 😊
[17:32:48] <ada_ru> (I_vlxy_I) избавляем от лидарозависимости
[17:33:13] <ada_ru> (Oleg) Еще сколковский погрузчик мы гоняли 😊
[17:33:25] <ada_ru> (Oleg) Как его там
[17:33:26] <ada_ru> (I_vlxy_I) (лидар юзается для ground truth, а не для прод. решений)
[17:33:29] <ada_ru> (Oleg) Робо СиВи
[17:33:48] <ada_ru> (I_vlxy_I) сколковский лидар, наверно? не погрузчик?
[17:34:11] <ada_ru> (I_vlxy_I) а, не. погрузчик таки
[17:34:47] <ada_ru> (Oleg) Погрузчик
[17:34:58] <ada_ru> (Oleg) Правда он такое странное поделие немного
[17:37:13] <ada_ru> (I_vlxy_I) чем?
[17:38:32] <ada_ru> (Oleg) Ну у него специфическое ПО и модель его распространения это раз, Он странно катается (развороты особенно) это два, и он не поднимает ничего выше первого ряда это три
[17:38:37] <ada_ru> (Oleg) Но было это давно
[17:38:41] <ada_ru> (Oleg) Может сейчас все ОК
[17:40:42] <ada_ru> (I_vlxy_I) яндекс юзает три лидара
[17:42:02] <ada_ru> (Oleg) На РобоСиВи стоит кстати один SIC три или две - уже забыл камеры ToF o3d и еще внизу секторные лидары SIC
[17:42:08] <ada_ru> (Oleg) Два штука
[17:42:54] <ada_ru> (Oleg) А коллеги сделали почти то же но
[17:43:13] <ada_ru> (Oleg) У них Велодайн один и тоже пара секторных лидаров пара камер и ROS
[17:43:32] <ada_ru> (I_vlxy_I) ROS это хорошо, или плохо?
[17:43:46] <ada_ru> (Oleg) ну под него есть куча готового софта
[17:44:14] <ada_ru> (Oleg) Можно говнокодеров нанять и они тебе сбацают какой ни какой софт
[17:44:29] <ada_ru> (I_vlxy_I) на питоне!
[17:44:51] <ada_ru> (Oleg) Они там часть и на C и на питоне делали
[17:45:08] <ada_ru> (Oleg) Но безопастность должна быть аппаратная
[17:45:13] <ada_ru> (I_vlxy_I) скорее таки на c++ же? ведь ноды росовские это питон или с++
[17:45:59] <ada_ru> (Oleg) Ну да плюсы
[17:46:25] <ada_ru> (I_vlxy_I) кресты православные! изживём гадов подколодных!
[17:46:47] <ada_ru> (Oleg) Мож найду видео
[17:46:49] <ada_ru> (Oleg) Пришлую
[17:46:55] <ada_ru> (Oleg) как оно ездило
[17:47:03] <ada_ru> (I_vlxy_I) да, любопытно было бы глянуть
[18:12:18] <ada_ru> (Oleg) <прислал видео>
[18:16:41] <ada_ru> (I_vlxy_I)  отвечает (Oleg) на <>
О! Спасибо! Круто.
[18:20:59] <ada_ru> (I_vlxy_I) Это же ваш? не сколковский?
[18:21:59] <ada_ru> (I_vlxy_I) О! Убунтец запущен. с росом явно.
[18:24:27] <ada_ru> (I_vlxy_I) да, rviz
[18:26:22] <ada_ru> (Oleg) Да это не сколковский
[18:26:34] <ada_ru> (Oleg) Сколковский там на заднем фоне стоит - грустит
[18:28:10] <ada_ru> (I_vlxy_I) чует, что НИНУЖИН!
[18:29:14] <ada_ru> (Oleg) 😊 чтото у них на сайте новостей нет особо
[18:29:27] <ada_ru> (Oleg) А наши говорят что в середине 2019 будет релиз 😊
[18:31:17] <ada_ru> (I_vlxy_I) а ваши публично это говорят, или на ушко? 😊
[18:31:48] <ada_ru> (Oleg) Пока не публично
[18:32:24] <ada_ru> (Oleg) Незнаю почему ....
[18:32:27] <ada_ru> (I_vlxy_I) ну, вот сколковцы может тоже не публично давно объявили о релизе
[18:32:35] <ada_ru> (I_vlxy_I) друг другу 😊
[18:32:39] <ada_ru> (Oleg) 😊))
[18:48:51] <ada_ru> (I_vlxy_I) а вот язык Julia растёт, цветёт и пахнет: https://www.saowen.com/a/72e50d4c47211735b5de80e89f4914f79d27597899ea2cdb8cb776ae9e68761f
[19:25:08] <ada_ru> (I_vlxy_I) федора маздай!
http://www.opennet.ru/opennews/art.shtml?num=49926
[19:26:40] <landgraf> Для пользователей не желающих передавать идентификатор своей системы будет предоставлена настройка, позволяющая отказаться от его использования.
[19:28:48] <ada_ru> (I_vlxy_I) но про это нужно будет конкретно ЗНАТЬ, чтобы это отрубить
[19:29:36] <ada_ru> (I_vlxy_I) для пользователей не желающих отсутствия рантайм и компайлтайм проверок на валидность программы, будет предоставлена настройка, позволяющая эти проверки включить.
[19:33:55] <landgraf> ну ок, то винда и макось то точно не отправляют )
[19:34:17] <ada_ru> (I_vlxy_I) винда вообще должна сдохнуть в корчах
[19:34:43] <ada_ru> (I_vlxy_I) а макось - пусть остается самым страшным злом из имеющегося.
[19:34:48] <ada_ru> (I_vlxy_I) больше зла быть не должно на этом свете
[19:35:59] <landgraf> ну да, все говно, кроме мочи и моча тоже говно
[19:43:56] <ada_ru> (Vinpuh) В конце концов Ляьекс превратится в винду с зондами.
[19:44:35] <ada_ru> (I_vlxy_I) а винда - в линупс с зондами
[19:45:31] <ada_ru> (Vinpuh) Винда уже с Лялексом встроенным. Так что уже.
[19:46:24] <ada_ru> (I_vlxy_I) ну, оно пойдет глубже.
[21:15:45] <ada_ru> (nordwnd) https://www.reddit.com/r/lisp/comments/aekxpg/lisp_badge_a_selfcontained_computer_with_its_own/?utm_source=reddit-android
[21:16:42] <ada_ru> (nordwnd) Правда я не очень понимаю смысл таких железок
[21:41:42] <ada_ru> (I_vlxy_I) Just for fun
[21:41:52] <ada_ru> (I_vlxy_I) Ну, или для обучения
[21:44:10] <ada_ru> (Oleg) https://nakkaya.com/2010/08/24/a-micro-manual-for-lisp-implemented-in-c/
[21:52:02] <ada_ru> (I_vlxy_I) А есть a macro manual for C implemented in lisp?
[21:52:04] <ada_ru> (I_vlxy_I) ;-)
[21:56:07] <ada_ru> (Oleg) Наверное - вобще интересно конечно как они там на С это чудо Lisp парсят Ж-)
[21:57:47] <ada_ru> (I_vlxy_I) А вот если бы lisp написали на Аде, все могло бы сложиться иначе...
[22:04:08] <ada_ru> (Oleg) Под Cortex M23 gnat или gcc интересно умеет компилить?
[22:04:16] <ada_ru> (Oleg) Ада код естественно