[00:07:54] <ada_ru> (I_vlxy_I)  отвечает (a) на <Куда падёт винда? На…>
в гигиену огненную!
[08:35:38] <ada_ru> (anisimkov)  отвечает на <(nordwind) Маяк,  ка…>
👍
[08:38:01] <ada_ru> (anisimkov) Винда маст дай, хотя .. живучая пад...а. Но я думаю линукс не останется в одиночестве.
[08:39:17] <ada_ru> (anisimkov) есть еще Фрибисиди, Куникс, саны всякие. Не пропадём.
[08:50:42] <ada_ru> (Eugene) freebsd разве ещё кто-то импользует?
выше была новость, как с qnx переходят на линупс.
sun вообще уже давно не существует...
[09:13:44] <ada_ru> (anisimkov) я знаю по крайней мере одного человека который пользует freebsd.
[09:14:38] <ada_ru> (anisimkov) судя по сайту новые версии выходят. Жив чёрт.
[09:16:21] <ada_ru> (anisimkov) Я когда ее использовал, недолго. Впечатление легкости и скорости в консоли, и убожества в GUI.
[09:17:02] <ada_ru> (anisimkov) Если учесть что GUI сейчас делают с прицелом на переносимость, убожество GUI 10 лет назад возможно уже преодолено.
[09:17:54] <ada_ru> (anisimkov) да, еще с поддежкой железа были некоторые проблемы припоминаю.
[09:18:28] <ada_ru> (anisimkov) но учитывая большой рынок железа, кто хочет держать сервер на фри, вполне может выбрать под нее железо.
[09:20:34] <ada_ru> (anisimkov) насчет QNX, когда я на нем работал лет 20 назад примерно, впечатления были очень хорошие, и от его скорости межпроцессорного взаимодействия, и от GUI.
[09:23:45] <ada_ru> (anisimkov) думаю все кто не опенсурс вымрут постепенно, или расчехлятся наконец, если не стыдно конечно.
[11:13:16] <ada_ru> (Oleg) https://www.tiobe.com/tiobe-index/
[11:13:26] <ada_ru> (Oleg) Раст ненужен ?
[11:14:16] <ada_ru> (Oleg) При этом Ада обошла тупоскрипт
[11:19:56] <ada_ru> (I_vlxy_I) tiobe нинужин!
[11:20:01] <ada_ru> (HeadcrabInMyRoom) > 2020
> TIOBE
[11:20:12] <ada_ru> (HeadcrabInMyRoom) <прислал наклейку> 👨‍⚕
[12:04:40] <ada_ru> (I_vlxy_I) Полностью свободный Linux-дистрибутив Hyperbola трансформируется в форк OpenBSD https://opennet.ru/52086/
[12:12:13] <ada_ru> (shiz01) Емнип, где-то был список аналогов части gnu юзерленда, написанного на аде.
Если не трудно, можно ссылку?

P.S. точно помню был aget - альтернатива wget.
[12:48:52] <ada_ru> (Максим)  отвечает (Oleg) на <При этом Ада обошла …>
Это победа! 🤠
[12:56:53] <ada_ru> (anisimkov) Я могу предположить что Ада популярность недооценена, потому как ее используют в непубличных сферах часто.
[12:57:12] <ada_ru> (I_vlxy_I)  отвечает (anisimkov) на <Я могу предположить …>
Да. И это снижает ее популярность
[12:57:58] <ada_ru> (anisimkov) положительная обратная связь.
[13:02:17] <ada_ru> (I_vlxy_I) Угу
[13:02:32] <ada_ru> (I_vlxy_I) Нужно больше попсы!
[13:57:22] <ada_ru> (Лекс)  отвечает (I_vlxy_I) на <Полностью свободный …>
В качестве причины перехода на кодовую базу OpenBSD... :
* Развитие инициативы по разработке драйверов для ядра Linux на языке Rust.
[13:57:26] <ada_ru> (Лекс) бугогашечки
[14:02:43] <ada_ru> (Лекс) Покажи жив Тео в опёнке точно не будет раста и вообще чего-либо кроме Си
[14:09:59] <ada_ru> (Максим)  отвечает (shiz01) на <Емнип, где-то был сп…>
Нагуглилось это: https://github.com/berriedale/ada-coreutils
[14:45:51] <ada_ru> (I_vlxy_I)  отвечает (Лекс) на <Покажи жив Тео в опё…>
rustRustRUST!
[14:47:19] <ada_ru> (Лекс) всем ржавчины, за счёт заведения
[15:02:51] <ada_ru> (I_vlxy_I) Видели поверхность Марса? Она вся засыпана ржавчиной и ничего не подтекает.
[15:05:23] <ada_ru> (Eugene) там вся вода давно стекла на землю же
[15:07:29] <ada_ru> (Eugene) поизучал повнимательнее код примера на ада-спарке, чота мне не понравилось -- я бы хотел, что бы такое свойство процедуры сортировки, как гарантия того, что выходной массив является упорядоченной по возрастанию перестановкой входного массива, было явно описано в спецификации этой процедуры, а не где-то там внутри её когда
[15:07:57] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <поизучал повниматель…>
Будто в идрисе это не так
[15:08:25] <ada_ru> (Eugene) в идрисе это свойство кодируется в типе функции, а тип и есть спецификация
[15:08:41] <ada_ru> (Eugene) другое дело, что в идрисе это ещё надо умудриться закодировать
[15:09:40] <ada_ru> (Eugene)  отвечает (Лекс) на <Кстати, коллеги, кто…>
https://habr.com/ru/company/piter/blog/432416/
[15:11:44] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <в идрисе это свойств…>
Оно не явно. Там по сути наружу торчат детали реализации алгоритма проверки, а не само утверждение.
[16:40:01] <ada_ru> (I_vlxy_I) R.I.P. = Rust In Peace
[16:58:06] <ada_ru> (shiz01)  отвечает (Максим) на <Нагуглилось это: htt…>
Спасибо, немного не то, но тоже пригодится.
[16:58:53] <ada_ru> (I_vlxy_I) Смотрите какая штука: https://www.reddit.com/r/ada/comments/eemrg1/ada_keystore_and_akt_release/
[17:01:42] <ada_ru> (I_vlxy_I) Лекс у этого чувака вообще много интереснейших репозиториев. В том числе для организации REST на Аде. https://github.com/stcarrez?tab=repositories

Глянь, возможно тебе пригодится.
[17:26:52] <ada_ru> (I_vlxy_I) Светлана привет.
[17:31:28] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <Светлана привет.>
она слишком красива для программистки, явно бот )))
[17:32:34] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <она слишком красива …>
Ты наговариваешь на программисток :-)
[17:34:41] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <Ты наговариваешь на …>
программистки выглядят так: https://www.ada-ru.org/files/bot/2019-12-24-x11.jpg
[17:35:26] <ada_ru> (shiz01)  отвечает (Eugene) на <она слишком красива …>
Она ещё в @math_code есть.
Может и не бот.
[17:35:35] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <>
У нас в офисе достаточное количество контрпримеров :-)
[17:35:54] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <У нас в офисе достат…>
фото-пруф есть? ))
[17:36:25] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <фото-пруф есть? ))>
Хез :-) Приезжай к нам работать :-)
[17:39:41] <ada_ru> (I_vlxy_I) Ну или в линкедине можно глянуть, чо :-)
[17:40:04] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <Ну или в линкедине м…>
взял бы зафотал бы как папараци ))
[17:40:39] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <взял бы зафотал бы к…>
Запрещено законом!
[17:41:10] <ada_ru> (I_vlxy_I) И вообще, это оффенсив поведение и подпадает под харасьмент.
[17:41:32] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <И вообще, это оффенс…>
разве это может остановить настоящего джигита? )))
[17:46:39] <ada_ru> (shiz01)  отвечает (shiz01) на <Она ещё в @math_code…>
Хотя чет от неё ни одной месаги за последний год.
А дальше мне лень ждать поиск.
Так что может и бот :)
[18:12:00] <ada_ru> (Максим)  отвечает (Eugene) на <поизучал повниматель…>
Никогда не писал на SPARK, и не вижу, чтобы мне это было как-то особо нужно, поэтому е могу тут помочь чем-то
[19:42:01] <ada_ru> (Лекс)  отвечает (Eugene) на <https://habr.com/ru/…>
Спасибо ознакомлюсь)
[19:42:44] <ada_ru> (Лекс)  отвечает (I_vlxy_I) на <Лекс у этого чувака …>
Спасибо, гляну) Правда я уже укатил на дотнет и f# 😂
[19:44:28] <ada_ru> (I_vlxy_I)  отвечает (Лекс) на <Спасибо, гляну) Прав…>
Никогда не поздно заюзать Аду под .net! :-)
[19:45:50] <ada_ru> (Лекс) Вот и хорошо, отложу до первых седин😃
[19:46:28] <ada_ru> (Лекс) а чел какой-то задрот, однако) столько кода на маргинальном языке наваять
[19:50:56] <ada_ru> (Лекс) такие люди возвращает мне веру в то что ещё не всё потерянно
[19:54:11] <ada_ru> (Лекс) Поясните за управление памятью в Аде?
[19:59:42] <ada_ru> (I_vlxy_I)  отвечает (Лекс) на <Поясните за управлен…>
Юзай санитайзеры и все будет хорошо!
[20:00:27] <ada_ru> (Лекс) Она ручная?
[20:02:22] <ada_ru> (I_vlxy_I) Вроде умные указатели есть. Ну и за счёт того, что в Аде более умно используется стек (точнее - два стека), переменные в куче реже нужны.
[20:03:37] <ada_ru> (I_vlxy_I) Лет 20 назад в Аде однозначно было проще работать с памятью чем в плюсах. Сейчас - не знаю.
[20:03:54] <ada_ru> (I_vlxy_I) От задачи зависит уже
[20:12:58] <ada_ru> (Eugene)  отвечает (Лекс) на <Спасибо, гляну) Прав…>
тогда тебе стоит глянуть на F* — это сейчас у микрософта передовой фланг на базе F#, зависимые типы, верификация программ...
[20:14:04] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <тогда тебе стоит гля…>
И нуль продакшн кода за год.
[20:25:04] <ada_ru> (Лекс)  отвечает (Eugene) на <тогда тебе стоит гля…>
Видел)
Но мне эти тапочки слишком большие, я пишу простецкий фронтенд 😃
[20:27:22] <ada_ru> (Лекс) хотя фронт там тоже можно, на F#, но мне больше purescript в этом плане понравился
[20:27:47] <ada_ru> (I_vlxy_I) Ну, я бы не стал завязываться на .net
[20:27:53] <ada_ru> (I_vlxy_I) Уж лучше гоу
[20:28:14] <ada_ru> (I_vlxy_I) Или.... rustRustRUST!
[20:28:33] <ada_ru> (Лекс) кода в несколько раз больше, готовые либы на го хоть и есть, но на дотнете всё из коробки и в одном месте.
А плохого в нём что?
[20:28:43] <ada_ru> (I_vlxy_I) На худой конец Scala or Kotlin на jvm
[20:30:10] <ada_ru> (I_vlxy_I) У .net слишком закрытая инфраструктура с непонятными перспективами.
[20:30:14] <ada_ru> (Лекс) На расте кода ещё больше выходит, да и на кой хрен писать веб на системном языке, если нагрузок овердохера нету)
Скала — сложная, громоздкая, эксосистема не такая богатая и экземплов не так много
[20:30:37] <ada_ru> (Лекс) котлин вообще под веб сейчас маргинальщина, он осел на ведроиде
[20:32:00] <ada_ru> (Лекс) а как же net core? Он же опенсурсный
[20:32:32] <ada_ru> (I_vlxy_I)  отвечает (Лекс) на <а как же net core? О…>
Им по факту владеет/развивает только MS.
[20:32:57] <ada_ru> (Лекс) ну мелкомягкие в отличии от гугла хотябы не хоронят свои продукты 😃
[20:32:58] <ada_ru> (I_vlxy_I) Закрытая инфраструктура не в плане опенсорсности.
[20:33:05] <ada_ru> (I_vlxy_I)  отвечает (Лекс) на <ну мелкомягкие в отл…>
Доооо
[20:33:16] <ada_ru> (I_vlxy_I) Silverlight
[20:33:18] <ada_ru> (I_vlxy_I) WPF
[20:33:24] <ada_ru> (I_vlxy_I) DirectShow
[20:33:31] <ada_ru> (I_vlxy_I) Windows Phone
[20:33:49] <ada_ru> (Лекс) ну они скорее умерли)
[20:34:05] <ada_ru> (I_vlxy_I) Да они собственный компилятор для плюсов чуть не закопали в своё время
[20:34:21] <ada_ru> (I_vlxy_I) J#
[20:34:34] <ada_ru> (I_vlxy_I) Edge and IE
[20:34:52] <ada_ru> (Лекс) ладно
[20:34:56] <ada_ru> (I_vlxy_I) Code Plex
[20:35:52] <ada_ru> (I_vlxy_I) Я зарекся связываться с их инфраструктурой. Это ж капец - как на вулкане.
[20:36:24] <ada_ru> (Лекс) но всё равно, я не пострадаю если в один день дотнет умрёт) у меня не тот класс проектов, которые нельзя было бы переписать за ночь или который не переписали бы фрилансеры на воркзиле xD
[20:43:06] <ada_ru> (Лекс)  отвечает (I_vlxy_I) на <Вроде умные указател…>
А что есть умный указатель и как это реализовывается технически?
[20:48:53] <ada_ru> (I_vlxy_I) Через RAII
[21:14:35] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <У .net слишком закры…>
.NET Core опенсорсный же
[21:18:28] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <.NET Core опенсорсны…>
И?
[21:18:57] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <И?>
развивай сколько хочешь же! форк делай, туда-суда...
[21:21:31] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <развивай сколько хоч…>
От этого экосистема более открытой не становится.
[22:08:32] <ada_ru> (Oleg) .NET нинужин!
[22:09:11] <ada_ru> (Oleg) А с DirectShow то что?
[22:19:11] <ada_ru> (I_vlxy_I)  отвечает (Oleg) на <А с DirectShow то чт…>
Деприкатед
[23:45:26] <ada_ru> (Максим) говорят, clangd настлько убог, что не может делать rename для символа, который присутствует более чем в одном файле! 😂
[23:50:28] <ada_ru> (I_vlxy_I) это который language server для плюсцов?
[23:54:03] <ada_ru> (I_vlxy_I) плюсовики вообще не избалованы тулзами для рефакторинга. когда я последний раз пытался сделать банальный rename (через вижуал студию и через visual assist) обе тулзы мне столько ошибочных переименований нагенерили, что я решил, что ну нафиг
[23:54:20] <ada_ru> (I_vlxy_I) и просто полнотекстовым поиском прошелся по проекту, нашел все места и руками поправил
[23:54:27] <ada_ru> (I_vlxy_I) было что-то около 300 мест наверное