[08:44:19] <ada_ru> (reznikmm) http://www.sweetada.org/
[08:48:21] <ada_ru> (t91x0)  отвечает (reznikmm) на <http://www.sweetada.…>
Неплохо. Это всё он один написал?
[08:49:54] <ada_ru> (reznikmm) Я хз
[16:28:12] <ada_ru> (I_vlxy_I) О! Смотрите что появилось! https://learn.adacore.com/labs/labs.html
[16:28:18] <ada_ru> (I_vlxy_I) ресурс становится всё краше!
[16:44:09] <nordwind> Console Output:
$ gprbuild -q -P main.gpr
main.adb:1:09: warning: no entities of "Ada.Text_IO" are referenced
main.adb:1:19: warning: use clause for package "Text_IO" has no effect
Build completed successfully.
Lab failed.

[18:58:29] <ada_ru> (Oleg) Такс, наркоманскую аутентификацию в SNMPv3 осилил
[18:58:47] <ada_ru> (Oleg) Пока правда только MD5
[19:03:23] <ada_ru> (Oleg) Но SHA то же самое только 20 байт
[19:03:55] <ada_ru> (Oleg) Осталось шифрование
[19:03:59] <ada_ru> (Oleg) И на SPARK переписать ;-)
[19:04:12] <ada_ru> (Oleg) Пока прототип
[19:06:21] <ada_ru> (Oleg) Парни - а что на АДА оптимально для хоанения массива байт переменной длинны? На Go []byte на C *char + malloc ?
[19:30:44] <ada_ru> (I_vlxy_I) дык просто массив, нет? char* + malloc - это фиксированная длина
[19:30:49] <ada_ru> (I_vlxy_I) как и в Го
[19:31:03] <ada_ru> (I_vlxy_I) один раз выделил - потом не увеличишь
[19:52:41] <ada_ru> (reznikmm)  отвечает (Oleg) на <Парни - а что на АДА…>
League.Stream_Element_Vectors из Матрёшки! 😄
[19:56:50] <ada_ru> (Oleg)  отвечает (I_vlxy_I) на <как и в Го>
Не , в Go make нужного размера а потом append
[19:57:15] <ada_ru> (Oleg) Да хрен с ним , можно фикс
[19:58:18] <ada_ru> (I_vlxy_I) append тебе размер не изменит
[19:59:02] <ada_ru> (I_vlxy_I) If the backing array of s is too small to fit all the given values a bigger array will be allocated. The returned slice will point to the newly allocated array.
[20:01:31] <ada_ru> (Oleg) Ну результат новый слайс нужной длинны
[20:02:07] <ada_ru> (I_vlxy_I) а, ну тебе тогда вектор нужен
[20:02:08] <ada_ru> (I_vlxy_I) стандартный
[20:02:20] <ada_ru> (Oleg) Надо пробовать
[20:02:44] <ada_ru> (I_vlxy_I) https://learn.adacore.com/courses/intro-to-ada/chapters/standard_library_containers.html#vectors
[20:02:51] <ada_ru> (I_vlxy_I) собственно как и в С++
[20:28:26] <ada_ru> (Oleg) Ну сейчас прототип закончу и сделаю
[20:28:44] <ada_ru> (Oleg) Получилось хорошо с V2 ,
[20:47:22] <ada_ru> (Oleg) Конечно получение ключевого материала - какое то наркоманское