[00:08:02] <ada_ru> (t91x0)  отвечает (I_vlxy_I) на <https://habr.com/pos…>
Наконец-то гитхаб приобрёл нормальный, интуитивно понятный вид, прошедший a/b тестирование на тысячах юзеров.
[08:04:39] <OCTAGRAM> @Satyri0n в АвтоКАДе ЛИСП отлично работает, вирусы на нём пишут
[08:05:38] <ada_ru> (Satyri0n) Радость-то какая)
[09:33:44] <ada_ru> (drblez)  отвечает (Satyri0n) на <Лисп вообще работает…>
На каком-то из спутников, относительно недавно (от 5 до 15 лет) запущеных софт на лиспе был... Была статья, как народ подключался туда REPLом и какую-то шибку исправлял...
[09:36:08] <ada_ru> (drblez)  отвечает (Satyri0n) на <Лисп вообще работает…>
Опять же кложура наша )))
[09:37:21] <ada_ru> (drblez) >до 2000 года в NASA функционировала система управления межпланетными станциями Remote Agent и она была написана на Lisp'е.

Угу. Причем на спутнике (DS1) тоже стоял Lisp -- некая реализация Harlequin Common Lisp. А на земле использовались MCL, Allegro и CLISP. Есть бумаженция на НАСА, где рассказывается об интересных свойствах системы. Работа со спутником прямо из REPL могла вестись (т. е. спутник предоставлял свой REPL). Они даже в процессе работы баг нашли и прямо из REPL его исправляли.

"Debugging a program running on a $100M piece of hardware that is 100 million miles away is an interesting experience. Having a read-eval-print loop running on the spacecraft proved invaluable in finding and fixing the problem..." 🙂
[09:44:08] <OCTAGRAM> Lisping at JPL вроде бы статья называлась
[09:46:11] <ada_ru> (I_vlxy_I) а вот марсоходы -- на С++! Даже ежедневные скрипты там на С++ были.
[09:54:48] <ada_ru> (s4msg) Это отсюда, см. 1994-1999 - Remote Agent
http://www.flownet.com/gat/jpl-lisp.html
[09:55:19] <ada_ru> (drblez) А еще правильно заточенный SBCL (компилятор, который) делает код, который по скорости не уступает плюсам )))
[10:01:42] <ada_ru> (I_vlxy_I) неправильно заточенным плюсам 🙂
[15:23:18] <ada_ru> (Максим) Вводная лекция про SPARK 2014 - https://youtu.be/XkG3emWxb40
[15:37:42] <ada_ru> (t91x0)  отвечает (I_vlxy_I) на <неправильно заточенн…>
На debian shootout'е ада идёт вровень с Си, за ними уже С++ и прочие
[15:38:42] <ada_ru> (I_vlxy_I)  отвечает (t91x0) на <На debian shootout'е…>
Смотря на каких тестах
[15:39:29] <ada_ru> (t91x0)  отвечает (I_vlxy_I) на <Смотря на каких тест…>
Ну так у них и компилятор ады обыкновенный GUN, а не от GreenHills
И с++ у них не от интела
[15:40:46] <ada_ru> (t91x0) Если язык даёт больше гарантий в compile-time, то это в теории даёт больше возможностей оптимизатору. Другое дело, что Си-то оптимизируют все, кому не лень, а до Ады руки у них доходят по остаточному принципу. И при этом - есть почти что паритет с Си.
[16:19:19] <ada_ru> (I_vlxy_I) у Ады рантайм проверок больше
[16:46:54] <ada_ru> (Oleg) О это там выше Континент ?
[18:23:15] <ada_ru> (s4msg)  отвечает (Oleg) на <О это там выше Конти…>
Да, Континент. Знаком с ним?
[18:23:32] <ada_ru> (Oleg) Да:-))))
[18:23:39] <ada_ru> (Oleg) Я их настраиваю
[18:23:52] <ada_ru> (Oleg) Несколько штук
[18:24:00] <ada_ru> (Oleg) А вобще я по Cisco
[18:26:59] <ada_ru> (s4msg) Хехе, сетевик-одмин в Ада-чате? :)
[18:29:38] <ada_ru> (Satyri0n) Долго не протянет тут
[18:30:56] <OCTAGRAM> я на каких-то из своих работ был админом
[18:31:50] <ada_ru> (Satyri0n) я тоже был. Даже как-то админил наш вуз месяцев 9
[18:32:16] <ada_ru> (Satyri0n) Тысячи "клиентов", сотни серверов
[18:33:00] <ada_ru> (Satyri0n) Со студенческими общежитиями, наверное, за 10 тысяч
[18:36:13] <ada_ru> (Satyri0n) Я вообще не хотел, пришлось перевестись в этот отдел. Ректор сменился, всё поплыло.
Огромный технический долг, некомпетентный "начальник", десятки ненужных админов, которые ничего не делают, какие-то жлобы проректора, которые хотят чтобы я всё бросил и побежал им маршрутизатор включать. Ессно я оттуда сразу же ушёл, когда закончил операции
[18:37:10] <ada_ru> (Satyri0n) Про зарплату вообще говорить не буду. "Начальник" обещал одно, на деле совсем другое. Очень несерьёзно.
[18:44:08] <ada_ru> (Satyri0n) Понаподключали левых фирм, чёрный нал от студентов за интернет по карманам на копоративы спускают. Короче, ад.
[19:36:51] <ada_ru> (I_vlxy_I)  отвечает (Oleg) на <О это там выше Конти…>
это где?
[19:37:09] <ada_ru> (Oleg) Фото на верху
[19:37:50] <ada_ru> (I_vlxy_I) какое?
[20:42:47] <ada_ru> (Oleg)  цитирует (s4msg)
<прислал фото>
[20:42:50] <ada_ru> (Oleg) Во. Это
[20:45:40] <ada_ru> (t91x0)  отвечает на <(OCTAGRAM) я на каки…>
Не в Политехе ли?
[21:33:59] <OCTAGRAM> в Алекс-Фарме NetBSD ставил, в НГУ совсем чуть-чуть помощником, в ТТК-Интелби как специалист техподдержки, в Управлении по молодёжной политике
[22:22:21] <OCTAGRAM> из ИТМО тут никого нет? собираюсь ехать туда экзамены вступительные сдавать
[23:41:27] <ada_ru> (Oleg)  отвечает (s4msg) на <Хехе, сетевик-одмин …>
Не совсем - я немного разным занимаюсь - много раньше писал кода на C под микроконтроллеры + под ПЛИС на VHDL, недавно писал ПО на C++ под линукс для работы с GigE Vision камерами - распознавать штрихкоды. Сейчас пишу ПО для автоматизации работы с сетевым оборудованием
[23:42:14] <ada_ru> (Oleg) У меня знакомый из ИТМО
[23:42:20] <ada_ru> (Oleg) Но ну его нахрен 😊
[23:43:47] <ada_ru> (I_vlxy_I) GigE... А таки прямо сам протокол ковырял, али либы какие?
[23:44:04] <ada_ru> (Oleg) Ну протокол то там Genicam
[23:44:17] <ada_ru> (Oleg) Знаю и протокол и либы
[23:44:28] <ada_ru> (Oleg) Вобще есть оооочень путевая идея
[23:44:35] <ada_ru> (I_vlxy_I) эмм.. протокол то GigE вроде как сам по себе
[23:44:53] <ada_ru> (I_vlxy_I) https://en.wikipedia.org/wiki/GigE_Vision
[23:44:55] <ada_ru> (Oleg) Не совсем - камеры стандарта GiGe VISION
[23:45:09] <ada_ru> (I_vlxy_I) спеки на протокол стоят денег
[23:45:13] <ada_ru> (Oleg) Как правило все реализуют GeniCam
[23:45:26] <ada_ru> (Oleg) Мы используем Baumer
[23:45:41] <ada_ru> (Oleg) Опупенные на 20 мегапикселей 😊
[23:45:43] <ada_ru> (I_vlxy_I) а, то есть какую-то конкретную реализацию протокола в виде либы? ок
[23:46:58] <ada_ru> (Oleg) Есть короче вот какая идея
[23:47:42] <ada_ru> (Oleg) Есть желание использовать сетевые адаптеры минуя ядро ОС для работы с камерами
[23:47:54] <ada_ru> (Oleg) Так как ОС немного охреневает от такого потока
[23:48:49] <ada_ru> (I_vlxy_I) совсем совсем минуя? через юзерспейс что-ли? эммм...
[23:48:55] <ada_ru> (Oleg) Njxyj
[23:48:58] <ada_ru> (Oleg) Точно
[23:49:22] <ada_ru> (I_vlxy_I) вообще у хрюниксов в плане высокой производительности сети вроде должно быть все норм. не стандартными средствами, так каким-нибудь выкрутасом
[23:49:35] <ada_ru> (Oleg) А вот не совсем
[23:50:06] <ada_ru> (Oleg) Как не оптимизируй - два Xeon Gold тянут идеально только 4-5 камер
[23:50:11] <OCTAGRAM> а UDP — не достаточное минование ядра?
[23:50:17] <ada_ru> (Oleg) Нет
[23:50:22] <ada_ru> (Oleg) Сейчас минуту
[23:50:35] <ada_ru> (Oleg) Надо отвелечся на секунду и вернусь
[23:50:55] <ada_ru> (Oleg) https://www.dpdk.org/
[23:51:14] <ada_ru> (Oleg) Вот это хочется использовать попробовать
[23:51:20] <ada_ru> (Oleg) Там у нас проблемма
[23:51:44] <ada_ru> (Oleg) Очень сильно грузит ядра еще и распознавание и обработка (фильтрация)
[23:51:54] <ada_ru> (Oleg) Пробовали на GPU но там есть нюансы
[23:52:39] <ada_ru> (Oleg) Вариант еще в голову пришел соединить два сервера и гнать сырой поток с того кто принял изображения на другой, который их обрабатывает по 10G RDMA
[23:52:48] <ada_ru> (Oleg) Ну или InfiniBus
[23:54:53] <ada_ru> (Oleg) Сейчас каждая камера имеет по 2 гигабитных интерфейса, они пачкой воткнуты с стек коммутаторов а те по 10G несколькими линками к серверам. Сетка проблем не испытывает
[23:56:31] <ada_ru> (Oleg) https://www.baumer.com/gb/en/product-overview/image-processing-identification/industrial-cameras/lx-series/c/36460
[23:56:35] <ada_ru> (Oleg) Вот такое добро
[23:56:49] <ada_ru> (Oleg) Только не то что тут на картинке 😊 там серия LX
[23:57:07] <ada_ru> (Oleg) Кому надо могу поделится опытом
[23:57:32] <ada_ru> (Oleg) Оптика Carl Zeis свет делали свой - на диодах Cree