[01:32:04] <ada_ru> (I_vlxy_I) смотрите сколько вкусного: http://www.dmitry-kazakov.de/ada/components.htm
[01:32:57] <ada_ru> (I_vlxy_I) ну и вообще: http://www.dmitry-kazakov.de/reusable_code.htm
[01:33:54] <ada_ru> (I_vlxy_I) правда это всё GPL 😕
[01:44:20] <ada_ru> (Lieutenant_Commander_Data) GPL не нужен
[01:44:26] <ada_ru> (Lieutenant_Commander_Data) только MIT
[02:00:23] <ada_ru> (Лекс) отвечает (Lieutenant_Commander_Data) на <GPL не нужен>
Помниться не так давно гейропейский суд взыскал с разработчика grsecurity, за то, что он решил перестать раздавать бесплатно свои патчи — ведь никого не останавливало, что лицензия была gpl и все юзали в наглую в пропориентарных продуктах, что выбесило автора.
[02:07:16] <ada_ru> (I_vlxy_I) отвечает (Lieutenant_Commander_Data) на <GPL не нужен>
LGPL тоже норм с исключениями которая
[02:07:19] <ada_ru> (Лекс) отвечает (I_vlxy_I) на <смотрите сколько вку…>
Кажется самое время начать котрибьютить awesomes-Ada :-)
Кстати я бы мог этим заняться
[02:08:40] <ada_ru> (I_vlxy_I) займись 🙂
[02:10:03] <ada_ru> (I_vlxy_I) https://github.com/ohenley/awesome-ada
[02:10:05] <ada_ru> (I_vlxy_I) например
[02:10:35] <ada_ru> (I_vlxy_I) и еще: https://github.com/samuell/awesome-ada
[02:10:37] <ada_ru> (Лекс) уже сам заметил, сразу сказал, а потом подумал проверить 😃
[02:11:15] <ada_ru> (Лекс) Ну буду третьим, чё xD
[02:11:32] <ada_ru> (Лекс) типа awesome-Ada-rucommunity 😃
[02:12:17] <ada_ru> (I_vlxy_I) про рукоммунити есть во второй репе
[02:14:28] <ada_ru> (Лекс) ну в общем и не сильно то хотелось 😏
[02:15:34] <ada_ru> (I_vlxy_I) дык а что бы не законтрибьютить в существующий реп?
[02:22:24] <ada_ru> (Лекс) если там этого нет, то можно и закоммитить
[02:25:15] <ada_ru> (I_vlxy_I) нету вроде
[02:31:00] <ada_ru> (Лекс) эх... там вообще голяк какой-то :-( Список вроде длинный, а полезного ничего нет.
[05:27:37] <ada_ru> (t91x0) отвечает (Лекс) на <Помнится не так давн…>
Дайте ссылку
[06:55:17] <ada_ru> (Lieutenant_Commander_Data) отвечает (Лекс) на <Помнится не так давн…>
Только немного не так. Это grsecurity нарушала GPL
[06:56:09] <ada_ru> (Lieutenant_Commander_Data) отвечает (t91x0) на <Дайте ссылку>
https://www.opennet.ru/opennews/art.shtml?num=48752
[09:44:19] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <смотрите сколько вку…>
у него там даже интервальная арифметика и тернарная логика реализованы
http://www.dmitry-kazakov.de/ada/intervals.htm
[09:44:59] <ada_ru> (Eugene) меня вот давно уже реализует, почему эта интервальная арифметика не входит в стандартную поставку разных языков вместе с теми же комплексными числами, например
[09:50:50] <ada_ru> (Anonymus62) отвечает (Eugene) на <меня вот давно уже и…>
Мало кому нужны операции с sqrt(-1)
?
[10:05:26] <ada_ru> (Eugene) отвечает (Anonymus62) на <Мало кому нужны опер…>
не, интервальная арифметика она же про сохранение точности вычислений с плавающей точкой
[10:06:06] <ada_ru> (Eugene) комплексные числа, например, даже в стандарте модулы-2 есть, в хаскелле есть, почти везде есть
[10:06:24] <ada_ru> (Eugene) а интервальной арифметики нигде нету
[10:08:37] <ada_ru> (Oleg) О! У этого чувака много вкусного
[11:14:15] <ada_ru> (I_vlxy_I) отвечает (Oleg) на <О! У этого чувака мн…>
Юравелком!
[14:27:44] <ada_ru> (I_vlxy_I) libc есть (писанный на плюсах, гугловый)
[14:28:26] <ada_ru> (I_vlxy_I) Как минимум можно делать нативные либы и их дергать из жабы
[14:28:49] <ada_ru> (I_vlxy_I) Так половина приложений работает
[14:29:34] <ada_ru> (I_vlxy_I) Но и вроде как можно целиком нативное приложение
[14:29:53] <ada_ru> (I_vlxy_I) Пишут же на c++ qt приложения под андроид
[14:34:13] <ada_ru> (I_vlxy_I) https://medium.com/androiddevelopers/getting-started-with-c-and-android-native-activities-2213b402ffff
[14:36:16] <ada_ru> (I_vlxy_I) https://github.com/googlesamples/android-ndk/tree/master/native-activity
[14:42:17] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <https://medium.com/a…>
там упомянут LLDB, значит требуется LLVM и, видимо, Clang? Значит с использованием GNAT будут проблемы?
[14:42:38] <ada_ru> (I_vlxy_I) Можно и gcc
[15:05:49] <ada_ru> (Максим) Да работает же в AdaCore нормально и в FreeBSD работал, надо только понят, что собирать :)
[15:07:33] <ada_ru> (I_vlxy_I) Ну, пример плюсов в помощь :-)
[15:25:37] <ada_ru> (Лекс) Ведроид такое решето, что возникает резонный вопрос — в чём смысл вообще под него что-то писать?
[15:27:47] <ada_ru> (I_vlxy_I) В функционале?
[15:27:58] <ada_ru> (I_vlxy_I) Какая разница решето или нет?
[15:30:34] <ada_ru> (Лекс) В плане безопасности/надёжности.
[15:31:32] <ada_ru> (Лекс) Смысл от самого надёжного кода, если он исполняется в среде сплошь и рядом набитой багами и не прогнозирумемым поведением
[15:36:32] <ada_ru> (Eugene) да, надо писать под сейлфиш и новую ось от хуавея!!! даёшь порт гната ну эти ос!!!
[15:43:29] <ada_ru> (I_vlxy_I) А у хуавея не андроид очередной?
[15:55:54] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <А у хуавея не андрои…>
ну они там тоже на плюниксе, вроде, но зря что ли эксельсиоровцев наняли? что-нить интересное сделают...
[15:56:46] <ada_ru> (Eugene) очередной андроид -- это андроидоподобная ос? ну так все щас такие, даже иос
[15:58:14] <ada_ru> (I_vlxy_I) Это исходники андроида немного допиленные
[15:59:14] <ada_ru> (I_vlxy_I) Хотя нет. Кажется это даже не линукс
[16:26:19] <ada_ru> (Максим) отвечает (Eugene) на <очередной андроид --…>
а мобильная винда, она по вашему тоже андроид?
[16:49:23] <ada_ru> (Лекс) отвечает (I_vlxy_I) на <Это исходники андрои…>
Наверное лучше сказать — просроченный ведроид без обновлений и своим кривым интерейсом 😃
[16:56:45] <ada_ru> (Oleg) Сайлфиш огонь!
[16:57:38] <ada_ru> (Eugene) отвечает (Максим) на <а мобильная винда, о…>
А её уже нету...
[16:58:41] <ada_ru> (Oleg) Да, Микрософт ....все полимеры
[16:59:19] <ada_ru> (Oleg) А жаль на самом деле
[16:59:54] <ada_ru> (Oleg) По багам и дырам, кстати iOS то тоже уже не торт
[17:01:24] <ada_ru> (Oleg) https://www.cvedetails.com/product/15556/Apple-Iphone-Os.html?vendor_id=49
[17:02:36] <ada_ru> (Oleg) Какая то печаль
[17:04:35] <ada_ru> (I_vlxy_I) Просто ищут тщательнее
[17:04:51] <ada_ru> (I_vlxy_I) И публичнее
[17:09:13] <ada_ru> (Oleg) На андроиде там песня
[17:09:24] <ada_ru> (Oleg) За 2018 особенно
[17:10:56] <ada_ru> (Oleg) Хотя за 2017 ещё круче
[17:14:33] <ada_ru> (Лекс) А когда-то была BlackBerry OS 10, на базе QNX
[17:36:28] <ada_ru> (Лекс) На Аде нету, по крайней мере открытых, криптографических библиотек... это выглядит прискорбно (даже на мёртвом CL есть написанная полностью на нём криптолиба ironclad). Интересно, почему так сложилось, ведь криптография это область где предсказуемое поведение и надёжность превыше всего 😕
[17:37:01] <ada_ru> (Лекс) Два студенческих подделия ACF и ACL не считаются
[17:40:28] <ada_ru> (I_vlxy_I) Там ещё и скорость часто важна
[17:40:42] <ada_ru> (Максим) https://www.reddit.com/r/ada/comments/8ldbca/crypto_library_infor_ada/
[17:40:51] <ada_ru> (Максим) есть даже на SPARK-е
[17:41:28] <ada_ru> (I_vlxy_I) Плюс в криптографии есть просто тонна нюансов. Видов атак очень много и ЯП (любой!) может спасти только от малой толики атак.
[17:42:02] <ada_ru> (Лекс) отвечает (I_vlxy_I) на <Там ещё и скорость ч…>
и? Common Lisp весь чёртов рантайм в рамке держит, и там есть труЪ либа
[17:44:06] <ada_ru> (Лекс) Cryptol — хаскелеподобный монстр, dsl для криптографии. Между тем, Ада вроде как не самый прожорливый язык
[17:45:10] <ada_ru> (I_vlxy_I) отвечает (Лекс) на <и? Common Lisp весь …>
А она тру? Ее пробовали ломать? Исследовать?
[17:46:05] <ada_ru> (I_vlxy_I) Главное правило криптографии - не писать своих либ если ты полжизни не потратил на криптографию и не являешься узким специалистом а также если ты это будешь делать один.
[17:46:11] <ada_ru> (Лекс) отвечает (Максим) на <https://www.reddit.c…>
Мельком пробежал, только вариант на спарке на что-то похож. Но как-то не очень понятно, как его вообще оттуда заюзать
[17:47:49] <ada_ru> (I_vlxy_I) Поэтому текущие реализации на Си скорее всего много надежней и устойчивей к взлому нежели любые реализации на расте/аде/хаскелле/агде/чем угодно ещё
[17:50:04] <ada_ru> (Oleg) Писать самому можно, если соблюдать правила. Алгоритмы самому не надо придумать если ты не математик
[17:50:26] <ada_ru> (I_vlxy_I) Там атаки не только в математическом русле лежат
[17:50:40] <ada_ru> (I_vlxy_I) Там реально МНОГО тонкостей
[17:51:19] <ada_ru> (I_vlxy_I) В том числе и железнячных
[17:51:34] <ada_ru> (I_vlxy_I) И осеспецифичных
[17:51:43] <ada_ru> (Oleg) Да я знаю, но в этом вашем опен ссл нашли такое количество дыр
[17:51:44] <ada_ru> (I_vlxy_I) И вообще... ну нафиг
[17:51:48] <ada_ru> (Лекс) и астрологических 😃
[17:52:02] <ada_ru> (I_vlxy_I) отвечает (Oleg) на <Да я знаю, но в этом…>
Везде бы нашли
[17:52:32] <ada_ru> (Лекс) отвечает (I_vlxy_I) на <Везде бы нашли>
Почему тогда в libressl не нашли, а в openssl дважды подряд нашли?
[17:52:57] <ada_ru> (Oleg) Ну почему то у Cisco в их реализации их сильно меньше , а то где они поленились и взяли OpenSSL - решето
[17:55:51] <ada_ru> (I_vlxy_I) отвечает (Лекс) на <Почему тогда в libre…>
А оно настолько же широко используется?
[17:56:30] <ada_ru> (I_vlxy_I) Ну и да, оно тоже на асме и Си
[17:57:19] <ada_ru> (Лекс) Ну так это же очищенный форк openssl, но ирония в том что немного спустя после форка в openssl нашли второй подряд баг
[18:09:02] <ada_ru> (Eugene) https://github.com/cforler/Ada-Crypto-Library
это уже упоминали?
[18:11:52] <ada_ru> (Лекс) отвечает (Лекс) на <Два студенческих под…>
да
[18:47:10] <ada_ru> (Oleg) Да кстати вообще в TLS и так багов много
[18:48:17] <ada_ru> (Oleg) Не в реализации а в протоколах , только в последнем решено большинство проблем
[18:52:41] <ada_ru> (I_vlxy_I) Человеки не могут без ошибок
[19:31:32] <ada_ru> (Oleg) Машины тоже :-)
[19:32:05] <ada_ru> (I_vlxy_I) Машины тоже люди