[16:52:47] <yeo> Я сделал просмотр почтовой рассылки ada_ru ввиде форума http://www.ada-ru.org/forum/index.html
[17:06:33] <landgraf> прикольно, а где эта рассылка?
[17:18:03] <yeo> https://groups.yahoo.com/neo/groups/ada_ru/info
[17:18:26] <yeo> можно подисаться послав письмо по адресу ada_ru-subscribe@yahoogroups.com.
[19:52:01] <valexey> Ухты! https://www.adacore.com/gems/gem-136-how-tall-is-a-kilogram
[19:52:18] <yeo> :)
[19:54:39] <valexey> правда, говорят, оно ниочень: https://www.youtube.com/watch?v=uGZ7njTABsc
[19:55:58] <valexey> но один фиг прикольно
[19:55:59] <yeo> там опровержение к описанию видео: I'm wrong in this video, it's a bug. Here's the follow up:

[19:56:15] <yeo> и ссылка на продолжение
[19:58:11] <valexey> да, вижу. хотя ссылка там битая
[19:58:22] <valexey> у него удивительно вменяемые комменты под видео встречаются.
[19:58:29] <valexey> редкость для тытрубы
[19:59:07] <valexey> возможно спасает малое колличество подписоты
[20:04:26] <valexey> Да, прямо круто. искаропки такое вроде бы только в F# есть.
[20:04:57] <valexey> я хз зачем оно в F#, но вот в области где Аду юзают, там оно может сильно пригодиться.
[20:05:35] <valexey> сколько раз я путал ширину и высоту для изображения/матрицы местами? ууу...
[20:05:57] <valexey> размерность и тип то у них вроде бы одна. но по факту сильно разная.
[20:07:49] <yeo> можно наверное объявить два типа и двумерный массив на них
[20:08:05] <valexey> угу. для w один тип, для h другой
[20:08:14] <valexey> если вдруг длина, то это ж w*h*C
[20:08:22] <valexey> и вроде бы норм.
[20:08:28] <valexey> хмм.. длина в байтах в памяти.
[20:08:36] <valexey> если без паддинга
[20:10:41] <yeo> длина в памяти это X'Size / 8 если в байтах
[20:11:27] <valexey> А X может лежать в куче и иметь размер неизвестный на этапе компиляции?
[20:24:36] <yeo> да
[20:26:06] <valexey> ну, не всегда переменная уже существует :-) данные могут по сети идти. и нужно понять сколько оттуда черпать.
[20:32:48] <yeo> где-то был онлайн редактор с возможностью исполнять код, в том числе и на Аде, потерял ссылку...
[20:42:23] <valexey> http://rextester.com/l/ada_online_compiler
[20:42:26] <valexey> Ы?
[20:42:43] <valexey> правда не уверен что там gnat свежий
[20:43:13] <valexey> жаль. что https://godbolt.org/ аду не поддерживает...
[21:04:16] <yeo> Как они это делают? Контейнер в Docker?
[21:10:26] <valexey> https://github.com/mattgodbolt/compiler-explorer
[21:11:26] <valexey> https://xania.org/201609/how-compiler-explorer-runs-on-amazon
[21:11:28] <valexey> во
[21:12:18] <valexey> докер + амазон
[21:12:22] <valexey> + убунта
[21:13:54] <valexey> https://github.com/mattgodbolt/compiler-explorer/blob/master/docs/AddingACompiler.md